Mateescu, Radu, 19..-...., auteur(e) en informatique
Mateescu, Radu
Mateescu, R.
VIAF ID: 307188308 ( Personal )
Permalink: http://viaf.org/viaf/307188308
Preferred Forms
-
- 100 1 _ ‡a Mateescu, Radu
-
- 100 1 _ ‡a Mateescu, Radu, ‡d 19..-...., ‡c auteur(e) en informatique
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Distributed on-the-fly verification of large state spaces. | |
Em direcção a uma abordagem integrativa para a modelação e a verificação de redes de regulação biológicas. | |
Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones. | |
Un environnement pour le développement rigoureux de composants répartis : formalisation et outils logiciels | |
Etude de génération de tests à partir d'un modèle pour les systèmes GALS | |
Exploration efficace de l'espace d'états adaptée aux programmes distribués asynchrone ˸ adaptation de la réduction d'ordre partiel basée sur les dépliages pour les programmes MPI. | |
Formal framework for modelling and verifying globally asynchronous locally synchronous systems | |
A framework for rigorous development of distributed components : formalisation and tools. | |
Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent. | |
Modèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets | |
Modeling and performance analysis of the MPI library by taking into account the hardware architecture. | |
Modélisation et analyse des performances de la bibliothèque MPI en tenant compte de l'architecture matérielle | |
On Model-based Testing of GALS Systems. | |
Proceedings / 2nd International Workshop on Applied Formal Methods in System Design | |
Systèmes concurrents hiérarchiques : équivalence, analyse et structuration | |
Towards an integrative approach for the modeling and formal verification of biological regulatory networks | |
Vérification des propriétés temporelles des programmes parallèles | |
Vérification distribuée à la volée de grands espaces d'états | |
Vérification d'un langage formel de description d'architectures logicielles dynamiques | |
Verification of temporal properties of processes in a setting with data | |
Vers une approche intégrée pour la modélisation et la vérification formelle des réseaux de régulation biologique. |