Romain Kervarc

Department for Information Processing and Systems

Head of Research Unit "System Design and Simulation Techniques"

Cette page est également disponible en français.


My résumé is available on these pages.

Field of Research

My research interests are mostly focused on logic, system modelling, formal methods, complex event processing, systems of systems, and stochastic methods such as Bayesian networks.

My current research deals particularly with dynamic stochastic processes for the modelling and performance assessment of space systems, temporal logics for activity description and recognition, failure identification in unmanned aircraft systems, and modelling information access in complex systems.

You may also find on these pages my publication list.


PhD, internships, and teaching

I regularly offer PhD or internships for students following a master's degree or an engineer training.

Do not hesitate to contact me for further information.

I currently supervise the following PhD thesis:

  • Romain Rincé, in cosupervision with Pr. Philippe Leray (viva voce expected to take place in 2018).

You may also find here a list of people whose PhD or internship I supervised in the past years.

I also regularly teach in France or abroad.


Contact

Dr. Romain Kervarc

Head of Research Unit "System Design and Simulation Techniques"

ONERA - DTIS

Fort de Palaiseau - BP 80100

91123 Palaiseau - France

E-mail : romain[dot]kervarc[at]onera[dot]fr

Tél. : (+33) 1 80 38 66 41

,

Résumé

Professional Experience

Scientific Responsibilities

Higher Education

  • 2002-2006: PhD in formal logic at École normale supérieure de Lyon under the supervision of Pr. Pierre Lescanne
    • thesis: Pure type systems and explicit substitution, defended in February 2007 (summa cum laude)
  • 1999-2002: student at École normale supérieure de Lyon
    • 2002: Master's degree in foundations of computer science, magna cum laude
    • 2001: Maîtrise in computer science, summa cum laude

      Erasmus exchange semester at Technische Universität of Munich
    • 2000: Licence (Bachelor's degree) in computer science and mathematics, magna cum laude
  • 1997-1999: classes préparatoires (French special classes preparing to the competitive entrance exams of the French elite schools) in Lycée Henri-IV, Paris (major fields : Mathematics, Physics, & Computer Science).
  • 1997 : baccalauréat (French national diploma concluding high school education), summa cum laude

Language Skills

  • French: mother language
  • English: excellent level (read, written and spoken)
  • German: excellent level (read, written and spoken)
  • Italian: excellent level (read, written and spoken)
  • Dutch: average level (read, written and spoken)
  • Japanese: basic level

,

Main Publications

Peer-reviewed journals

  • [link] Thibault Lang, Romain Kervarc, Sylvain Bertrand, , Patrice Carle, Thérèse Donath, Roberto Destefanis, Lilith Grassi, Francesca Tiboldo, Frank Schäfer, Scott Kempf, & Johannes Gelhaus. Short and long term efficiencies of debris risk reduction measures: Application to a European LEO mission. In: Advances in Space Research 55(1), p. 282–296, Eslevier, 2015.
  • [link] Romain Kervarc, Jean Bourrely, & Claire Quillien. A generic logical-temporal performance analysis method for complex systems. In Mathematics and Computers in Simulation 81(3), p. 717–730, 2010.

Peer-reviewed conferences proceedings

  • [link] Ariane Piel, Jean Bourrely, Stéphanie Lala, Sylvain Bertrand, & Romain Kervarc.Temporal Logic Framework for Performance Analysis of Architectures of Systems. In: Proc. of the 8th International NASA Formal Methods Symposium (NFM), Lecture Notes in Computer Science vol. 9690, p. 3-18, Springer, 2016.
  • Romain Kervarc, Ariane Piel, Stéphanie Lala, & Thibault Lang. Assessing functional consequences

    of system component impairing, in Proc. of the 14th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2015.
  • [link] Patrice Carle, Christine Choppy, Romain Kervarc, & Ariane Piel. A formal coloured Petri net model for hazard detection in large event flows. In Proc. of the 20th Asia-Pacific Software Engineering Conference, 2013.
  • [link] Patrice Carle, Christine Choppy, Romain Kervarc, & Ariane Piel. Safety of unmanned

    aircraft systems facing multiple breakdowns. In Proc.of the First

    French-Singaporean Workshop on Formal Methods and Applications (FSFMA), 2013.
  • [link] Judicaël Bedouet, Nicolas Huynh, & Romain Kervarc. GAMME, a meta-model to unify data needs in simulation modelling, in Proc. of the Symposium on Theory of Modeling and Simulation, Spring Simulation Conference, The Society for Modeling and Simulation International, 2013.
  • [link] Patrice Carle, Christine Choppy, Romain Kervarc, & Ariane Piel, Behavioural Analysis for Distributed Simulations, in Proc. of the 19th Asia-Pacific Software Engineering Conference, p. 482-487, IEEE, 2012.
  • Romain Kervarc, Sylvain Bertrand, Stéphanie Prudhomme, André Elie, Patrice Carle, & Thérèse Donath. A functional approach to the assessment of debris effect on spatial systems, in Proc. of the 12th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2012.
  • [link] Patrice Carle, Christine Choppy, Romain Kervarc, and Ariane Piel. Handling Breakdowns in Unmanned Aircraft Systems. In Proc. of the 18th International Symposium on Formal Methods - Doctoral Symposium, 2012.
  • [link] Patrice Carle, Christine Choppy, & Romain Kervarc. Detecting behaviours within HLA distributed simulations with added analysis components, in Proc. of the IEEE Aerospace Conference, IEEE, 2012.
  • [link] Sylvain Bertrand, Stéphanie Prudhomme, Sébastien Merit, Catherine Jolly, Romain Kervarc, & Thérèse Donath. Space system vulnerability assessment to space debris: a methodology and a program, in Proc. of the IEEE Aerospace Conference, IEEE, 2012.
  • [link] Patrice Carle, Christine Choppy, & Romain Kervarc. Behaviour recognition using chronicles, in Proc. of the 5th International Symposium on Theoretical Aspects of Software Engineering, p. 100-107, IEEE, 2011.
  • Romain Kervarc, Sylvain Bertrand, & Stéphanie Prudhomme. Evaluation of space mission vulnerability to space debris, in Proc. of the 11th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2011.
  • Romain Kervarc, Patrice Carle, & Christine Choppy. Chronicles: a temporal logic framework for the study of large simulations, in Proc. of the 10th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2010.
  • Romain Kervarc, Cédric Louyot, Sébastien Merit, Thomas Dubot, Sylvain Bertrand, & Jean Bourrely. Performance evaluation based on temporal logic, in Proc. of the 9th IMACS/ISGG Meeting on Applied Scientific

    Computing and Tools
    , IMACS Series on Computational and Applied Mathematics, 2009.
  • Romain Kervarc, Gyslain Hervieux, Jean Bourrely, & Patrice Carle. Geometrical adaptations for the use of numerical simulation in a modular air traffic simulation platform, in Proc. of the 11th ISGG Numerical Grid Conference, International Society of Grid Generation, 2009.
  • Romain Kervarc, André Elie, Nicolas Huynh, & P. Carle. Simulation of environmental impacts of air traffic using a modular distributed simulation platform, in Proc. of the 8th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2008.
  • Romain Kervarc, André Elie, Thomas Dubot, & Jean Bourrely. IESTA: a modular distributed simulation platform for the evaluation of air transport systems, in Proc. of the 8th IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2008.
  • Jean Bourrely, Romain Kervarc, & Claire Quillien, Performance evaluation for complex Systems, in Proc. of the 7h IMACS/ISGG Meeting on Applied Scientific Computing and Tools, IMACS Series on Computational and Applied Mathematics, 2007.
  • Romain Kervarc & Pierre Lescanne. Pure type systems, cut, and explicit substitutions, in Proc. of the 2nd International Workshop on Higher-Order Rewriting, Federated Conference on Rewriting, Deduction and Programming, 2004.

Invited lectures at conferences

  • Romain Kervarc. Logical descriptions for behaviour analysis in aerospace systems, Final MALOA Conference, 2013.
  • Romain Kervarc, Sylvain Bertrand, Thibault Lang, Catherine Jolly, Thérèse Donath, & Jean Bourrely, Assessing the impact of orbital debris on a spatial system, Symposium on Numerical methods and advanced technologies for applied scientific computing of the joint SIMAI / SEMA Conference on Applied and Industrial Mathematics, 2010.

Dissertations

  • PhD Thesis: Systèmes de types purs et substitutions explicites, 2007.

Various Publications

Other journals

  • [link] Jérôme Morio, Hélène Piet-Lahanier, Fabrice Poirion, Julien Marzat, C. Seren, Sylvain Bertrand, Quentin Brucy, Romain Kervarc, Sébastien Merit, Pierre Ducourtieux, Rudy Pastel. An Overview of probabilistic performance analysis methods for large scale and time-dependent systems, in Aerospace Lab Journal (4), 2012.
  • [link] Patrice Carle, Romain Kervarc, Raphaël Cuisinier, Nicolas Huynh, Judicaël Bedouet, Thomas Rivière, & Éric Noulard. Simulation of systems of systems, in Aerospace Lab Journal (4), 2012.

Other conferences

  • Patrice Carle, Christine Choppy, Romain Kervarc, & Ariane Piel. Behaviour recognition for complex systems, in Proc. of the 24es Journées Francophones des Langages Applicatifs, 2013.
  • Patrice Carle, Christine Choppy, Romain Kervarc, & Ariane Piel. Handling Breakdowns in Unmanned Aircraft Systems, in Proc. of the Doctoral Symposium of the 18th International Symposium on Formal Methods, 2012.
  • Sylvain Bertrand, Thérèse Donath, Romain Kervarc, Arnaud Lancien, Cédric Louyot, Sébastien Merit, Alain Piernas, & Stéphanie Prudhomme. Probabilistic performance evaluation of Tactical Balistic Missile Defence architectures, in Proc. of the 6th International Conference on Missile Defence, 2010.
  • Judicaël Bedouet, Thomas Dubot, André Elie, & Romain Kervarc. IESTA: evaluating air transport systems using a rich, modular, generic, managed platform, in Proc. of the 9th ONERA/DLR Aerospace Symposium (ODAS),  2008.
  • Romain Kervarc. Explicit substitution for the λ-cube. Communication at the 2nd workshop on Coq and Rewriting, 2004.

Seminars

  • Romain Kervarc, Reconnaissance d’activité et systèmes aérospatiaux, séminaire Complexité Logique et Informatique, Université Paris VII, 3 avril 2012.
  • Romain Kervarc, Systèmes complexes et industrie aérospatiale, séminaire de l'Institut des systèmes complexes de Lyon, 18 juin 2008.

Posters

  • Patrice Carle, Christine Choppy, Romain Kervarc, Claude Le Tallec, & Ariane Piel. Pilot's Information Understanding for Traffic Situation Awareness and Avoidance Manoeuvre Decision. Poster in 5th Unmanned Aircraft Systems (UAS) EU Workshop, 2012.

Vulgarisation

  • [link] Romain Kervarc. Satellites et Drones : comment garder la main sur la machine ? Maths Club, Institut de Recherches sur l'Enseignement des Mathématiques de Paris VII, 2 avril 2012.

,

Former Students

PhD students

I have in the past participated to the supervision of the following PhD students:

  • Ariane Piel (currently research fellow at CEA LIST, Ph.D. defended in 2014, cosupervised with Pr. Christine Choppy): Reconnaissance de comportements complexes par traitement en ligne de flux d'événements.
  • Olivier Bertrand (currently engineer at DGA-CATOD, Ph.D. defended in 2009, ponctual participation to the supervision made by Dr. Patrice Carle and Pr. Christine Choppy): Détection d’activités par un système de reconnaissance de chroniques et application au cas des simulations distribuées HLA

Interns

I have in the past supervised the students during their internships:

  • Ariane Piel (2011, Master 2 research dissertation) : analyse comportementale pour simulations distribuées
  • Cyrille Rolland (2009, engineer internship) : simulateur de politiques de données pour la connaissance de la situation spatiale
  • Yohan Rousset (2009, engineer internship) in collaboration with Rija-Harris Ratsimba-Rajohn : réalisation d’une API de création de fichier KML permettant la visualisation de simulations aériennes
  • Ludovic Van Egroo (2008, internship) in collaboration with Claude Le Tallec : modélisation de règlementation pour l'insertion des drones dans l'espace aérien
  • Sylvain De Buyser (2008, engineer internship) in collaboration with Claire Quillien : réalisation d'une IHM pour un outil d'évaluation de performance stochastique de système

,

Teaching

Current courses

I teach at the University of Paris XIII et at École Supérieure d'Informatique, d'Électronique et d'Automatique:

  • since 2009, University of Paris XIII - Institut Galilée: Programming in C++ (engineer cursus)
  • since 2015, ÉSIÉA: Algorithmics, Calculability, and Complexity (engineer cursus)

I also sometimes supervise programming projects at the University of Paris XIII.

Invited lectures

I have been in the past invited to give the following series of lectures:

Former courses

I used to teach at École normale supérieure of Lyon and at the University of Lyon I.

Up to now, in addition to my current teaching, I have taught the following classes:

  • 2011-2015, ÉSIÉA: Formal logic and logical programming (engineer cursus)
  • 2010-2012, University of Paris XIII - Institut Galilée: advanced design (3rd year engineer cursus)
  • 2005-2006, ÉNS Lyon: semantics of programming languages (master 1)
  • 2004-2006, University of Lyon I programming in C/C++ (licence 3)
  • 2004-2005, ÉNS Lyon : rewriting (master 1)
  • 2004-2005, University of Lyon I: compilation (master 2)
  • 2004-2005, ÉNS Lyon: foreign student tutoring (master 1)
  • 2003-2004, ÉNS Lyon: logic (licence 3) together with Sylvie Boldo