Frederic Boulanger

Martin Rayrolle , Michaël Templier , Éric Fitterer , Dominique Marcadet , Frédéric Boulanger , Safouan Taha , Dominique Marcadet , Frederic Boulanger , Safouan Taha

Communication dans un congrès 10/08/2020

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

Vassil Todorov , Safouan Taha , Frédéric Boulanger , Safouan Taha , Frederic Boulanger

Article dans une revue 01/06/2020

Timed Discrete-Event Simulation of Aviation Scenarios

Hai Nguyen Van , Frédéric Boulanger , Burkhart Wolff , Frederic Boulanger

Communication dans un congrès 01/01/2020

A model based toolchain for the cosimulation of cyber-physical systems with FMI

David Oudart , Jérôme Cantenot , Frédéric Boulanger , Sophie Chabridon , Frederic Boulanger

Communication dans un congrès 01/01/2020

Diagnostiquer les biais cognitifs

Valentin Fouillard , Safouan Taha , Nicolas Sabouret , Frédéric Boulanger , Safouan Taha , Frederic Boulanger

Article dans une revue 27/12/2019

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root

Vassil Todorov , Safouan Taha , Frédéric Boulanger , Armando Hernandez , Safouan Taha , Frederic Boulanger