Section: Overall Objectives
Highlights of the year
Jérémy Dubreil defended his PhD thesis in November 2009 on Monitoring and Supervisory Control for Opacity Properties . It is the first thesis defended in the team on the subject of security analysis.
The team obtained three international collaboration grants starting in 2009: a PHC Procope grant with Germany, a DGRST-INRIA grant with Tunisia, and an INRIA Associated Team with Brazil.