Section: Dissemination

Teaching - Supervision - Juries


CONVECS is a host team for MOSIG (http://mosig.imag.fr) (Master of Science in Informatics at Grenoble), the international master programme in computer science, common to Grenoble INP and Université Grenoble Alpes.

In 2016, we carried out the following teaching activities:

  • H. Garavel, together with Laurence Pierre (TIMA, Grenoble), created a new curriculum HECS (http://hecs.imag.fr) (“High-confidence Embedded and Cyberphysical Systems”) for 2nd-year MOSIG students. This curriculum opened for the first time in September 2016.

  • F. Lang, R. Mateescu, G. Salaün, and W. Serwe gave lectures on models for concurrency, temporal logics, equivalences, formal languages and verification (36 hours) as part of the MOSIG/HECS-2 course (“Modeling and Analysis of Concurrent Systems”) led by G. Salaün.

  • H. Garavel gave lectures on probabilistic models, stochastic models, and static/dynamic fault trees (6 hours) as part of the MOSIG/HECS-3 course (“Performance and quantitative properties”) led by Goran Frehse (Verimag).

  • H. Garavel gave lectures on the synchronous languages Lustre and SCADE, and on model-driven engineering (7.5 hours) as part of the MOSIG/HECS-4 course (“Industrial processes for high-confidence design”) led by Laurence Pierre (TIMA).

  • G. Salaün was co-responsible of the ISI (Ingéniérie des Systèmes d'Information) department of ENSIMAG (“École Nationale Supérieure d'Informatique et de Mathématiques Appliquées”, Grenoble INP) from September 1, 2011 until August 31st, 2016.

  • G. Salaün is Professor at Université Grenoble Alpes since September 1st, 2016, and teaches algorithmics, programming, and Web development at the MMI department of IUT1. He is also headmaster of the SMIN professional licence (L3, 3rd year of university), 192 hours.

  • W. Serwe supervised a group of six teams in the context of the “projet Génie Logiciel” (55 hours “équivalent TD”, consisting in 16.5 hours of lectures, plus supervision and evaluation).

  • F. Lang gave a lecture on formal methods (9 hours “équivalent TD”) in the framework of the software engineering course given to the first year students of MOSIG.

  • F. Lang gave a lecture on “Modélisation et vérification de systèmes concurrents et temps-réel” (27 hours “équivalent TD”) to the third year computer science engineering students of ENSIMAG.

  • G. Barbon gave a lecture on “Théorie des Langages 1” at ENSIMAG (18 hours “équivalent TD”).


  • Fatma Jebali, “A Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems”, Université Grenoble Alpes, September 12, 2016, F. Lang and R. Mateescu

  • PhD in progress: G. Barbon, “Debugging Concurrent Programs using Model Checking and Mining Techniques”, Université Grenoble Alpes, since October 2015, G. Salaün and V. Leroy

  • PhD in progress: L. Marsso, “Formal Methods for Testing Networks of Controllers”, Université Grenoble Alpes, since October 2016, R. Mateescu, W. Serwe, I. Parissis, and Ch. Deleuze

  • PhD in progress: U. Ozeer, “Autonomous Resilience of Applications in a Largely Distributed Cloud Environment”, Université Grenoble Alpes, since November 2016, X. Etchevers, G. Salaün, F.-G. Ottogalli, and J.-M. Vincent


  • R. Mateescu was reviewer of Oleksandra Kulankhina's PhD thesis, entitled “A Framework for Rigorous Development of Distributed Components: Formalisation and Tools”, defended at University of Nice Sophia-Antipolis on October 14, 2016.

  • G. Salaün was reviewer of Guillaume Verdier's PhD Thesis, entitled “Variants of Acceptance Specifications for Modular System Design”, defended at University of Toulouse on March 29, 2016.