Frdric Boulanger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
15
Active years
2004–2024
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MODELSWARD | Qualitative Reasoning and Design Space Exploration. | Baptiste Gueuziec, Jean-Pierre Gallois, Frdric Boulanger |
| 2023 | MODELS | Qualitative Tendencies for Hybrid System Simulation. | Baptiste Gueuziec, Jean-Pierre Gallois, Frdric Boulanger |
| 2023 | MODELS | Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation. | Baptiste Gueuziec, Jean-Pierre Gallois, Frdric Boulanger |
| 2022 | MODELS | Qualitative models for the supervision of CPS simulations. | Baptiste Gueuziec, Jean-Pierre Gallois, Frdric Boulanger |
| 2021 | SMC | Catching cognitive biases in an erroneous decision making process. | Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frdric Boulanger |
| 2020 | MODELSWARD | A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI. | David Oudart, Jrme Cantenot, Frdric Boulanger, Sophie Chabridon |
| 2020 | MODELSWARD | The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems. | David Oudart, Jrme Cantenot, Frdric Boulanger, Sophie Chabridon |
| 2020 | TIME | TESL: A Model with Metric Time for Modeling and Simulation. | Hai Nguyen Van, Frdric Boulanger, Burkhart Wolff |
| 2019 | MODELSWARD | An Approach to Design Smart Grids and Their IT System by Cosimulation. | David Oudart, Jrme Cantenot, Frdric Boulanger, Sophie Chabridon |
| 2019 | QRS | Improved Invariant Generation for Industrial Software Model Checking of Time Properties. | Vassil Todorov, Safouan Taha, Frdric Boulanger, Armando Hernndez |
| 2018 | ICSE | Formal verification of automotive embedded software. | Vassil Todorov, Frdric Boulanger, Safouan Taha |
| 2018 | MODELSWARD | Qualitative Simulation of Hybrid Systems with an Application to SysML Models. | Slim Medimegh, Jean-Yves Pierron, Frdric Boulanger |
| 2016 | MODELS | A New Approach of Qualitative Simulation for the Validation of Hybrid Systems. | Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frdric Boulanger |
| 2015 | MODELS | Towards a Formal Semantics of the TESL Specification Language. | Hai Nguyen Van, Thibaut Balabonski, Frdric Boulanger, Safouan Taha, Benot Valiron, Burkhart Wolff, Lina Ye |
| 2014 | MEMOCODE | TESL: A language for reconciling heterogeneous execution traces. | Frdric Boulanger, Christophe Jacquet, Ccile Hardebolle, Iuliana Prodan |
| 2014 | MODELS | Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS. | Daniel Chaves Cafe, Ccile Hardebolle, Christophe Jacquet, Filipe Vinci dos Santos, Frdric Boulanger |
| 2014 | MODELS | The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling Education. | Dave R. Stikkolorum, Birgit Demuth, Vadim Zaytsev, Frdric Boulanger, Jeff Gray |
| 2013 | FDL | Multi-paradigm semantics for simulating SysML models using SystemC-AMS. | Daniel Chaves Cafe, Filipe Vinci dos Santos, Ccile Hardebolle, Christophe Jacquet, Frdric Boulanger |
| 2013 | MODELS | Modeling and Verification of Redundancy Policies. | Hamza Chouh, Charlotte Callon, Ghita Jalal, Frdric Boulanger, Safouan Taha |
| 2013 | MODELS | Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). | Benot Combemale, Julien DeAntoni, Robert B. France, Frdric Boulanger, Sbastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler |
| 2013 | MODELS | Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent Environments. | Christophe Jacquet, Ahmed Mohamed, Frdric Boulanger, Ccile Hardebolle, Yacine Bellik |
| 2013 | MODELS | A DSL for Explicit Semantic Adaptation. | Bart Meyers, Joachim Denil, Frdric Boulanger, Ccile Hardebolle, Christophe Jacquet, Hans Vangheluwe |
| 2012 | APSEC | Testing of Component-Based Systems. | Bilal Kanso, Marc Aiguier, Frdric Boulanger, Christophe Gaston |
| 2012 | MODELS | Heterogeneous modeling of gesture-based 3D applications. | Romuald Deshayes, Christophe Jacquet, Ccile Hardebolle, Frdric Boulanger, Tom Mens |
| 2012 | SLE | Bridging the Chasm between Executable Metamodeling and Models of Computation. | Benot Combemale, Ccile Hardebolle, Christophe Jacquet, Frdric Boulanger, Benoit Baudry |
| 2011 | MODELS | Semantic Adaptation Using CCSL Clock Constraints. | Frdric Boulanger, Ayman Dogui, Ccile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan |
| 2010 | ICTAC | Testing of Abstract Components. | Bilal Kanso, Marc Aiguier, Frdric Boulanger, Assia Touil |
| 2009 | MODELS | Modeling Heterogeneous Points of View with ModHel'X. | Frdric Boulanger, Christophe Jacquet, Ccile Hardebolle, Elyes Rouis |
| 2009 | MODELS | Modeling Heterogeneous Points of View with ModHel'X. | Frdric Boulanger, Christophe Jacquet, Elyes Rouis, Ccile Hardebolle |
| 2008 | COMPSAC | An Architecture Description Language for Verification in Component-Based Software. | Ahcene Bouzoualegh, Dominique Marcadet, Frdric Boulanger, Christophe Jacquet |
| 2008 | ICST | Simulation of Multi-Formalism Models with ModHel'X. | Frdric Boulanger, Ccile Hardebolle |
| 2008 | MEMOCODE | From Data to Events: Checking Properties on the Control of a System. | Christophe Jacquet, Frdric Boulanger, Dominique Marcadet |
| 2007 | MODELS | ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling. | Ccile Hardebolle, Frdric Boulanger |
| 2006 | ICSoft | A primitive execution model for heterogeneous modeling. | Frdric Boulanger, Guy Vidal-Naquet |
| 2005 | IRI | Issues of hierarchical heterogeneous modeling in component reusability. | Aim Mokhoo Mbobi, Frdric Boulanger, Mohamed Feredj |
| 2004 | IRI | Approach for Domain-Polymorph Components Design. | Mohamed Feredj, Frdric Boulanger, Aim Mokhoo Mbobi |
| 2004 | IRI | Execution Model for Non-Hierarchical Heterogeneous Modeling. | Aim Mokhoo Mbobi, Frdric Boulanger, Mohamed Feredj |