Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Summer School:

  Fabrice Bouquet, Test techniques and validation for Software, ENVOL 2014, Organized by: CNRS, INRA, VetAgro-Sup and Inria, November 18-21, 2014 (https://www.projet-plume.org/envol-2014 )

  Steve Kremer, Formal Modeling and Automated Analysis of Security Protocols, 14th International School on Foundations of Security Analysis and Design (FOSAD'14)

• Master:

  Fabrice Bouquet, Functional Testing, 18 hours, M2 Computer science, Franche-Comté University, France.

  Fabrice Bouquet, Artificial Intelligence, 42 hours, M1 Computer science, Franche-Comté University, France.

  Frédéric Dadeau, Structural testing, 9 hours (ETD), M2 Computer science, Franche-Comté University, France.

  Alain Giorgetti, Program Proofs, 58 hours, M1 Computer science, Franche-Comté University, France.

  Alain Giorgetti, Decision Procedures, 13 hours, M2 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Specification, Verification and Validation, 12 hours (ETD), M2 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Security and Components, 10,5 hours (ETD), M2 Computer science, Franche-Comté University, France.

  Steve Kremer, Security Theory, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  Abdessamad Imine, Security for XML Documents, 12 hours (ETD), M1, Lorraine University, France.

  Christophe Ringeissen, Decision Procedures for Software Verification, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  Laurent Vigneron, Security of information systems, 22.5 hours (ETD), M2 Computer science, Lorraine University, France.

  Laurent Vigneron, Security of information systems, 24 hours (ETD), M2 MIAGE – Distributed Information Systems, Lorraine University, France.

• Licence:

  Alain Giorgetti, Logics and Deduction, 52 hours, L2 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Formal Languages, 65 hours (ETD), L3 Computer science, Franche-Comté University, France.

• E-Learning:

  Fabrice Bouquet, Artificial Intelligence, 78 (ETD), M1 Computer science, Franche-Comté University, France.

  Fabrice Bouquet, Specification Validation and Test, 39 (ETD), M2 Computer science, Franche-Comté University, France.

  Alain Giorgetti, Formal Methods, 81 hours, L3 computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Languages, Specification and Proof, 25 hours (ETD), L3 Computer science, Franche-Comté University, France.

  Olga Kouchnarenko, Compositional approaches in verification, 18 hours (ETD), M2 Computer science, Franche-Comté University, France.

Supervision

• PhD (defended in 2014):

  Robert Künnemann, Verification of Security APIs, January 7, Steve Kremer and Graham Steel

  Houari Mahfoud, Access Control Models for XML Documents, February 18, Abdessamad Imine and Michaël Rusinowitch

  Cyrille Wiedling, Formal analysis of E-voting protocols, November 21, Véronique Cortier

  Ivan Enderlin, Test Data Generation for Unit Testing in PHP, July 16, Fabrice Bouquet, Frédéric Dadeau and Alain Giorgetti

  Aloïs Dreyfus, Contribution to the efficient model-based verification and testing, October 22, Pierre-Cyrille Héam and Olga Kouchnarenko

  Bin Yang, Contribution to a kernel of a symbolic asymptotic modeling software, December 16, Michel Lenczner and Alain Giorgetti

• PhD in progress:

  Hadrien Bride, Validation and Reconfiguration of Modal Petri Nets within Constraint Logic Programming, started in October 2013, Olga Kouchnarenko and Fabien Peureux

  Maxime Bride, Automated Synthesis and Verification of Security Services, started in October 2014, Michaël Rusinowitch

  Rémy Chrétien, Decision procedures of equivalence properties, started in October 2012, Véronique Cortier and Stéphanie Delaune

  Jean-Marie Gauthier, Method for validation and simulation of SysML model: Applied on micro-systems, started in October 2012, Fabrice Bouquet, Fabien Peureux and Ahmed Hammad

  Richard Genestier, Formal specification and verification of programs generating structured data, started in October 2012, Alain Giorgetti and Olga Kouchnarenko

  Bao Thien Hoang, Secure Collaboration in Social Networks, started in April 2011, Abdessamad Imine and Christophe Ringeissen

  Jean-Luc Joly, Randomized approaches for validation and verification procedures, started in December 2011, Pierre-Cyrille Héam

  Éric Le Morvan, Secure composition of cryptographic protocols, started in October 2013, Véronique Cortier

  Huu Hiep Nguyen, Secure Collaboration in Mobile Social Networks, started in November 2013, Abdessamad Imine and Michaël Rusinowitch

  Ludovic Robin, Verification of cryptographic protocols using weak secrets, started in October 2014, Steve Kremer

  Guillaume Scerri, Symbolic and automatic security proofs in computational models, started in September 2011, Hubert Comon-Lundh and Véronique Cortier

Juries

Inria evaluation committee (Véronique Cortier, Steve Kremer, Michaël Rusinowitch)

Vice-president of the Jury Junior Research Position Inria Nancy Grand Est (Véronique Cortier)

Jury Junior Research Position Inria Paris-Rocquencourt (Véronique Cortier)

Preselection Jury for Inria Advanced and Starting Research Positions (Michaël Rusinowitch)

Member of the ANR scientific evaluation committee, challenges 7 and 9 (Olga Kouchnarenko)

Examiner for Guillaume Laville PhD, Besançon, June 27, 2014, Exécution efficace de systèmes multi-agents sur GPU (Fabrice Bouquet)

Reviewer for Maxime Fonda PhD, Bourges, May 21, 2014, Protection obligatoire des serveurs d'application web : application aux processus métiers (Fabrice Bouquet)

Examiner for Yufang Dan PhD, CITI Lyon (France), Security and self-healability enforcement of dynamic components in a service-oriented system, May 14, 2014 (Frédéric Dadeau)

Examiner for Xiaoping Che PhD, Telecom SudParis (France), Cross-Fertilizing Formal Approaches for Protocol Conformance and Performance Testing, June 26, 2014 (Frédéric Dadeau)

Examiner for Kaim Hossem PhD, LIG Grenoble (France), Inférence automatique de modèles d'applications web et protocoles pour la détection de vulnérabilités, December 15, 2014 (Frédéric Dadeau)

Reviewer for Valérie Murat PhD, Rennes, June 26th 2014, Tree automata extensions for the infinite states systems verification (Pierre-Cyrille Héam)

Examiner for Rafik Kheddam PhD, Valence (France), Safety software approaches for RFID systems, April 9, 2014 (Pierre-Cyrille Héam)

Examiner for Sven DeFelice PhD, Marne-la-Vallée, Codeterministic automata and acyclic automata: analysis of algorithm and random generation, July 1, 2014 (Pierre-Cyrille Héam)

Examiner for Maguy Medlej PhD, Besançon, June 30, 2014, Data Management in Periodic Wireless Sensor Networks (Olga Kouchnarenko)

Reviewer for Hikmat Farhat PhD, Toulouse, September 25, 2014, Composition of Services Behavior via Orchestrator Synthesis (Olga Kouchnarenko)

Examiner for Evelyne Contejean HDR, Orsay, June 13, 2014, Facets of Deduction (Michaël Rusinowitch)

Examiner for Myriam Paiola PhD, Paris, May 28, 2014, Verification of Security Protocols with Lists (Michaël Rusinowitch)

Examiner for Joshua Amavi PhD, Orléans, November 28, 2014, Comparaison et évolution de schémas XML (Michaël Rusinowitch)

Examiner for Lakhdar Akroun PhD, Clermont-Ferrand, December 8, 2014, Decidability and complexity of simulation preorder for data-centric web services (Michaël Rusinowitch)

Reviewer for Abdelkader Kersani PhD, Grenoble, October 30, 2014, Preuves par induction dans le calcul de superposition (Laurent Vigneron)