Keywords: Modeling of real-time systems, Modeling of system-on-chip, Formal Description Techniques, Formal validation, Real-time embedded applications, Communication protocols, Distributed Systems
Research: Committees
Journals and conferences
- Journals: Reviewers for SoSym, ISI, Robotics and Autonomous Systems, IEEE Intelligent Transportation Systems Transactions and Magazine, IEEE Communications magazine, Journal of Software: Evolution and Process, Pervasice and Mobile Computing
- (recent) Conferences: Technical committee of Modelswards, Proofs, SAM
- Organizing committee of ph0wn, CARDIS'2016, EUSIPCO'2015
Ph.D. reviewer (or Jury president)
- Mid-term defense: Carina Schmidt (April 2010), Michelle Wetterwald (Jan. 2011), Hendrik Schweppe (Jan. 2011), Fatma Hizi (April 2011), Gabriel Serme (Nov. 2011), Medhi Khalfaoui (May 2012), Ndoc Duy NGuyen (June 2012), Olivier Fouache (June 2012), Samuel Kaluvuri (Nov. 2012), Bernard Kloiber (March 2013), Andrei Costin (Dec. 2013), Alexandr Garaga (May 2014), Onur Catakoglu (Nov. 2015), Marius Muench (Jun. 2017, Jun. 2018), Kim-Hung Le (Jun. 2017, Jun. 2018), Khaled Karray (Nov. 2017), Raj Patel (May 2018), Adam Talbi (Jul 2022)
- Final defense : Tsu-Han WANG (Dec 2022) : "Real-time Software Architectures and Performance Evaluation Methods for 5G Radio Systems", PhD of Sorbonne Université, Sophia-Antipolis
- Final defense : Ronan BADUEL (Sept 2019) : "An integrated model-based early validation approach for railway systems", PhD of Université Toulouse Jean Jaurès
- (Jury member) Final defense: Khaled KARRAY (Apr 2019): "Cyber-security of Connected Vehicles: Contributions to enhance the Risk Analysis and Security of in-Vehicle Communications", Ph.D of Université Paris-Saclay prepared at Télécom Paris
- Final defense: Paul IROLLA (Dec. 2018): "Formalization of neural network to secure 3D mobile applications", PhD of Université Paris-Saclay prepared at Université Paris-Sud
- Final defense: Patrick LESERF (May 2017): "Model-Driven Engineering approach for optimizing the architecture of embedded systems" (French title: Optimisation de l'architecture de systèmes embarqués par une approche basée modèle). Université de Toulouse, ISAE
- Final defense: Nada ESSAOUINI (Jan. 2015): "Conflict Management in Usage Control Policies". Télécom Bretagne, Ecole Nationale des Sciences Appliquées de Marrakech
- Final defense: Damien GROS (June 2014): "Protection obligatoire répartie. Usage pour le calcul intensif et les postes de travail. Université d'Orléans
