Research Interests

• Real-time and embedded systems
• Timing analysis (WCET, interference delay)
• Model of system architecture (Cache memory and multi-core)

Supervised Students

PhD students

• Matheus Schuh. Feb. 2019-May 2022. Topic : Real-Time Operating Environments for Models of Computation Annotated with Logical Execution Time. CIFRE Kalray
• Valentin Touzeau. Oct. 2016–Oct. 2019. Topic: Static Analysis of Least Recently Used Caches: Complexity, Optimal Analysis, and Applications to Worst-Case Execution Time and Security.
• Hamza Rihani. Dec. 2014–Dec. 2019.Topic : Worst-Case Execution Time Analysis on Many-cores Architectures. CAPACITES Project.

Master Students

• Bai Zhenyu. Stage de Master 2 recherche de l’universit ́e de Toulouse, Sujet : modélisation de mémoires cache PLRU (Pseudo-Least Recently Used). Feb. 2019-Jul. 2019.
• Maeva Ramarijaona. Stage de Master 2 CyberSecurity. Sujet : Analyse de cache pour la sécurité. Oct. 2018-apr. 2019
• Valentin Touzeau. Stage de Master 2R Security Cryptology and Coding of Information. Topic: Cache Analysis and Application to security. Jan. 2016 - Jun 2016.

Bachelor-Master Students

• M1 Encadrement de stagiaires de Master 1 Informatique: Maxime Raynal (2018), Syrine Krichene (2014).
• M1 Encadrement de stage 2A Ensimag : Hugues De Lassus Saint G ́enies (2015, 2 month).
• L3 Encadrement d’un stage de Licence 3 ENS (1 mois) : Maximilien Dinechin (2019), Alban Pierre (2015).
• L3 Encadrement de stage de premi`ere ann ́ee Ensimag (L3) : Coralie Allioux (2019, 2 mois), Julien Balette (2019, 2 mois), Thomas Zhang (2019, 2 mois), Maryam Youlal (2018, 2 mois), Adrien Saumureau (2014,1 mois).
• L1 Encadrement de stages d’excellence : Ballé Traoré (2016, 1 mois, L1)

Invitations

• LIP Lyon “Languages, Compilation, and Semantics LIP Seminar”. 18 Dec. 2018.
• GDR GPL/ IRT Saint Exupery Workshop “Hardware interference and temporal determinism for modern SoC”. 16 Nov. 2018.
• GDR GPL/SOC2 Workshop “when compilation meets WCET”. 23 Nov. 2017, Inria Paris.
• Dagstuhl Seminar Seminar 17291 : Resource Bound Analysis. 16-21 Jul. 2017.
• University of York. Invited by Robert Davis. 9-13 Feb. 2014.
• Universite de Poitiers (LIAS). Invited by Pascal Richard. 9-10 Jan. 2014. .

Research Community Activities

Verimag

• co-chair of the Topic SharedResources with Karine Altisen since 2020.
• Member of Lab Council since 2016-2020.
• Responsible of communication 2016-2020.

Labex Persyval:

• Scientific Committee of Pervasive Computing Systems => Cyber-Physical System 2020-2022.

National

• Member of the “Jury de these SIF, Gilles Kahn” 2019.

International

• MC (France) of the Action COST CERCIRAS.

PhD Examiner:

• Guillaume Phavorin. Universite de Poitiers. Title : “Ordonnancement Temps Réel Dur avec prise en compte des Délais de Préemption dus au Cache”. Defense: September 23, 2016.
• Quentin Perret. Universite de Toulouse. Title : “Exécution prédictible sur processeurs pluri-cœurs”, Defense: April 25, 2017
• Soukayna M’SIRDI. Université de Toulouse. Title : “Modular avionics software integration on multicore COTS : certification-compliant methodology and timing analysis metrics for legacy software reuse”. Defense: July 5, 2017
• Yohan BAGA. Universite de Cergy Pontoise. Title : “Analyse de Flux de Trames AFDX en Réception et Méthode d’Optimisation Mémoire”. Defense: May 3, 2018
• Thomas Beck. ISAE Supaéro. Title : “Evaluation et analyse d’applications Linux sur processeur multi-coeur en environnement spatial’'. Defense: January 17, 2023.