Bio
Services
Services for Conferences and Journals

Recent Conferences 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, EDCC 2016.
  • IEEE/ACM International Workshop on Automation of Software Test: PC member of AST 2012, AST 2015.
  • 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 2016.
  • International Conference on Computer Safety, Reliability and Security: Safecomp 2013, Safecomp 2016, Safecomp 2017.
  • Latin-American Symposium on Dependable Computing: Workshop chair of LADC 2013, PC member of LADC 2016.
  • Approches Formelles dans l'Assistance au Développement de Logiciels: PC member of AFADL 2012, AFADL 2013, AFADL 2014.


Journals

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 Informatiques (TSI).

I served as a reviewer for the following journals: IEEE Transactions on Software Engineering; IEEE Computer; Empirical Software Engineering; 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 of Software 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 Science Informatiques, Recherche-Transports-Sécurité.



This page is maintained

Although not based on SPIP, this page is inspired from the BeeSpip Skeleton LAAS     |     Dependable Computing and Fault Tolerance Group