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 76615224
LANG Frederic Chargé de recherche 04 76615511
MATEESCU Radu Directeur de recherche 04 76615486
SALAUN Gwen Professeur 04 76615428
SERWE Wendelin Chargé de recherche 04 76615352

Membres non permanents

Nom Prénom Statut Téléphone
BARBON Gianluca Doctorant
GROS Jean-philippe Stagiaire
IMTIAZ Waqas Stagiaire
MARSSO Lina Doctorant 03 3476615220
MUROOR NADUMANE Ajay Stagiaire
OZEER Umar Ibn Zaid Doctorant
PARREAUX Julie Stagiaire
S'abonner à RSS - CONVECS