Team VerTeCs

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2003
Project: VerTeCs

Project : vertecs

Section: Other Grants and Activities


Collaborations with other INRIA project-teams:

We collaborate with several Inria project-teams. 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 the TRISKELL project-team we have different collaborations on testing, in particular on the connection of TGV and UMLAUT, and on symbolic distributed test generation. With the S4 project-team on the use of control and game theory 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 are with Vérimag. Beyond formalized collaborations (IST Agedis, CNRS AS Test, ARC Modocop), 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.

International Collaborations

Aalborg University

in Denmark (K. G. Larsen) and University of Twente (P. Katoen) on probabilistic verification. We participate in the development of the Rapture tool.

University of South Carolina

in USA (D. Clarke) on symbolic test generation with emphasis on the STG tool.

CNR Pisa

in Italy (A. Bertolino) on using TGV for test generation for software architectures.

University of Wisconsin

(T. Reps) on shape analysis. Bertrand Jeannet visited Tom Reps during spring 2003.


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

Networks of Excellence

We have been involved in three proposals for Networks of Excellence in the 6th PCRD: Define ( on Dependability that was not selected for the 1st call, and Artist ( on Embedded Systems, and Testnet ( on Integration of Testing Methodologies which have been submitted to the 2nd call.