2018
|
2018
|
 |
25th International SPIN Symposium on Model Checking of Software SPIN'2018
Malaga (Spain), June 20-22, 2018 Program committee member |
|
2017
|
| |
9e Ecole d'été Temps-Réel ETR'2017
Paris (France), August 28 - September 1, 2017 Program committee member, co-chair of the Formal Methods track |
| |
3rd Workshop on Graphs as Models GaM'2017
Uppsala (Sweden), April 22-23, 2017 Program committee member |
|
2016
|
| |
2nd Workshop on Graphs as Models GaM'2016
Eindhoven (The Netherlands), April 2-3, 2016 Program committee member |
|
2015
|
| |
8e Ecole d'été Temps-Réel ETR'2015
Rennes (France), August 24-28, 2015 Program committee member |
| |
20th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2015
Oslo (Denmark), June 22-23, 2015 Program committee member |
|
2014
|
| |
19th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2014
Florence (Italy), September 11-12, 2014 Chair of the program committee, together with Francesco Flammini (Ansaldo STS, Italy) |
|
2013
|
| |
18th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2013
Madrid (Spain), September 23-24, 2013 Program committee member |
| |
2nd European Conference on Service-Oriented and Cloud Computing ESOCC'2013
Malagà (Spain), September 11-13, 2013 Program committee member |
| |
7e Ecole d'été Temps-Réel ETR'2013
Toulouse (France), August 26-30, 2013 Program committee member, co-chair of the Formal Methods track |
|
2012
|
| |
1st European Conference on Service-Oriented and Cloud Computing ESOCC'2012
Bertinoro (Italy), September 19-21, 2012 Program committee member |
| |
17th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2012
Paris (France), August 27-28, 2012 Program committee member |
| |
Conférence Neptune'2012
Paris (France), June 6-7, 2012 Program committee member |
|
2011
|
| |
16th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2011
Trento (Italy), August 29-30, 2011 Program committee member |
| |
Conférence Neptune'2011
Paris (France), May 17-18, 2011 Program committee member |
|
2010
|
| |
4th European Conference on Software Architecture ECSA'2010
Copenhagen (Denmark), August 23-26, 2010 Program committee member |
| |
Conférence Neptune'2010
Toulouse (France), May 18-19, 2010 Program committee member |
|
2009
|
| |
Joint Working International Conference on Software Architecture and European Conference on Software Architecture WICSA/ECSA'2009
Cambridge (England, UK), September 14-17, 2009 Program committee member |
| |
Conférence Neptune'2009
Paris (France), May 26-27, 2009 Program committee member |
| |
7th Integrated Formal Methods conference iFM'2009
Düsseldorf (Germany), February 16-19, 2009 Program committee member |
|
2008
|
| |
2nd European Conference on Software Architectures ECSA'2008
Cyprus, September 29-October 1st, 2008 Program committee member |
| |
Conférence Neptune'2008
Paris (France), April 8-9, 2008 Program committee member |
| |
Journal Européen des Systèmes Automatisés JESA
Numéro spécial sur les approches formelles pour la spécification et la vérification des systèmes temps-réel, 2008 Program committee member |
|
2007
|
| |
1st European Conference on Software Architectures ECSA'2007
Madrid (Spain), September 24-26, 2007 Program committee member |
| |
Ecole d'été temps-réel ETR'2007
Nantes (France), September 3-7, 2007 Scientific committee member |
| |
Conférence Neptune'2007
Paris (France), May 22-23, 2007 Program committee member |