Team VerTeCs

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

PhD Thesis and Trainees

Current PhD. theses:

Camille Constant:

Verification and symbolic test generation for reactive systems ”, 3rd year,

Tristan Le Gall:

Abstract lattice of fifo channels for verification and control synthesis ”, 3rd year,

Hatem Hamdi:

Testing of network security ”, In collaboration with University of Sfax, 2nd year,

Jérémy Dubreil:

Formal methods for testing and monitoring security of open networks ”, 1st year.

Trainees 2005-2006:

Samer Maroun:

A tool for the simulation of controlled discrete-Event systems ”, Internship-ESIB (Liban) (2,5 months).


previous
next

Logo Inria