Team VerTeCs

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities


Collaborations with other INRIA Project-teams

We collaborate with several Inria project-teams. We collaborate with the LANDE project-team in two ACI-Sécurité grants (V3F and POTESTAT). With ESPRESSO project-team for the development of the Sigali tool inside the Polychrony environment. With the Pop-Art project-team on the use of the controller synthesis methodology for the control of control-command systems (e.g. robotic systems). With DISTRIBCOM on security testing in the context of Potestat and Politess grants. With the S4 project-team on the use of control, game theory and diagnosis for test generation. With the VASY project-team on the use of CADP libraries in TGV and the distribution of TGV in the CADP toolbox.

Collaborations with French Research Groups outside INRIA

Our main collaborations in France are with Vérimag. Beyond formalized collaborations, (ACI Potestat and APRON, RNRT Politess, Rex ARTIST2), we also collaborate on the connection of NBAC with Lurette for the analysis of Lustre programs, as well as the connection of SIGALI and Matou. We are also involved in several collaborations with LSR Imag (ACI Potestat and RNRT Politess).

International Collaborations


in Tunisia (M. Tahar Bhiri) on security testing. Thierry Jéron is co-supervisor of a PhD student Hatem Hamdi working on robustness and security testing.

Institute of Mathematics, Czech Academy of Sciences

(Jan Komenda) on supervisory control of concurrent systems.

University of Madrid

(Prof. Manuel Clavel) on theorem proving for rewriting logic.

University of Michigan

in USA (Prof. Stéphane Lafortune) on control and diagnosis of discrete event systems.


Logo Inria