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 2006 (New-York, May 2006), PC member and Tool Chair of Tacas'06 (Vienna, March 06), PC member of Rosatea'06 (Portland, Maine, USA, July 2007). He is SC of the Movep summer school (Bordeaux, June 2006). He is PC member of the forthcoming Testcom/Fates'07 (Tallinn, Estonia, June 2007) and Rosatea'07 (Boston, July 2007). Thierry Jéron gave a keynote speech on Model-based test selection for infinite state reactive systems at the 5th International Symposium on Formal Methods for Components and Objects (FMCO'06, Amsterdam, November 2006) and was invited to give a seminar in Labri Bordeaux (June 2006) on Test selection with approximate analysis . He was reviewer of the PhD defense of Assia Touil (University Evry, December 2006). He is member of the new IFIP Working Group 10.2 on Embedded Systems ( ).

Hervé Marchand

is PC member of the forthcoming MSR'07 conference on modeling of reactive systems. He was PC member of WODES'2006 and is member of the IFAC Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) for the 2005-2008 triennium. He gave two seminars on "Control of Concurrent Discrete Event System" and "Diagnosis of Discrete-Event Systems" at the univesity of Michigan. He was also invited to give a seminar on the same last topic in LABRI (Bordeaux). He is member of the ``Commissions de Spécialistes 27e section'' at the University of Rennes 1.

Vlad Rusu

Vlad Rusu gave invited talks to at the Centrum voor Wiskunde en Informatica (CWI), Amsterdam, NL (may 2006) on Combining verification and testing for reactive systems and at IPA Dutch spring school in Computer Science, Vught, NL (april 2006) on the same topic.

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).

Camille Constant

is member of the Ifsic Council as PhD representative.


Logo Inria