Doctorate students
|
Doctorate students
|
 |
Fatma Jebali (December 1, 2012 - September 12, 2016) Formal modelling and validation of networks of programmable logic controllers Université de Grenoble. HDR co-supervisor: Radu Mateescu |
| |
Hugues Evrard (March 15, 2012 - July 10, 2015) Parallel code generation in the cloud Université de Grenoble. HDR co-supervisor: Gwen Salaün |
| |
Jan Stöcker (September 1, 2006 - December 10, 2009) An Intermediate Model for the Verification of Asynchronous Real-Time Embedded Systems Grenoble INP (Institut National Polytechnique). HDR co-supervisor: Hubert Garavel |
| |
Suraj Gupta (January 1, 2024 - now) CIFRE contract with the Euris company. Industry co-supervisor: Umar Ozeer / HDR and main academic co-supervisor: Gwen Salaün |
|
PhD jurys
|
| |
Sander de Putter Verification of Concurrent Systems in a Model-Driven Engineering Workflow Technische Universiteit Eindhoven (The Netherlands), January 2019, jury member |
| |
Antonio Cansado Formal Specification and Verification of Distributed Component Systems Université de Nice Sophia-Antipolis (France), December 2008, jury member |
| |
Edoardo Bontà Automatic Code Generation: From Process Algebraic Architectural Descriptions to Multithreaded Java Programs University of Bologna (Italy), March 2008, reviewer |
| |
Emmanuel Donin de Rosière Un langage non-déterministe pour l'écriture de scénarios de test ENSSAT (Ecole Nationale Supérieure des Sciences Appliquées et de Technologie), Lannion (France), September 2007, reviewer |
| |
Tomàs Barros Formal specification and verification of distributed component systems Université de Nice Sophia-Antiolis (France), November 2005, jury member |
| |
Arnaud Lanoix Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés Université de Franche-Comté (France), August 2005, jury member |