2012
|
2012
|
 |
17th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2012
Paris (France), August 27-28, 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 |