for Conferences and Journals
and Workshops (2012-2017)
- IEEE International Symposium on Software Reliability Engineering:
PC Co-Chair of ISSRE
2012, Publicity Chair and PC member of ISSRE 2013, Publication
Chair and PC member of ISSRE
2014, Program Manager and PC member of ISSRE
2015, PC member of ISSRE
2016, General Chair of ISSRE 2017.
- IEEE International
Conference on Software Testing,
Verification and Validation:
PC member of ICST 2012, ICST
2014, ICST 2015, ICST 2016.
- IEEE High Assurance Systems Engineering Symposium: PC member of
HASE 2012, HASE
2014, Publicity Chair and PC member of HASE 2015, PC Co-Chair of HASE
2016, PC member of HASE 2017.
- IEEE/IFIP International Conference on Dependable Systems and
Networks: PC member of DSN 2016.
- ACM SIGAPP Symposium On Applied Computing, track Software Verification and Testing: PC member of SAC/SVT 2017.
- IEEE International Symposium on
Object/component/service-oriented Real-time distributed Computing:
PC member of ISORC 2014, ISORC
2015, ISORC 2016
- European Dependable Computing Conference: PC member of EDCC 2015,
- IEEE/ACM International Workshop on Automation of Software Test:
of AST 2012, AST
- International Conference on Software Reuse: PC member of ICSR
2013, ICSR 2016.
- IEEE International Conference on Software Quality, Reliability
Security (was formerly QSIC): PC member of QSIC
2013, QSIC 2014, QRS 2015, QRS
- International Conference on Computer Safety, Reliability and
Security: Safecomp 2013, Safecomp 2016, Safecomp 2017.
- Latin-American Symposium on Dependable Computing: Workshop chair
2013, PC member of LADC
- Approches Formelles dans l'Assistance au
Développement de Logiciels:
PC member of AFADL 2012, AFADL 2013, AFADL 2014.
I am a member of the Editorial Boards of IEEE
Transactions on Reliability (TRel), Empirical
Software Engineering (EMSE) and of the International
Journal of Critical Computer-Based Systems (IJCCBS). I am currently
one of the Guest Editors of a Special issue of the Journal of Software: Evolution and Process, which
will contain extended versions of papers presented at HASE 2016. In 2006-2011,
I was a member of the Editorial Board of
"the" French Journal on Computer Science: Technique et Science
I served as a reviewer for the following
IEEE Transactions on Software Engineering; IEEE Computer; Empirical
ACM Transactions on Software Engineering and Methodology; Software
Testing, Verification & Reliability;
Information and Software Technology; Software: Practice and Experience;
Journal of Systems and Software; IEEE Transactions on Computers; IEEE Transactions on Reliability;
IEEE Transactions on Services Computing; Journal
and Systems Modeling; IEEE Design & Test for
Computers; Software Quality Journal; International Journal of Critical Computer-Based
Systems; International Journal on Modeling and Simulation; Technique et
This page is maintained