Frédéric Boulanger

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