EN FR
EN FR


Section: Dissemination

Teaching - Supervision - Juries

Teaching

Éric Fabre

  • Master: ASR: introduction to distributed systems and algorithms, 12h, M2, Univ. Rennes 1, France.

  • Master: Information theory, 30h, M1, Ecole Normale Superieure de Rennes, France.

Nathalie Bertrand

  • Master: Advanced verification techniques, 15h (eq. TD), M2, ISTIC, Université de Rennes 1, France.

  • Agreg: Formal languages, 27h (eq. TD), M2, Ecole Normale Superieure de Rennes, France.

Loïc Hélouët

  • Licence: JAVA programming, 37h, INSA Rennes, France.

  • Agreg: Finite automata, and flow algorithms, 8h (eq. TD), M2, ENS Rennes, France.

Supervision

  • HdR: Loïc Hélouët, Scenario Automata: theory and applications , Rennes 1 University, 17th May 2013.

  • PhD: Carole Hounkonnou, Auto-diagnostic actif dans les réseaux de télécommunications, Rennes 1 University, 12th July 2013, supervised by Éric Fabre.

  • PhD: Rouwaida Abdallah, Implémentabilité de systèmes distribués décrits à l'aide de scénarios, ENS Cachan antenne de Bretagne, 16th July 2013, supervised by Loïc Hélouët and Claude Jard.

  • PhD: Amélie Stainer, Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata, Rennes 1 University, 25th November 2013, supervised by Thierry Jéron and Nathalie Bertrand.

  • PhD: Aurore Junier, Performance and stability analysis in telecommunication networks, Rennes 1 University, 16th December 2013, supervised by Anne Bouillard and Claude Jard.

  • PhD in progress (Defense on January 7th, 2014): Sébastien Chédor, Diagnostic, opacité et test de conformité pour des systèmes récursifs., started in September 2009, supervised by Thierry Jéron and Christophe Morvan.

  • PhD in progress: Mohamadou Lamine Diouf, Opacité des artefacts dans un système workflow, started in spring 2011, supervised by Éric Badouel and colocated with Dakar Université Cheik Anta Diop (Senegal).

  • PhD in progress: Srinivas Pinisetty, Runtime validation of critical control-command systems, started in December 2011, supervised by Hervé Marchand and Thierry Jéron.

  • PhD in progress: Paulin Fournier, Parameterized verification of networks of probabilistic processes, started in September 2012, supervised by Thierry Jéron and Nathalie Bertrand.

  • PhD in progress: Bruno Karelovic, Approximated analysis for checking Stochastic Models and Games, started in November 2012, supervised by Blaise Genest and Wieslaw Zielonka.

Juries

Éric Fabre was reviewer of the PhD thesis of Fabien Kuntz, "Optimization of the monitoring of avionic systems through enhanced diagnosis performances," LABRI and University Bordeaux 1, July 2013. He also reviewed the PhD thesis of Leila Bennacer, "Contribution to self-diagnosis methods in large scale communication networks," University Paris-Est Creteil, Dec. 2013.

Thierry Jéron was member of the PhD defense jury of Aymeric Hervieu (Dec. 2013, Université Rennes 1).

Hervé Marchand was a member of the PhD defense juries of Mohammed Ali Kammoun (LAGIS, Metz) in July 2013 and of Xin An (Inria Rhones Alpes, Grenoble) in October 2013.