Service to the Community

Scientific Administration

Scientific Animation

I am the initiator of the Model Checking Contest. This event was initiated in 2011 and enclosed in the SUMo workshop, a satellite event of the Petri Net conference. It is a standalone event associated to the conference in 2012, 2013, 2014, 2015, 2016, 2017, 2018, and 2019.

I am also one of the initiators (with L. Petrucci from LIPN and S. Haddad from LSV) of the CosyVerif research initiative. CosyVerif is a web service-based software environment dedicated gathering verification tools.

Participation to Journal Editorial Board

Participation to Conference and Workshop Steering Committees

Program Chair or co-chair

Participation to Conference and Workshop Program Committees

Conference or Workshop Organization

Scientific Associations

Standardization Activity


Recruiting Committees (Comités de Sélection) for
Maître de Conférences and Professors