Team VerTeCs

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

Project : vertecs

Section: Dissemination


PhD Thesis and Trainees

Current PhD. thesis:

  1. Benoit Gaudin, « Control of Structured Discrete Event Systems »

  2. Valéry Tschaen, « Automatic test generation: Models and Techniques »

  3. Elena Zinovieva « Generation and simplification of symbolic testing »

Trainees :

  1. Laurent Payen, « Syntool a Tool dedicated to the controller synthesis for Structured Discrete Event Systems », DESS Trainee (6 months).

  2. Sophie Quinton, « Deductive proof with PVS », ENS Cachan (3 months).

  3. Mbolatiana Rafamantanantsoa, « Robustness testing », Master student (6 months).


previous
next