Team VerTeCs

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Dissemination

Scientific animation

Thierry Jéron

was PC member of Testcom/Fates'07 (Tallinn, Estonia) in June 2007 and Rosatea'07 (Boston) in July 2007. He is PC member of the forthcoming Testcom/Fates'08 (Osaka, Japan) June 2008, IEEE ICST 2008 (Lillehammer, Norway) in April 2008. Thierry Jéron gave a keynote. He is member of the steering committee and co-organiser of Movep 2008 (Orléans) in June 2008. He was reviewer and president of the PhD defense of Tarik Nahhal (Verimag, Grenoble, October 2007), reviewer of the PhD defense of Moez Krichen (Verimag, Grenoble, December 2007), and member of the PhD defense of Alexandra Desmoulins (Univ. Rennes 1, December 2007). He is member of the IFIP Working Group 10.2 on Embedded Systems ( ).

Hervé Marchand

was PC member of the MSR'07 conference on modeling of reactive systems as well as of the ICINCO'07 Conference. He is member of the IFAC Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) for the 2005-2008 triennium. He is PC member of the forthcoming Wodes'08 and ICINCO'08 Conferences. He is member of the “Commissions de Spécialistes 27e section” at the University of Rennes 1.

Vlad Rusu

Vlad Rusu was PC member of TestCom/Fates'07 (Tallinn, Estonia). He gave invited talks at LILFL (Lille) in May 2007, at LIFC (Besancon) in June 2007, and at LORIA (Nancy) in June 2007. He was a referee in the PhD committee of Delphine Longuet (Univ. Evry, Oct. 2007).

Tristan Le Gall

was invited to give seminars on Verification of communicating protocols / Abstract interpretation of regula languages in VERIMAG Grenoble (June 2006) and Liafa Paris (October 2006).

Jérémy Dubreil

gave a talk on “the construction of monitor for the supervision of security properties” during the summer school FOSAD 2007. He is president of the ADOC (PhD student association).


Logo Inria