CONVECS - Construction of Verified Concurrent Systems
Joint research project-team INRIA and CNRS, Grenoble INP, UGA
Area: 
Leader: 
Radu Mateescu
Website: 
http://convecs.inria.fr
Phone: 
+33 4 76 61 54 86
Building: 
CONVECS is an Inria project-team focusing on the reliable design of concurrent and critical systems involving asynchronous parallelism. The research activities of CONVECS concern the definition of formal languages for describing the behaviour, the logical properties, and the quantitative aspects of these systems, as well as compositional, on-the-fly, parallel, and distributed verification techniques enabling to handle large systems. CONVECS develops advanced software tools, which are widely used in academia and industry.
Keywords: 
  • Formal Methods
  • Models and Languages
  • Software
  • Models
  • Discrete-Event Systems
  • Language Theory
  • Critical Systems
  • Embedded systems
  • Performance evaluation
  • Programming Language Specification and Validation
  • Verification - Proof - Testing
  • Safety and Reliability of Software
  • Compiling and Code Generation

Permanent members

Last name First name Status Phone
GARAVEL Hubert Senior Research Scientist +33 4 76 61 52 24
LANG Frederic Chercheur +33 4 76 61 55 11
MATEESCU Radu Senior Research Scientist +33 4 76 61 54 86
SALAUN Gwen Professor +33 4 76 61 54 28
SERWE Wendelin Chercheur +33 4 76 61 53 52

Non-permanent members

Last name First name Status Phone
MUROOR NADUMANE Ajay Krishna Post-doc
ZUO AHANG PhD Student
Subscribe to RSS - CONVECS