Knowledge Tree

researcher / Radu Mateescu

Radu Mateescu

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Vérification des propriétés temporelles des programmes parallèles

Directed Thesis:

Modèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets

Etude de génération de tests à partir d'un modèle pour les systèmes GALS

Formal framework for modelling and verifying globally asynchronous locally synchronous systems

Formal methods for functional verification of cache-coherent systems-on-chip

Modélisation et analyse des performances de la bibliothèque MPI en tenant compte de l'architecture matérielle