Mathieu Klein

According to our database, Mathieu Klein authored at least 3 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

2012

MapReduce for Parallel Trace Validation of LTL Properties.

Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé

Proceedings of the Runtime Verification, Third International Conference, 2012

2008

Utilisabilité et discrimination: étude préliminaire des machines à voter françaises.

Gabriel Michel, Mathieu Klein

Proceedings of the 20th international conference on Association Francophone d'Interaction Homme-Machine, 2008