Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence :

  Frédéric Dadeau, Algorithmics and Programming, 80 hours (ETD), L1, University of Franche-Comté, France

  Frédéric Dadeau, Databases, 40 hours (ETD), L1, University of Franche-Comté, France

  Frédéric Dadeau, Object-Oriented Modelling and Conception, 40 hours (ETD), L3, University of Franche-Comté, France

  Frédéric Dadeau, Web Languages, 26 hours (ETD), L2, University of Franche-Comté, France

  Alain Giorgetti, Logics and Deduction, 52 hours (ETD), L2, Université de Franche-Comté, France

  Alain Giorgetti, Formal Methods, 81 hours (ETD), L3, Université de Franche-Comté, France

  Pierre-Cyrille Héam, Discrete Mathematics, 190 hours (ETD), L1/L2, IUT Belfort-Montbéliard, France

  Olga Kouchnarenko, Formal languages and automata, 95 hours (ETD), L3, University of Franche-Comté, France

  Olga Kouchnarenko, Syntactic analysis and XML, 33 hours (ETD), L3, University of Franche-Comté, France

• Master :

  Fabrice Bouquet, Compilation, 81 hours (ETD), M1, Université de Franche-Comté, France

  Fabrice Bouquet, Method et Tools For Artificial Intelligence, 40 hours (ETD), M1, Université de Franche-Comté, France

  Fabrice Bouquet, Test, 30 hours (ETD), M2, Université de Franche-Comté, France

  Véronique Cortier, Security Theory, 37 hours (ETD), M2, Lorraine University, France

  Frédéric Dadeau, Testing, 22 hours (ETD), M2, University of Franche-Comté, France

  Alain Giorgetti, Program Proofs, 60 hours (ETD), M1, Université de Franche-Comté, France

  Alain Giorgetti, Decision Procedures, 13 hours (ETD), M2, Université de Franche-Comté, France

  Pierre-Cyrille Héam, Introduction to calculability, 22 hours (ETD), M2, Université de Franche-Comté, France

  Pierre-Cyrille Héam, Automata based Verification, 20 hours (ETD), M2, Université de Franche-Comté, France

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

  Olga Kouchnarenko, Components and security, 12 hours (ETD), M2, University of Franche-Comté, France

  Olga Kouchnarenko, Specification, verification and validation, 15 hours (ETD), M2, University of Franche-Comté, France

  Olga Kouchnarenko, Modelling and evaluation of complex systems, 20 hours (ETD), M2, University of Franche-Comté, France

• Doctorat :

  Fabrice Bouquet, Model Based Testing for Functional and Security Test, 4 hours (ETD), 12th edition of the International School on Foundations of Security Analysis and Design (FOSAD), Bertinoro, Italy

Supervision

• PhD :

  Jonathan Lasalle, Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués, Université de Franche Comté, June 29th, Fabrice Bouquet and Fabien Peureux

  Elizabeta Fourneret, Génération de tests à partir de modèles UML/OCL pour les systèmes critiques évolutifs, Université de Franche Comté, December 5th, Fabrice Bouquet

  Asma Chérif, Modèles de Contrôle d'Accès pour les Applications Collaboratives, Université de Lorraine, November 26th, Abdessamad Imine and Michaël Rusinowitch

• PhD in progress :

  Kalou Cabrera Castillos, Automated Test Generation from Property Patterns, started in December 2009, Frédéric Dadeau and Jacques Julliand

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

  Aloïs Dreyfus, Efficient approches for systems validation, started in Novembre 2010, Pierre-Cyrille Héam and Olga Kouchnarenko

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

  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

  Vincent Hugot, Approximations and Constraints: Application to the Verification of Embedded Systems, started in October 2010, Pierre-Cyrille Héam and Olga Kouchnarenko

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

  Robert Künnemann, Verification of Security APIs, started in October 2010, Steve Kremer and Graham Steel

  Houari Mahfoud, Access Control Models for XML Documents, started in September 2010, Abdessamad Imine and Michaël Rusinowitch

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

  Elena Tushkanova, Specification and formal certification of (combinations of) decision procedures, started in October 2009, Alain Giorgetti, Olga Kouchnarenko and Christophe Ringeissen

  Cyrille Wiedling, Formal analysis of E-voting protocols, started in September 2011, Véronique Cortier

Juries

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

Referee for Karine Mordal's PhD, December 2012, Paris: Analyse et conception d'un modèle de qualité logiciel (Fabrice Bouquet)

Referee for Benoït Groz' PhD, October 2012, Lille: XML Security Views Queries, Updates, and Schema (Michaël Rusinowitch)

Referee for Marion Daubignard's PhD, January 2012, Grenoble: Formal Methods For Concrete Security Proofs (Steve Kremer)

Referee for Antoun Yaacoub's PhD, November 2012, Toulouse: Information Flow in Logic Programming (Olga Kouchnarenko)

Committee chair for Lionel Droz-Bartholet's PhD, February 2012, Besançon: Conception, validation et évaluation d'un nouveau protocole de gestion de la mémoire partagée collaborative tolérant aux pannes (Fabrice Bouquet)

Committee chair for Qianxue Wang's PhD, March 2012, Besancon, France: A new familly of chaotic pseudo-random generators (Pierre-Cyrille Héam)

Committee chair for Lamiel Toch's PhD, November 2012, Besancon, France: Contribution to scheduling techniques on parallel and ditributive systems (Pierre-Cyrille Héam)

Examiner for Muhammad Naeem Irfan's PhD, September 2012, Grenoble, France: Analysis and optimisation of machine learning algorithms for software components (Frédéric Dadeau)