CONVECS - Construction de Systèmes Concurrents Vérifiés
Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Responsable : 
Téléphone/Fax : 
04 76 61 54 86
Bâtiment : 
CONVECS est une équipe-projet Inria qui s’intéresse à la conception fiable des systèmes concurrents et critiques contenant du parallélisme asynchrone. Les recherches de CONVECS portent sur la définition de langages formels pour décrire le comportement, les propriétés logiques et les aspects quantitatifs de ces systèmes, ainsi que sur les techniques de vérification compositionnelle, à la volée, parallèle et distribuée permettant de traiter des systèmes de grande taille. CONVECS développe des outils logiciels avancés, qui sont largement utilisés en milieu académique et industriel.
Mots clés : 

Membres permanents

Nom Prénom Statut Téléphone
GARAVEL Hubert Directeur de recherche 04 76 61 52 24
LANG Frederic Chercheur 04 76 61 55 11
MATEESCU Radu Directeur de recherche 04 76 61 54 86
SALAUN Gwen Professeur 04 76 61 54 28
SERWE Wendelin Chercheur 04 76 61 53 52

Membres non permanents

Nom Prénom Statut Téléphone
MUROOR NADUMANE Ajay Krishna Post-doc
ZUO AHANG Doctorant
S'abonner à RSS - CONVECS