1. Accueil
  2. Romain Kervarc

Romain Kervarc

Département Traitement de l'Information et Systèmes

Chef d'unité de recherches MIDL « Modélisation et Ingénierie des systèmes Distribués et Logiciels »

This page is also available in English.

Un curriculum vitæ est disponible sur ces pages.

Domaine de recherches

Je m'intéresse à la logique, à la modélisation de systèmes, aux méthodes formelles, au complex event processing, aux systèmes de systèmes, et aux méthodes mixtes logiques et stochastiques.

Mes recherches se focalisent sur les méthodes formelles, le traitement des événements complexes, la logique temporelle, et les approches mixtes logiques et stochastiques, tant dans un cadre académique que dans un cadre contractuel.

Vous trouverez sur ces pages également une liste de mes publications.

Thèses, stages et cours

Je propose régulièrement des sujets de thèse de doctorat, de stage de Master 2 Recherche, et de stages de fin d'étude ingénieur.

N'hésitez pas à me contacter pour en savoir plus.

Je propose en 2020 deux sujets de stage, chacun pouvant potentiellement donner lieu à une thèse :

Vous pourrez trouver par ailleurs une liste des gens dont j'ai encadré les travaux dans le passé.

Par ailleurs, je donne régulièrement des cours en France et à l'étranger.

Contact

Dr. Romain Kervarc

Chef d'unité MIDL

ONERA - DTIS

Fort de Palaiseau - BP 80100

91123 Palaiseau - France

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

Tél. : 01 80 38 66 41

,

Curriculum vitæ

Expérience professionnelle

  • depuis 2018 : chef d'unité MIDL « Modélisation et Ingénierie des systèmes Distribués et Logiciels »
    • définition du projet d'unité
  • en 2017 : chef d'unité par intérim TCS « Techniques de Conception et de Simulation des systèmes »
  • depuis 2007 : ingénieur-chercheur à l'Office national d'études et de recherches aérospatiales
  • 2002-2006 : doctorant à l'École normale supérieure de Lyon et moniteur à l'École normale supérieure de Lyon et à l’Université de Lyon I (allocataire couplé normalien)

Responsabilités scientifiques

  • 2014-2016 Personne en charge pour l’ONERA du projet SESAR Innovate MEGA, visant à la vérification formelle de propriétés de cohérence sur des architectures de systèmes d’air traffic management

  • 2013-2017 Personne en charge pour l’ONERA de la Coordinating Support Action UE FP7 CATER, portant sur la time efficiency dans le transport aérien

  • 2011-2013 Personne en charge pour l’ONERA du WP1 du projet UE FP7 P2 ROTECT, coordonnant la conception et la réalisation d’une plate-forme basée sur la logique temporelle pour l’analyse au niveau fonctionnel (et non physique) de la vulnérabilité des systèmes spatiaux aux débris orbitaux, intégrant des modèles industriels de satellites et des modèles ESA de débris. Cette plate-forme a été reconnue par l’évaluation finale comme un apport spécialement significatif du projet.

  • 2009-2013 : Membre du Directoire et du Comité de formation de l'ITN (Initial Training Network) MALOA (7e programme-cadre européen, actions Marie Curie pour la mobilité des jeunes chercheurs).

  • 2008-2016 : membre du Conseil Scientifique de la Branche Traitement de l'Information et Système de l'ONERA

  • 2002-2003 : membre du Conseil Scientifique de l'École normale supérieure de Lyon (représentant élu des élèves)

Cursus et diplômes

  • 2002-2006 : Doctorat en logique formelle à l'École normale supérieure de Lyon sous la direction du Pr. Pierre Lescanne
    • thèse : Systèmes de types purs et substitutions explicites, soutenue en février 2007 (mention Très Honorable - N.B. : meilleure mention décernée à l’ÉNS Lyon)
  • 1999-2002 : élève-professeur normalien à l'École normale supérieure de Lyon
    • 2002 : Magistère d’Informatique et Modélisation (mention Bien)
    • 2002 : Diplôme d’Études Approfondies d’Informatique Fondamentale (mention Bien)
    • 2001 : Maîtrise d’Informatique (mention Très Bien)

      Séjour Erasmus à la Technische Universität de Munich
    • 2000 : Licence d’Informatique et Mathématiques (mention Bien)
  • 1997-1999 : classes préparatoires au Lycée Henri-IV à Paris (mathématiques supérieures MPSI et spéciales MP*)
  • 1997 : baccalauréat général (mention Très Bien).

Animation scientifique

  • 2012-2017 : membre du jury du prix des doctorants ONERA pour le domaine Traitement de l'Information et systèmes
  • 2004-2006 : initiation et organisation d’un séminaire mensuel « Rationalité et modalité » commun aux deux ÉNS lyonnaises (équipe de recherche en logique formelle / chaire de philosophie analytique)
  • 2002-2005 : organisation du groupe de travail et du groupe de lecture de l’équipe de recherche Plume au Laboratoire d’Informatique et du Parallélisme de l'École normale supérieure de Lyon

Compétences linguistiques

  • français : langue maternelle
  • anglais : excellent niveau (lu, écrit et parlé)
  • allemand : excellent niveau (lu, écrit et parlé)
  • italien : excellent niveau (lu, écrit et parlé)
  • flamand : niveau moyen (lu, écrit et parlé)
  • japonais : niveau scolaire

,

Publications principales

Articles de journaux à comité de lecture

  • [lien] Romain Kervarc, Ariane Piel, Stéphanie Lala, & Jean Bourrely. Assessing component impairing at mission level, Mathematics and Computers in Simulation 147, p. 140-151, Elsevier, 2018.
  • [lien] 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.
  • [lien] 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, Elsevier 2010.

Articles de conférences avec actes à comité de lecture

  • Romain Rincé, Romain Kervarc, & Philippe Leray. Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling. Accepted and to be published in : Proc. 2nd International Joint Conference on
    Rules and Reasoning (RuleML+RR)    , Lecture Notes in Computer Science, Springer, 2018.
  • [lien] omain Rincé, Romain Kervarc, & Philippe Leray. On the use of WalkSAT-based algorithms for MLN inference in some
    realistic applications. In : Proc. 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE), Lecture Notes in Computer Science vol. 10351, p. 121-131, Springer, 2018.
  • [lien] 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.
  • [lien] 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.
  • Romain Kervarc, André Elie, Patrice Carle, & Thérèse Donath. Assessment of in-orbit debris-related risk for space systems. In Proc. of the 19th IMACS World Congress, IMACS Series on Computational and Applied Mathematics, 2013.
  • André Elie, Romain Kervarc, Patrice Carle, Stéphanie Prudhomme, Scott Kempf, Frank Schäfer, & Thérèse Donath. A method and a tool for assessing in-orbit debris-related risk for space systems. In L. Ouwehand (ed.), Proc. 6th European Conference
    on Space Debris    , ESA SP-723, 2013.
  • [lien] 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), Open-Access Series in Informatics vol. 31, p. 86-91, Schloß Dagstuhl, 2013.
  • [lien] 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.
  • [lien] 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.
  • [lien] 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.
  • [lien] 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.
  • [lien] 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.
  • [lien] 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.

Conférences invitées

  • 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.

Mémoires

  • Thèse de doctorat : Systèmes de types purs et substitutions explicites, 2007.

Publications diverses

Autres journaux

  • [lien] 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.
  • [lien] 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.

Autres conférences

  • 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.
  • 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.

Séminaires

  • 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, & Ariane Piel. Formal behaviour detection for distributed simulations. Poster
    at the Final Conference of ITN “From Mathematical Logic To Applications”, 2012.
  • Ariane Piel, Romain Kervarc, Christine Choppy, & Patrice Carle. A formal behaviour representation for the analysis of distributed
    simulations of Unmanned Aircraft Systems. Poster at the 19th Automated Reasoning Workshop, 2012.
  • Patrice Carle, Christine Choppy, Romain Kervarc, Claude Le Tallec, & Ariane Piel. Pilot's Information Understanding for Traffic Situation Awareness and Avoidance Manoeuvre Decision. Poster at the 5th Unmanned Aircraft Systems (UAS) EU Workshop, 2012.

Médiation scientifique (vulgarisation) :

  • [lien] 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.

Encadrement d'étudiants

Thèses passées

J'ai, par le passé, participé à l'encadrement des thèses suivantes :

  • Romain Rincé (actuellement chercheur à l'université de Nantes), thèse menée en 2015-2018, co-encadrement avec le Pr. Philippe Leray : Behaviour recognition on noisy data-streams constrained by complex prior knowledge
  • Ariane Piel (actuellement chercheur au CEA LIST), thèse menée en 2011-2014, co-encadrement avec le Pr. Christine Choppy : Reconnaissance de comportements complexes par traitement en ligne de flux d'événements
  • Olivier Bertrand (actuellement ingénieur à la DGA - CATOD), thèse menée en 2006-2009, participation ponctuelle à l'encadrement au côté de Patrice Carle et du 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

Stages passés

J'ai dans le passé assuré ou participé à l'encadrement des personnes suivantes en stage :

  • Ariane Piel (2011, stage de M2 recherche) : analyse comportementale pour simulations distribuées
  • Cyrille Rolland (2009, stage de fin d'études ingénieur) : simulateur de politiques de données pour la connaissance de la situation spatiale
  • Yohan Rousset (2009, stage de fin d'études ingénieur) en collaboration avec 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, stage de fin d'études ) en collaboration avec Claude Le Tallec : modélisation de règlementation pour l'insertion des drones dans l'espace aérien
  • Sylvain De Buyser (2008, stage de fin d'études ingénieur) en collaboration avec Claire Quillien : réalisation d'une IHM pour un outil d'évaluation de performance stochastique de système

Enseignements

Cours professés actuellement

J'enseigne à l'Université Paris XIII et à l'École Supérieure d'Informatique, d'Électronique et d'Automatique. J'y assure les enseignements suivants :

  • Université Paris XIII - Institut Galilée : cours de programmation en C++ (2e année ingénieur)
  • ÉSIÉA : algorithmique, calculabilité, complexité (1re année ingénieur)

J'assure par ailleurs occasionnellement l'encadrement de projets de programmation à l'Université Paris XIII.

Cours invités

J'ai été par le passé invité à donner les séries de cours suivantes :

Cours professés par le passé

J'ai également enseigné par le passé à l'École normale supérieure de Lyon et à l’Université de Lyon I.

À ce jour, j' ai assuré les cours suivants.

  • 2011-2016, ÉSIÉA : logique formelle et programmation logique (1re année ingénieur)
  • 2010-2012, Université Paris XIII - Institut Galilée : conception avancée (3e année ingénieur)
  • 2007-2020, Université Paris XIII - Institut Galilée : TP de programmation en C++ (2e année ingénieur)
  • 2005-2006, ÉNS Lyon : TD de sémantique des languages de programmation (master 1)
  • 2004-2006, Université Lyon I : TP de programmation en C/C++ (licence 3)
  • 2004-2005, ÉNS Lyon : TD de récriture (master 1)
  • 2004-2005, Université Lyon I : TP de compilation (master 2)
  • 2004-2005, ÉNS Lyon : tutorat d'étudiant étranger (master 1)
  • 2003-2004, ÉNS Lyon : TD de logique (licence 3) en collaboration avec Sylvie Boldo