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 DART 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 DREAM project-team on the diagnosis of discrete event systems. 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

University of Twente and Nijmegen

in The Netherlands (E. Brinksma, J. Tretmans) on test generation (symbolic in particular) following the Van Gogh bilateral cooperation (1999-2001). This year, Vlad Rusu was a sabbatical visitor at the University of Nijmegen (NL) from February to September 2006, in the Informatics for Technical Applications (ITA) led by Prof. Frits Vandraager. He worked in a joint project between the ITA and Security of Systems (SoS) groups on the formal validation of the new Dutch electronic passport by means of a combination of formal verification, black-box testing, and learning techniques [24] .


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.

University Libre Bruxelles

in Belgium (Thierry Massart) on testing. Thierry Massart visited us for three weeks in April 2006, funded by Artist2. We collaborate with him on testing from pushdown automata models.

University Ottawa

in Quebec (Guy-Vincent Jourdan) on security testing. G.-V. Jourdan visited IRISA during summer 2006.

Institute of Mathematics, Czech Academy of Sciences

(Jan Komenda) on supervisory control of concurrent systems. Hervé Marchand published a paper [21] with Jan Komenda.

University of Erlangen

in Germany (with Klaus Schmidt). Hervé Marchand published a paper [23] with Klaus Schmidt (other are in preparation).

University of Michigan

in USA (Prof. Stéphane Lafortune) on control an diagnosis of discrete event systems. Hervé Marchand visited this university this year (1 week).


Logo Inria