2021
|
2021
|
 |
10e Ecole d'été Temps Réel ETR 2021
Poitiers (France), September 20-24, 2021 Program committee member |
| |
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2021
Luxembourg (Luxembourg), March 27 - April 1, 2021 Tools chair |
|
2018
|
| |
25th International SPIN Symposium on Model Checking of Software SPIN 2018
Malagá (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 |