Frederic Boulanger
frederic.boulanger [at] centralesupelec.fr
Publications :
- Article dans une revue - 13 documents
- Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger. Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation, 2024-07-04. (https://hal.science/hal-04661330v1)
- Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret. Belief Revision Theory, 2021-10-19. (https://centralesupelec.hal.science/hal-04495393v1)
- Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff. Timed Discrete-Event Simulation of Aviation Scenarios, 2020-06. (https://centralesupelec.hal.science/hal-02881889v1)
- Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root, 2019-12-27. (https://centralesupelec.hal.science/hal-02668283v1)
- Frédéric Boulanger, Burkhart Wolff, Hai Nguyen Van. A Formal Development of a Polychronous Polytimed Coordination Language, 2019-07-30. (https://centralesupelec.hal.science/hal-04495414v1)
- Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT, 2019. (https://centralesupelec.hal.science/hal-02322645v1)
- Marc Aiguier, Frédéric Boulanger, Bilal Kanso. A formal abstract framework for modelling and testing complex software systems, 2012-10-01. (https://centralesupelec.hal.science/hal-00782372v1)
- Tudor B. Ionescu, Géraldine Polaillon, Frédéric Boulanger. Minimum Tree Cost Quartet Puzzling, 2010-09-02. (https://centralesupelec.hal.science/hal-00530627v1)
- Cécile Hardebolle, Frédéric Boulanger. Exploring Multi-Paradigm Modeling Techniques, 2009-11. (https://centralesupelec.hal.science/hal-00437782v1)
- Mohamed Feredj, Frédéric Boulanger, Aimé Mokhoo Mbobi. A model of domain-polymorph component for heterogeneous system design, 2009. (https://centralesupelec.hal.science/hal-00340670v1)
- Cécile Hardebolle, Frédéric Boulanger. Multi-Formalism Modelling and Model Execution, 2009. (https://centralesupelec.hal.science/hal-00421169v1)
- Frédéric Boulanger. Integration of Dependability Features in a Synchronous Application, 2008-01. (https://centralesupelec.hal.science/hal-00288619v1)
- Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj. An Approach of Flat Heterogeneous Modeling based on Heterogeneous Interface Components, 2007-03. (https://centralesupelec.hal.science/hal-00256002v1)
- Communication dans un congrès - 61 documents
- Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger. Qualitative Reasoning and Design Space Exploration, 2024-02-21. (https://centralesupelec.hal.science/hal-04452208v1)
- Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger. Abstraction qualitative et surveillance de systèmes cyber-physiques, 2023-11-22. (https://hal.science/hal-04255640v1)
- Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger. Abstraction qualitative pour l'optimisation de la surveillance des systèmes cyber-physiques., 2023-11-22. (https://hal.science/hal-04465222v1)
- Baptiste Gueuziec, Frédéric Boulanger, Jean-Pierre Gallois. Qualitative tendencies for hybrid system simulation, 2023-10-01. (https://hal.science/hal-04188249v1)
- Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger. Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation, 2023-10-01. (https://hal.science/hal-04188239v1)
- Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger. An incremental diagnosis algorithm of human erroneous decision making, 2023-09-19. (https://hal.science/hal-04188221v1)
- Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger. Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines, 2022-06-27. (https://hal.science/hal-03752151v1)
- Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger. Capturer les biais cognitifs dans un processus de prise de décision erroné, 2021-10-13. (https://hal.science/hal-03377541v1)
- Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff. TESL: a Model with Metric Time for Modeling and Simulation, 2020-09-23. (https://hal.science/hal-02931401v1)
- Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff. On the Semantics of Polychronous Polytimed Specifications, 2020-09-01. (https://hal.science/hal-02931403v1)
- Vassil Todorov, Safouan Taha, Frédéric Boulanger. Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking, 2020-05-11. (https://centralesupelec.hal.science/hal-02956436v1)
- 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, 2020-02-25. (https://hal.science/hal-02530289v1)
- 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, 2020-02-25. (https://hal.science/hal-03216723v1)
- Valentin Fouillard, Safouan Taha, Nicolas Sabouret, Frédéric Boulanger. Diagnostiquer les biais cognitifs, 2020. (https://hal.science/hal-03195524v1)
- Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. Improved Invariant Generation for Industrial Software Model Checking of Time Properties, 2019-07-22. (https://centralesupelec.hal.science/hal-02322576v1)
- David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. An approach to design smart grids and their IT system by cosimulation, 2019-02-20. (https://hal.science/hal-02070535v1)
- Frédéric Boulanger, Dominique Marcadet, Martin Rayrole, Benoît Valiron, Safouan Taha. A time synchronization protocol for A664-P7, 2018-09-27. (https://centralesupelec.hal.science/hal-01890134v1)
- Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger. A New Qualitative Language for Qualitative Simulation, 2018-09-21. (https://centralesupelec.hal.science/hal-01890473v1)
- David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation, 2018-06-14. (https://hal.science/hal-01821675v1)
- Vassil Todorov, Frédéric Boulanger, Safouan Taha. Formal verification of automotive embedded software, 2018-06-02. (https://hal.science/hal-01768687v1)
- Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger. Qualitative Simulation of Hybrid Systems with an Application to SysML Models, 2018-01-22. (https://centralesupelec.hal.science/hal-01707264v1)
- 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, 2017-09-04. (https://centralesupelec.hal.science/hal-01583815v1)
- Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frédéric Boulanger. A New Approach of Qualitative Simulation for the Validation of Hybrid Systems, 2016-10-04. (https://centralesupelec.hal.science/hal-01398735v1)
- Rachida Seghiri, Frédéric Boulanger, Claire Lecocq, Vincent Godefroy. An executable model driven framework for enterprise architecture application to the Smart Grids context, 2016-01-05. (https://hal.science/hal-01303436v1)
- 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, 2015-09-28. (https://centralesupelec.hal.science/hal-01239669v1)
- 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, 2015-05-26. (https://centralesupelec.hal.science/hal-01239680v1)
- Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan. TESL: A language for reconciling heterogeneous execution traces, 2014-10-19. (https://centralesupelec.hal.science/hal-01100179v1)
- Daniel Chaves Café, Cécile Hardebolle, Christophe Jacquet, Filipe Vinci dos Santos, Frédéric Boulanger. Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS, 2014-09-30. (https://centralesupelec.hal.science/hal-01076425v1)
- Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger. ModHel'X, un outil expérimental pour la modélisation multi-paradigmes, 2014-06-10. (https://centralesupelec.hal.science/hal-01079975v1)
- Rachida Seghiri, Frédéric Boulanger, Vincent Godefroy, Claire Lecocq. Simulation orientée utilisateur des Systèmes d'Information des Smart Grids, 2014-06-10. (https://hal.science/hal-01263327v1)
- Daniel Chaves Café, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger. Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS, 2014-06-10. (https://centralesupelec.hal.science/hal-01079973v1)
- Bart Meyers, Joachim Denil, Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Hans Vangheluwe. A DSL for Explicit Semantic Adaptation, 2013-09-30. (https://centralesupelec.hal.science/hal-00875798v1)
- Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Ayman Dogui. Heterogeneous Model Composition in ModHel'X: the Power Window Case Study, 2013-09-29. (https://centralesupelec.hal.science/hal-00905075v1)
- 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, 2013-09-29. (https://centralesupelec.hal.science/hal-00905275v1)
- Benoit Combemale, Julien Deantoni, Robert 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), 2013-09-29. (https://inria.hal.science/hal-00926244v1)
- Chouh Hamza, Callon Charlotte, Jalal Ghita, Frédéric Boulanger, Safouan Taha. Modeling and Verification of Redundancy Policies, 2013-09-29. (https://centralesupelec.hal.science/hal-00905551v1)
- Daniel Chaves Café, Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Filipe Vinci dos Santos. Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMS, 2013-09-24. (https://centralesupelec.hal.science/hal-00838859v1)
- Marc Aiguier, Bilal Kanso, Frédéric Boulanger, Christophe Gaston. Testing of component-based systems, 2012-12-04. (https://centralesupelec.hal.science/hal-00782889v1)
- Romuald Deshayes, Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger, Tom Mens. Heterogeneous Modeling of Gesture-Based 3D Applications, 2012-10-01. (https://hal.science/hal-00761613v1)
- Frédéric Boulanger, Michalis Famelis, Frédéric Fondement, Lucio Levi, Stephan Weissleder. MoDeVVa 2012 workshop summary, 2012-09-30. (https://centralesupelec.hal.science/hal-00783297v1)
- Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry. Bridging the Chasm between Executable Metamodeling and Models of Computation, 2012-09-25. (https://centralesupelec.hal.science/hal-00905067v1)
- Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan. Semantic Adaptation using CCSL Clock Constraints, 2011-10-16. (https://centralesupelec.hal.science/hal-00641413v1)
- Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet. Semantic Adaptation for Models of Computation, 2011-06-20. (https://centralesupelec.hal.science/hal-00605273v1)
- 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, 2010-09-20. (https://centralesupelec.hal.science/hal-00534388v1)
- 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, 2010-09-20. (https://inria.hal.science/hal-01054487v1)
- Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil. Testing of Abstract Components, 2010-09-06. (https://centralesupelec.hal.science/hal-00782893v1)
- Frédéric Boulanger, Christophe Jacquet, Elyes Rouis, Cécile Hardebolle. Modeling Heterogeneous Points of View with ModHel'X, 2009-10-04. (https://centralesupelec.hal.science/hal-00444504v1)
- Ahcène Bouzoualegh, Frédéric Boulanger, Christophe Jacquet, Dominique Marcadet. An Architecture Description Language for Verification in Component-Based Software, 2008-07-28. (https://centralesupelec.hal.science/hal-00334977v1)
- Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet. From Data to Events: Checking Properties on the Control of a System, 2008-06-05. (https://centralesupelec.hal.science/hal-00289103v1)
- Frédéric Boulanger, Cécile Hardebolle. Simulation of Multi-Formalism Models with ModHel'X, 2008-04-09. (https://centralesupelec.hal.science/hal-00289188v1)
- Cécile Hardebolle, Frédéric Boulanger. ModHel'X : A Component-Oriented Approach to Multi-Formalism Modeling, 2007-10-02. (https://centralesupelec.hal.science/hal-00256338v1)
- Cécile Hardebolle, Dominique Marcadet, Frédéric Boulanger, Guy Vidal Naquet. A Generic Execution Framework for Models of Computation, 2007-03-31. (https://centralesupelec.hal.science/hal-00256116v1)
- Frédéric Boulanger, Géraldine Polaillon, Dorin Carstoiu, Alexandra Cernian, Stefan Bodea. Organizing Web Search Results Using Clustering By Compression, 2007-03. (https://centralesupelec.hal.science/hal-00232719v1)
- Frédéric Boulanger, Guy Vidal-Naquet. A Primitive Execution Model for Heterogeneous Modeling, 2006-09-11. (https://centralesupelec.hal.science/hal-00258105v1)
- Frédéric Boulanger, Mokhoo Aimé Mbobi. An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems, 2006-05-14. (https://centralesupelec.hal.science/hal-00258288v1)
- Frédéric Boulanger, Mokhoo Aimé Mbobi. Le paradigme acteur dans la modélisation des systèmes embarqués, 2006-05-07. (https://centralesupelec.hal.science/hal-00258299v1)
- Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj. Issues of Hierarchical Heterogeneous Modeling in Component Reusability, 2005-08-15. (https://centralesupelec.hal.science/hal-00260795v1)
- Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj. Integration of a Flat Heterogeneous Domain in Ptolemy II, 2005-05-12. (https://centralesupelec.hal.science/hal-00260783v1)
- Frédéric Boulanger, Mohamed Feredj, Aimé Mokhoo Mbobi. Flat Heterogeneous Modeling, 2004-11-10. (https://centralesupelec.hal.science/hal-00261525v1)
- Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj. Execution Model for Non-Hierarchical Heterogeneous Modeling, 2004-11-08. (https://centralesupelec.hal.science/hal-00261594v1)
- Mohamed Feredj, Frédéric Boulanger, Aimé Mokhoo Mbobi. An Approach of Domain Polymorph Component Design, 2004-11-08. (https://centralesupelec.hal.science/hal-00262344v1)
- PATENT - 1 document
- Martin Rayrolle, Michaël Templier, Éric Fitterer, Dominique Marcadet, Frédéric Boulanger, Safouan Taha. Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System, 2020-08-20. (https://centralesupelec.hal.science/hal-04495337v1)
- Chapitre d'ouvrage - 4 documents
- Frédéric Boulanger. Modélisation multiparadigme pour la conception des systèmes, 2014-11. (https://hal.science/hal-01792166v1)
- Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan. Semantic Adaptation using CCSL Clock Constraints, 2012-04. (https://centralesupelec.hal.science/hal-00740801v1)
- Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Elyes Rouis. Modeling Heterogeneous Points of View with ModHel'X, 2010-04. (https://centralesupelec.hal.science/hal-00534407v1)
- Cécile Hardebolle, Frédéric Boulanger. ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling, 2008. (https://centralesupelec.hal.science/hal-00554780v1)
- Ouvrage - 1 document
- Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal. Complex Systems Design & Management, 2014. (https://hal.science/hal-02750247v1)
- HDR - 1 document
- Frédéric Boulanger. Modèles, systèmes, hétérogénéité, 2011-06-08. (https://theses.hal.science/tel-00657869v1)