Romain Kervarc

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

Chef d'unité de recherches « Techniques de Conception et de Simulation de systèmes »

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

Actuellement, mes recherches portent particulièrement sur la modélisation et l'évaluation de performance de systèmes spatiaux à l'aide de processus stochastiques dynamiques, sur les logiques temporelles pour la description et la reconnaissance d'activités, sur l'identification de pannes dans les systèmes de drones, et sur la modélisation de l'accès à l'information dans les systèmes complexes.

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.

J'assure actuellement l'encadrement des thèses de doctorat suivantes :

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é TCS

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

Responsabilités scientifiques

  • 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

  • depuis 2012 : 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] 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

  • [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.
  • [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), 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.
  • 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.

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, 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

  • [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 :

  • 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 : TD 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)
  • 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