Frédéric Boulanger

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 21

Top Topics

Qualitative Simulation

Operational Semantics

Massive Open Online Courses

Top Venues

MoDELS (Companion)

Arch. Formal Proofs

Publications

Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
Qualitative Reasoning and Design Space Exploration. MODELSWARD (2024)
Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation. MoDELS (Companion) (2023)
Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
Qualitative Tendencies for Hybrid System Simulation. MoDELS (Companion) (2023)
Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger
An Incremental Diagnosis Algorithm of Human Erroneous Decision Making. HAR (2023)
Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
Qualitative models for the supervision of CPS simulations. MoDELS (Companion) (2022)
Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger
Catching cognitive biases in an erroneous decision making process. SMC (2021)
Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret
Belief Revision Theory. Arch. Formal Proofs 2021 (2021)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
On the Semantics of Polychronous Polytimed Specifications. FORMATS (2020)
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI. MODELSWARD (2020)
Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
Timed Discrete-Event Simulation of Aviation Scenarios. Simul. Notes Eur. 30 (2) (2020)
Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
TESL: A Model with Metric Time for Modeling and Simulation. TIME (2020)
Vassil Todorov, Safouan Taha, Frédéric Boulanger
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking. NFM (2020)
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems. MODELSWARD (Revised Selected Papers) (2020)
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
An Approach to Design Smart Grids and Their IT System by Cosimulation. MODELSWARD (2019)
Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
A Formal Development of a Polychronous Polytimed Coordination Language. Arch. Formal Proofs 2019 (2019)
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
Improved Invariant Generation for Industrial Software Model Checking of Time Properties. QRS (2019)
Vassil Todorov, Frédéric Boulanger, Safouan Taha
Formal verification of automotive embedded software. FormaliSE@ICSE (2018)
Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger
Qualitative Simulation of Hybrid Systems with an Application to SysML Models. MODELSWARD (2018)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. FORMATS (2017)
Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frédéric Boulanger
A New Approach of Qualitative Simulation for the Validation of Hybrid Systems. GEMOC@MoDELS (2016)
Rachida Seghiri, Frédéric Boulanger, Claire Lecocq, Vincent Godefroy
An Executable Model Driven Framework for Enterprise Architecture Application to the Smart Grids Context. HICSS (2016)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye
Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS (2015)
Rachida Seghiri, Frédéric Boulanger, Claire Lecocq, Vincent Godefroy
Simulation des Systèmes d'Information des Smart Grids : une approche par points de vue. INFORSID (2015)
Mohamed Feredj, Frédéric Boulanger
Domain Polymorph Components For Explicit Opaque Borders in Hierarchical Heterogeneous Models. EWiLi (2014)
Dave R. Stikkolorum, Birgit Demuth, Vadim Zaytsev, Frédéric Boulanger, Jeff Gray
The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling Education. EduSymp@MoDELS (2014)
Benoît Combemale, Julien De Antoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
Report on the First Workshop On the Globalization of Modeling Languages. CoRR (2014)
Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan
TESL: A language for reconciling heterogeneous execution traces. MEMOCODE (2014)
Daniel Chaves Cafe, Cécile Hardebolle, Christophe Jacquet, Filipe Vinci dos Santos, Frédéric Boulanger
Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS. MPM@MoDELS (2014)
Daniel Chaves Cafe, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger
Multi-paradigm semantics for simulating SysML models using SystemC-AMS. FDL (2013)
Bart Meyers, Joachim Denil, Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Hans Vangheluwe
A DSL for Explicit Semantic Adaptation. MPM@MoDELS (2013)
Christophe Jacquet, Ahmed Mohamed, Frédéric Boulanger, Cécile Hardebolle, Yacine Bellik
Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent Environments. Models@run.time (2013)
Hamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha
Modeling and Verification of Redundancy Policies. ACES-MB@MoDELS (2013)
Benoît Combemale, Julien DeAntoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). GEMOC+AMINO@MoDELS (2013)
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston
Testing of Component-Based Systems. APSEC (2012)
Benoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry
Bridging the Chasm between Executable Metamodeling and Models of Computation. SLE (2012)
Marc Aiguier, Frédéric Boulanger, Bilal Kanso
A formal abstract framework for modelling and testing complex software systems. Theor. Comput. Sci. 455 (2012)
Romuald Deshayes, Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger, Tom Mens
Heterogeneous modeling of gesture-based 3D applications. MPM@MoDELS (2012)
Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet
Semantic Adaptation for Models of Computation. ACSD (2011)
Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan
Semantic Adaptation using CCSL Clock Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 50 (2011)
Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan
Semantic Adaptation Using CCSL Clock Constraints. MoDELS (Workshops) (2011)
Tudor B. Ionescu, Géraldine Polaillon, Frédéric Boulanger
Minimum Tree Cost Quartet Puzzling. J. Classif. 27 (2) (2010)
Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard
Extending the Standard Execution Model of UML for Real-Time Systems. DIPES/BICC (2010)
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
Testing of Abstract Components. ICTAC (2010)
Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Elyes Rouis
Modeling Heterogeneous Points of View with ModHel'X. MoDELS (Workshops) (2009)
Cécile Hardebolle, Frédéric Boulanger
Exploring Multi-Paradigm Modeling Techniques. Simul. 85 (11-12) (2009)
Mohamed Feredj, Frédéric Boulanger, Aimé Mokhoo Mbobi
A model of domain-polymorph component for heterogeneous system design. J. Syst. Softw. 82 (1) (2009)
Frédéric Boulanger, Christophe Jacquet, Elyes Rouis, Cécile Hardebolle
Modeling Heterogeneous Points of View with ModHel'X. NFPinDSML@MoDELS (2009)
Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet
From Data to Events: Checking Properties on the Control of a System. MEMOCODE (2008)
Frédéric Boulanger, Cécile Hardebolle
Simulation of Multi-Formalism Models with ModHel'X. ICST (2008)
Ahcene Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet
An Architecture Description Language for Verification in Component-Based Software. COMPSAC (2008)
Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet
A Generic Execution Framework for Models of Computation. MOMPES (2007)
O. Cueto, Myriam Assous, François de Crecy, A. Toffoli, David Bouchu, M. Fayolle, Frédéric Boulanger
Development of a permittivity extraction method for ultra low k dielectrics integrated in advanced interconnects. Microelectron. Reliab. 47 (4-5) (2007)
Cécile Hardebolle, Frédéric Boulanger
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling. MoDELS (Workshops) (2007)
Frédéric Boulanger, Guy Vidal-Naquet
A primitive execution model for heterogeneous modeling. ICSOFT (1) (2006)
Aimé Mokhoo Mbobi, Frédéric Boulanger
Le Paradigme Acteur Dans La Modelisation Des Systemes Embarques. CCECE (2006)
Aimé Mokhoo Mbobi, Frédéric Boulanger
An Overall Specification of a Meta-Model of Computation For Model-Driven Embedded System Modeling. CTS (2006)
Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj
Issues of hierarchical heterogeneous modeling in component reusability. IRI (2005)
Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj
Execution Model for Non-Hierarchical Heterogeneous Modeling. IRI (2004)
Mohamed Feredj, Frédéric Boulanger, Aimé Mokhoo Mbobi
Approach for Domain-Polymorph Components Design. IRI (2004)
Charles Andre, Frédéric Boulanger, Alain Girault
Software Implementation of Synchronous Programs. ACSD (2001)
Frédéric Boulanger, Guy Vidal-Naquet
Modular Development of Control and Computational Modules Using Reactive Objects. ECOOP Workshops (1998)