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.
- Samer Maroun:
“ A tool for the simulation of controlled discrete-Event systems ”, Internship-ESIB (Liban) (2,5 months).