Frederic Boulanger

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (82)

Article dans une revue 04/07/2024

Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation

Baptiste Gueuziec , Jean-Pierre Gallois , Frederic Boulanger

Communication dans un congrès 15/03/2024

An incremental diagnosis algorithm of human erroneous decision making

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 21/02/2024

Qualitative Reasoning and Design Space Exploration

Baptiste Gueuziec , Jean-Pierre Gallois , Frederic Boulanger

Communication dans un congrès 22/11/2023

Abstraction qualitative et surveillance de systèmes cyber-physiques

Baptiste Gueuziec , Jean-Pierre Gallois , Frederic Boulanger

Communication dans un congrès 22/11/2023

Abstraction qualitative pour l'optimisation de la surveillance des systèmes cyber-physiques.

Baptiste Gueuziec , Jean-Pierre Gallois , Frederic Boulanger

Communication dans un congrès 01/10/2023

Qualitative tendencies for hybrid system simulation

Baptiste Gueuziec , Jean-Pierre Gallois , Frederic Boulanger

Communication dans un congrès 01/01/2023

Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation

Baptiste Gueuziec , Jean-Pierre Gallois , Frederic Boulanger

Communication dans un congrès 27/06/2022

Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Article dans une revue 19/10/2021

Belief Revision Theory

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 17/10/2021

Catching cognitive biases in an erroneous decision making process

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 13/10/2021

Capturer les biais cognitifs dans un processus de prise de décision erroné

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 02/02/2021

The smart grid simulation framework: model-driven engineering applied to cyber-physical systems

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

Communication dans un congrès 23/09/2020

TESL: a Model with Metric Time for Modeling and Simulation

Hai Nguyen Van , Burkhart Wolff , Frederic Boulanger

Communication dans un congrès 25/08/2020

On the Semantics of Polychronous Polytimed Specifications

Hai Nguyen Van , Thibaut Balabonski , Chantal Keller , Burkhart Wolff , Frederic Boulanger , Benoit Valiron

Brevet 20/08/2020

Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System

Martin Rayrolle , Michaël Templier , Éric Fitterer , 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 , Frederic Boulanger

Article dans une revue 01/06/2020

Timed Discrete-Event Simulation of Aviation Scenarios

Hai Nguyen Van , Burkhart Wolff , Frederic Boulanger

Communication dans un congrès 01/01/2020

Diagnostiquer les biais cognitifs

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , 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 , Sophie Chabridon , 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 , Armando Hernandez , Safouan Taha , Frederic Boulanger

Article dans une revue 30/07/2019

A Formal Development of a Polychronous Polytimed Coordination Language

Burkhart Wolff , Hai Nguyen Van , Frederic Boulanger

Communication dans un congrès 22/07/2019

Improved Invariant Generation for Industrial Software Model Checking of Time Properties

Vassil Todorov , Armando Hernandez , Safouan Taha , Frederic Boulanger

Communication dans un congrès 01/01/2019

An approach to design smart grids and their IT system by cosimulation

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

Article dans une revue 01/01/2019

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Vassil Todorov , Armando Hernandez , Safouan Taha , Frederic Boulanger

Communication dans un congrès 27/09/2018

A time synchronization protocol for A664-P7

Martin Rayrole , Frederic Boulanger , Dominique Marcadet , Benoit Valiron , Safouan Taha

Communication dans un congrès 21/09/2018

A New Qualitative Language for Qualitative Simulation

Slim Medimegh , Jean-Yves Pierron , Frederic Boulanger

Communication dans un congrès 02/06/2018

Formal verification of automotive embedded software

Vassil Todorov , Frederic Boulanger , Safouan Taha

Communication dans un congrès 22/01/2018

Qualitative Simulation of Hybrid Systems with an Application to SysML Models

Slim Medimegh , Jean-Yves Pierron , Frederic Boulanger

Communication dans un congrès 01/01/2018

Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation

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

Communication dans un congrès 01/01/2017

A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing

Hai Nguyen Van , Thibaut Balabonski , Chantal Keller , Burkhart Wolff , Frederic Boulanger , Benoit Valiron