Utilisabilité et discrimination: étude préliminaire des machines à voter françaises. - Gabriel Michel; Mathieu Klein (IHM, 2008)

MapReduce for Parallel Trace Validation of LTL Properties. - Benjamin Barre; Mathieu Klein; Maxime Soucy-Boivin; Pierre-Antoine Ollivier; Sylvain Hallé (RV, 2012)

AI-Augmented Multi Function Radar Engineering with Digital Twin: Towards Proactivity. - Mathieu Klein; Thomas Carpentier; Eric Jeanclaude; Rami Kassab; Konstantinos Varelas; Nico de Bruijn; Frédéric Barbaresco; Yann Briheche; Yann Semet; Florence Aligne (CoRR, 2020)