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 '', 2nd year,

Tristan Le Gall:

``Abstract lattice of fifo channels for verification and control synthesis '', 2nd year,

Hatem Hamdi:

``Testing of network security '', In collaboration with University of Sfax, 1st year,

Jérémy Dubreil:

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

Trainees 2005-2006:

Zahi Karam:

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

Jérémy Dubreil:

``Diagnosis for intrusion detection '', Master student, university of Uppsala and Enst Brest, (5 months).


previous
next

Logo Inria