2024
|
2024
|
 |
6th Workshop on Models for Formal Analysis of Real Systems MARS 2024
Luxembourg Ville (Luxembourg), April 6, 2024 Chair of the program committee, together with Matthias Volk (Technische Universiteit Eindhoven, The Netherlands) |
|
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 Ville (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 |