default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrédéric Boulanger
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c51]Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger:
Qualitative Reasoning and Design Space Exploration. MODELSWARD 2024: 203-210- 2023
- [c50]Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger:
An Incremental Diagnosis Algorithm of Human Erroneous Decision Making. HAR 2023: 48-63 - [c49]Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger:
Qualitative Tendencies for Hybrid System Simulation. MoDELS (Companion) 2023: 500-509 - [c48]Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger:
Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation. MoDELS (Companion) 2023: 781-790 - 2022
- [c47]Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger:
Qualitative models for the supervision of CPS simulations. MoDELS (Companion) 2022: 612-616 - 2021
- [j9]Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret:
Belief Revision Theory. Arch. Formal Proofs 2021 (2021) - [c46]Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger:
Catching cognitive biases in an erroneous decision making process. SMC 2021: 3121-3127 - 2020
- [j8]Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff:
Timed Discrete-Event Simulation of Aviation Scenarios. Simul. Notes Eur. 30(2): 51-60 (2020) - [c45]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: 23-40 - [c44]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: 3-25 - [c43]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: 15-25 - [c42]Vassil Todorov, Safouan Taha, Frédéric Boulanger:
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking. NFM 2020: 187-203 - [c41]Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff:
TESL: A Model with Metric Time for Modeling and Simulation. TIME 2020: 15:1-15:15
2010 – 2019
- 2019
- [j7]Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff:
A Formal Development of a Polychronous Polytimed Coordination Language. Arch. Formal Proofs 2019 (2019) - [c40]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: 370-377 - [c39]Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez:
Improved Invariant Generation for Industrial Software Model Checking of Time Properties. QRS 2019: 334-341 - 2018
- [c38]Vassil Todorov, Frédéric Boulanger, Safouan Taha:
Formal verification of automotive embedded software. FormaliSE@ICSE 2018: 84-87 - [c37]Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger:
Qualitative Simulation of Hybrid Systems with an Application to SysML Models. MODELSWARD 2018: 279-286 - 2017
- [c36]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: 318-334 - 2016
- [c35]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: 4546-4555 - [c34]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: 52-61 - 2015
- [c33]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: 65-80 - [c32]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: 14-19 - [e6]Frédéric Boulanger, Daniel Krob, Gérard Morel, Jean-Claude Roussel:
Complex Systems Design & Management, Proceedings of the Fifth International Conference on Complex Systems Design & Management CSD&M 2014, Paris, France, November 12-14, 2014. Springer 2015, ISBN 978-3-319-11616-7 [contents] - 2014
- [c31]Mohamed Feredj, Frédéric Boulanger:
Domain Polymorph Components For Explicit Opaque Borders in Hierarchical Heterogeneous Models. EWiLi 2014 - [c30]Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan:
TESL: A language for reconciling heterogeneous execution traces. MEMOCODE 2014: 114-123 - [c29]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: 11-20 - [c28]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: 75-86 - [e5]Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal:
Complex Systems Design & Management, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, Paris, France, December 4-6, 2013. Springer 2014, ISBN 978-3-319-02811-8 [contents] - [e4]Frédéric Boulanger, Daniel Krob, Gérard Morel, Jean-Claude Roussel:
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. CEUR Workshop Proceedings 1234, CEUR-WS.org 2014 [contents] - [e3]Frédéric Boulanger, Michalis Famelis, Daniel Ratiu:
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. CEUR Workshop Proceedings 1235, CEUR-WS.org 2014 [contents] - [i1]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 abs/1408.5703 (2014) - 2013
- [c27]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: 1-8 - [c26]Hamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha:
Modeling and Verification of Redundancy Policies. ACES-MB@MoDELS 2013 - [c25]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: 3-13 - [c24]Bart Meyers, Joachim Denil, Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Hans Vangheluwe:
A DSL for Explicit Semantic Adaptation. MPM@MoDELS 2013: 47-56 - [c23]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: 52-63 - [e2]Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal:
Proceedings of the Poster Workshop at the 2013 Complex Systems Design and Management Conference (CSDM 2013), Paris, France, - December 4th, 2013. CEUR Workshop Proceedings 1085, CEUR-WS.org 2013 [contents] - [e1]Frédéric Boulanger, Michalis Famelis, Daniel Ratiu:
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. CEUR Workshop Proceedings 1069, CEUR-WS.org 2013 [contents] - 2012
- [j6]Marc Aiguier, Frédéric Boulanger, Bilal Kanso:
A formal abstract framework for modelling and testing complex software systems. Theor. Comput. Sci. 455: 66-97 (2012) - [c22]Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston:
Testing of Component-Based Systems. APSEC 2012: 300-305 - [c21]Romuald Deshayes, Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger, Tom Mens:
Heterogeneous modeling of gesture-based 3D applications. MPM@MoDELS 2012: 19-24 - [c20]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: 184-203 - 2011
- [b1]Frédéric Boulanger:
Modèles, systèmes, hétérogénéité. (Models, Systems, Heterogeneity). University of Paris-Sud, Orsay, France, 2011 - [j5]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) - [c19]Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet:
Semantic Adaptation for Models of Computation. ACSD 2011: 153-162 - [c18]Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan:
Semantic Adaptation Using CCSL Clock Constraints. MoDELS (Workshops) 2011: 104-118 - 2010
- [j4]Tudor B. Ionescu, Géraldine Polaillon, Frédéric Boulanger:
Minimum Tree Cost Quartet Puzzling. J. Classif. 27(2): 136-157 (2010) - [c17]Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil:
Testing of Abstract Components. ICTAC 2010: 184-198 - [c16]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: 43-54
2000 – 2009
- 2009
- [j3]Mohamed Feredj, Frédéric Boulanger, Aimé Mokhoo Mbobi:
A model of domain-polymorph component for heterogeneous system design. J. Syst. Softw. 82(1): 112-120 (2009) - [j2]Cécile Hardebolle, Frédéric Boulanger:
Exploring Multi-Paradigm Modeling Techniques. Simul. 85(11-12): 688-708 (2009) - [c15]Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Elyes Rouis:
Modeling Heterogeneous Points of View with ModHel'X. MoDELS (Workshops) 2009: 310-324 - [c14]Frédéric Boulanger, Christophe Jacquet, Elyes Rouis, Cécile Hardebolle:
Modeling Heterogeneous Points of View with ModHel'X. NFPinDSML@MoDELS 2009 - 2008
- [c13]Ahcene Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet:
An Architecture Description Language for Verification in Component-Based Software. COMPSAC 2008: 365-368 - [c12]Frédéric Boulanger, Cécile Hardebolle:
Simulation of Multi-Formalism Models with ModHel'X. ICST 2008: 318-327 - [c11]Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet:
From Data to Events: Checking Properties on the Control of a System. MEMOCODE 2008: 17-26 - 2007
- [j1]Olga 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): 769-772 (2007) - [c10]Cécile Hardebolle, Frédéric Boulanger:
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling. MoDELS (Workshops) 2007: 247-258 - [c9]Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet:
A Generic Execution Framework for Models of Computation. MOMPES 2007: 45-54 - 2006
- [c8]Aimé Mokhoo Mbobi, Frédéric Boulanger:
Le Paradigme Acteur Dans La Modelisation Des Systemes Embarques. CCECE 2006: 418-421 - [c7]Aimé Mokhoo Mbobi, Frédéric Boulanger:
An Overall Specification of a Meta-Model of Computation For Model-Driven Embedded System Modeling. CTS 2006: 194-199 - [c6]Frédéric Boulanger, Guy Vidal-Naquet:
A primitive execution model for heterogeneous modeling. ICSOFT (1) 2006: 247-252 - 2005
- [c5]Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj:
Issues of hierarchical heterogeneous modeling in component reusability. IRI 2005: 84-89 - 2004
- [c4]Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj:
Execution Model for Non-Hierarchical Heterogeneous Modeling. IRI 2004: 139-144 - [c3]Mohamed Feredj, Frédéric Boulanger, Aimé Mokhoo Mbobi:
Approach for Domain-Polymorph Components Design. IRI 2004: 145-150 - 2001
- [c2]Charles Andre, Frédéric Boulanger, Alain Girault:
Software Implementation of Synchronous Programs. ACSD 2001: 133-142
1990 – 1999
- 1998
- [c1]Frédéric Boulanger, Guy Vidal-Naquet:
Modular Development of Control and Computational Modules Using Reactive Objects. ECOOP Workshops 1998: 515-518
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-09 00:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
