Access content directly

Frédéric Boulanger

72
Documents
Researcher identifiers

Presentation

Publications

Image document

Timed Discrete-Event Simulation of Aviation Scenarios

Hai Nguyen Van , Frédéric Boulanger , Burkhart Wolff
SNE Simulation Notes Europe, 2020, 30 (2), pp.51-60. ⟨10.11128/sne.30.tn.10512⟩
Journal articles hal-02881889v1
Image document

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Vassil Todorov , Safouan Taha , Frédéric Boulanger , Armando Hernandez
System Informatics, 2019, 14, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩
Journal articles hal-02322645v1
Image document

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root

Vassil Todorov , Safouan Taha , Frédéric Boulanger , Armando Hernandez
Modeling and Analysis of Information Systems, 2019, 26 (4), pp.520-533. ⟨10.18255/1818-1015-2019-4-520-533⟩
Journal articles hal-02668283v1
Image document

A formal abstract framework for modelling and testing complex software systems

Marc Aiguier , Frédéric Boulanger , Bilal Kanso
Theoretical Computer Science, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩
Journal articles hal-00782372v1

Minimum Tree Cost Quartet Puzzling

Tudor B. Ionescu , Géraldine Polaillon , Frédéric Boulanger
Journal of Classification, 2010, 27 (2), pp.136-157. ⟨10.1007/s00357-010-9053-9⟩
Journal articles hal-00530627v1

Multi-Formalism Modelling and Model Execution

Cécile Hardebolle , Frédéric Boulanger
International of Journal Computers & Applications, 2009, 31 (3), pp. 193-203
Journal articles hal-00421169v1

A model of domain-polymorph component for heterogeneous system design

Mohamed Feredj , Frédéric Boulanger , Aimé Mokhoo Mbobi
Journal of Systems and Software, 2009, 82, pp. 112-120
Journal articles hal-00340670v1

Exploring Multi-Paradigm Modeling Techniques

Cécile Hardebolle , Frédéric Boulanger
SIMULATION, 2009, 85 (11/12), pp. 688-708. ⟨10.1177/0037549709105240⟩
Journal articles hal-00437782v1

Integration of Dependability Features in a Synchronous Application

Frédéric Boulanger
International Review on Computers and Software (IRECOS), 2008, 3 (1), pp.31-37
Journal articles hal-00288619v1

An Approach of Flat Heterogeneous Modeling based on Heterogeneous Interface Components

Aimé Mokhoo Mbobi , Frédéric Boulanger , Mohamed Feredj
International Review on Computers and Software (IRECOS), 2007, 2 (2), pp.179-189
Journal articles hal-00256002v1
Image document

Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frédéric Boulanger
Conférence Nationale en Intelligence Artificielle 2022, Jun 2022, Saint-Etienne, France
Conference papers hal-03752151v1
Image document

Capturer les biais cognitifs dans un processus de prise de décision erroné

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frédéric Boulanger
WACAI 2021, Centre National de la Recherche Scientifique [CNRS], Oct 2021, Saint Pierre d'Oléron, France
Conference papers hal-03377541v1
Image document

On the Semantics of Polychronous Polytimed Specifications

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron et al.
18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.23-40, ⟨10.1007/978-3-030-57628-8_2⟩
Conference papers hal-02931403v1
Image document

The smart grid simulation framework: model-driven engineering applied to cyber-physical systems

David Oudart , Jérôme Cantenot , Frédéric Boulanger , Sophie Chabridon
MODELSWARD 2020: 8th international conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.3-25, ⟨10.1007/978-3-030-67445-8_1⟩
Conference papers hal-03216723v1
Image document

A model based toolchain for the cosimulation of cyber-physical systems with FMI

David Oudart , Jérôme Cantenot , Frédéric Boulanger , Sophie Chabridon
MODELSWARD 2020: 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.15-25, ⟨10.5220/0008875400150025⟩
Conference papers hal-02530289v1
Image document

TESL: a Model with Metric Time for Modeling and Simulation

Hai Nguyen Van , Frédéric Boulanger , Burkhart Wolff
27th International Symposium on Temporal Representation and Reasoning, Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPIcs.TIME.2020.15⟩
Conference papers hal-02931401v1
Image document

Diagnostiquer les biais cognitifs

Valentin Fouillard , Safouan Taha , Nicolas Sabouret , Frédéric Boulanger
Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA), 2020, Angers (virtuel), France
Conference papers hal-03195524v1
Image document

An approach to design smart grids and their IT system by cosimulation

David Oudart , Jérôme Cantenot , Frédéric Boulanger , Sophie Chabridon
MODELSWARD 2019: 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.372 - 379, ⟨10.5220/0007407003720379⟩
Conference papers hal-02070535v1
Image document

Improved Invariant Generation for Industrial Software Model Checking of Time Properties

Vassil Todorov , Safouan Taha , Frédéric Boulanger , Armando Hernandez
2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. pp.334-341, ⟨10.1109/QRS.2019.00050⟩
Conference papers hal-02322576v1
Image document

A New Qualitative Language for Qualitative Simulation

Slim Medimegh , Jean-Yves Pierron , Frédéric Boulanger
International Symposium on Computer Science and Intelligent Control, Sep 2018, Stockholm, Sweden
Conference papers hal-01890473v1
Image document

Formal verification of automotive embedded software

Vassil Todorov , Frédéric Boulanger , Safouan Taha
FORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩
Conference papers hal-01768687v1
Image document

Qualitative Simulation of Hybrid Systems with an Application to SysML Models

Slim Medimegh , Jean-Yves Pierron , Frédéric Boulanger
6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006535202790286⟩
Conference papers hal-01707264v1
Image document

A time synchronization protocol for A664-P7

Frédéric Boulanger , Dominique Marcadet , Martin Rayrole , Benoît Valiron , Safouan Taha et al.
Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Conference papers hal-01890134v1
Image document

Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation

David Oudart , Jérôme Cantenot , Frédéric Boulanger , Sophie Chabridon
CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.9-1 - 9-5
Conference papers hal-01821675v1
Image document

A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron et al.
15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. ⟨10.1007/978-3-319-65765-3_18⟩
Conference papers hal-01583815v1
Image document

A New Approach of Qualitative Simulation for the Validation of Hybrid Systems

Slim Medimegh , Jean-Yves Pierron , Jean-Pierre Gallois , Frédéric Boulanger
GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016, Julien DeAntoni, Jeff Gray, Eugene Syriani, Oct 2016, Saint Malo, France
Conference papers hal-01398735v1

An executable model driven framework for enterprise architecture application to the Smart Grids context

Rachida Seghiri , Frédéric Boulanger , Claire Lecocq , Vincent Godefroy
HICSS 2016 : 49th Hawaii International Conference on System Sciences, Jan 2016, Koloa, Hawaii, United States. pp.4546 - 4555, ⟨10.1109/HICSS.2016.565⟩
Conference papers hal-01303436v1
Image document

Simulation des Systèmes d'Information des Smart Grids - Une approche par points de vue

Rachida Seghiri , Frédéric Boulanger , Claire Lecocq , Vincent Godefroy
XXXIIIème Congrès INFORSID, May 2015, Biarritz, France. pp.65-80
Conference papers hal-01239680v1
Image document

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Safouan Taha , Benoît Valiron et al.
3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Conference papers hal-01239669v1
Image document

TESL: A language for reconciling heterogeneous execution traces

Frédéric Boulanger , Christophe Jacquet , Cécile Hardebolle , Iuliana Prodan
ACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. pp.114 - 123, ⟨10.1109/MEMCOD.2014.6961849⟩
Conference papers hal-01100179v1
Image document

ModHel'X, un outil expérimental pour la modélisation multi-paradigmes

Christophe Jacquet , Cécile Hardebolle , Frédéric Boulanger
CIEL 2014, Jun 2014, Paris, France. pp.115-118
Conference papers hal-01079975v1
Image document

Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS

Daniel Chaves Café , Cécile Hardebolle , Christophe Jacquet , Filipe Vinci dos Santos , Frédéric Boulanger et al.
MPM 2014, Daniel Balasubramanian; Christophe Jacquet; Pieter Van Gorp; Sahar Kokaly; Tamás Mészáros, Sep 2014, Valencia, Spain. pp.11-20
Conference papers hal-01076425v1
Image document

Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS

Daniel Chaves Café , Filipe Vinci dos Santos , Cécile Hardebolle , Christophe Jacquet , Frédéric Boulanger et al.
CIEL 2014, Jun 2014, Paris, France. pp.11-20
Conference papers hal-01079973v1

Simulation orientée utilisateur des Systèmes d'Information des Smart Grids

Rachida Seghiri , Frédéric Boulanger , Vincent Godefroy , Claire Lecocq
CIEL 2014 : 3ème Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.86 - 87
Conference papers hal-01263327v1
Image document

A DSL for Explicit Semantic Adaptation

Bart Meyers , Joachim Denil , Frédéric Boulanger , Cécile Hardebolle , Christophe Jacquet et al.
MPM 2013, Sep 2013, Miami, United States. pp.47-56
Conference papers hal-00875798v1
Image document

Heterogeneous Model Composition in ModHel'X: the Power Window Case Study

Frédéric Boulanger , Christophe Jacquet , Cécile Hardebolle , Ayman Dogui
Workshop on the Globalization of Modeling Languages at MODELS 2013, Sep 2013, Miami, United States
Conference papers hal-00905075v1
Image document

Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent Environments

Christophe Jacquet , Ahmed Mohamed , Frédéric Boulanger , Cécile Hardebolle , Yacine Bellik et al.
MRT 2013, Sep 2013, Miami, United States. pp.52-63
Conference papers hal-00905275v1

Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMS

Daniel Chaves Café , Frédéric Boulanger , Christophe Jacquet , Cécile Hardebolle , Filipe Vinci dos Santos et al.
FDL 2013, Sep 2013, Paris, France. 7 p
Conference papers hal-00838859v1

Modeling and Verification of Redundancy Policies

Chouh Hamza , Callon Charlotte , Jalal Ghita , Frédéric Boulanger , Safouan Taha et al.
ACESMB 2013, Sep 2013, MIAMI, United States. 10p
Conference papers hal-00905551v1

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)

Benoit Combemale , Julien Deantoni , Robert France , Frédéric Boulanger , Sébastien Mosser et al.
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
Conference papers hal-00926244v1
Image document

Testing of component-based systems

Marc Aiguier , Bilal Kanso , Frédéric Boulanger , Christophe Gaston
19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6
Conference papers hal-00782889v1

Testing of component-based systems

Bilal Kanso , Marc Aiguier , Frédéric Boulanger , Christophe Gaston
2012 19th Asia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, Hong Kong SAR China. pp.300-305, ⟨10.1109/APSEC.2012.40⟩
Conference papers hal-00761610v1
Image document

Bridging the Chasm between Executable Metamodeling and Models of Computation

Benoit Combemale , Cécile Hardebolle , Christophe Jacquet , Frédéric Boulanger , Benoit Baudry et al.
5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Conference papers hal-00905067v1

Heterogeneous Modeling of Gesture-Based 3D Applications

Romuald Deshayes , Christophe Jacquet , Cécile Hardebolle , Frédéric Boulanger , Tom Mens et al.
6th International Workshop on Multi-Paradigm Modeling (MPM'12), Oct 2012, Innsbruck, Austria. pp.6, ⟨10.1145/2508443.2508447⟩
Conference papers hal-00761613v1

MoDeVVa 2012 workshop summary

Frédéric Boulanger , Michalis Famelis , Frédéric Fondement , Lucio Levi , Stephan Weissleder et al.
Model-Driven Engineering, Verification and Validation (MoDeVVa '12), Sep 2012, Innsbruck, Austria. pp.3-4, ⟨10.1145/2427376.2427377⟩
Conference papers hal-00783297v1

Semantic Adaptation using CCSL Clock Constraints

Frédéric Boulanger , Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet et al.
The 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p
Conference papers hal-00641413v1

Semantic Adaptation for Models of Computation

Frédéric Boulanger , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet
Eleventh International Conference on Application of Concurrency to System Design - ACSD 2011, Jun 2011, Newcastle, United Kingdom. pp.153-162
Conference papers hal-00605273v1
Image document

Testing of Abstract Components

Bilal Kanso , Marc Aiguier , Frédéric Boulanger , Assia Touil
ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198
Conference papers hal-00782893v1

Extending the Standard Execution Model of UML for Real-Time Systems

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frédéric Boulanger et al.
7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International conference, BICC 2010 Held as Part of WCC 2010, Sep 2010, Brisbane, Australia. pp.43-54
Conference papers hal-00534388v1
Image document

Extending the standard execution model of UML for real-time systems

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frédéric Boulanger et al.
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.43-54, ⟨10.1007/978-3-642-15234-4_6⟩
Conference papers hal-01054487v1

Modeling Heterogeneous Points of View with ModHel'X

Frédéric Boulanger , Christophe Jacquet , Elyes Rouis , Cécile Hardebolle
NFPinDSML 2009, Oct 2009, Denver, United States. 14 p
Conference papers hal-00444504v1

An Architecture Description Language for Verification in Component-Based Software

Ahcène Bouzoualegh , Frédéric Boulanger , Christophe Jacquet , Dominique Marcadet
32nd Annual IEEE International Computer Software and Applications Conference. (COMPSAC 2008)., Jul 2008, Turku, Finland. pp.365-368, ⟨10.1109/Compsac.2008.107⟩
Conference papers hal-00334977v1

Simulation of Multi-Formalism Models with ModHel'X

Frédéric Boulanger , Cécile Hardebolle
International Conference on Software Testing, Verification and Validation. (ICST 2008), Apr 2008, Lillehammer, Norway. pp.318-327
Conference papers hal-00289188v1

From Data to Events: Checking Properties on the Control of a System

Christophe Jacquet , Frédéric Boulanger , Dominique Marcadet
ACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26
Conference papers hal-00289103v1

A Generic Execution Framework for Models of Computation

Cécile Hardebolle , Dominique Marcadet , Frédéric Boulanger , Guy Vidal Naquet
MOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54
Conference papers hal-00256116v1

ModHel'X : A Component-Oriented Approach to Multi-Formalism Modeling

Cécile Hardebolle , Frédéric Boulanger
IEEE/ACM MPM 2007 - MODELS 2007, Oct 2007, Nashville, United States. pp.49-60
Conference papers hal-00256338v1

Organizing Web Search Results Using Clustering By Compression

Frédéric Boulanger , Géraldine Polaillon , Dorin Carstoiu , Alexandra Cernian , Stefan Bodea et al.
IADIS INTERNATIONAL CONFERENCE e-SOCIETY 2007, Mar 2007, Lisbon, Portugal. pp.419-423
Conference papers hal-00232719v1

Le paradigme acteur dans la modélisation des systèmes embarqués

Frédéric Boulanger , Mokhoo Aimé Mbobi
2006 IEEE Canadian Conference on Electrical and Computer Engineering. (CCECE 2006), May 2006, Ottawa, Canada. pp.418-421
Conference papers hal-00258299v1

An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems

Frédéric Boulanger , Mokhoo Aimé Mbobi
2006 International Symposium on Collaborative Technologies and Systems. (CTS2006), May 2006, Las Vegas, United States. pp.194-199, ⟨10.1109/CTS.2006.15⟩
Conference papers hal-00258288v1

A Primitive Execution Model for Heterogeneous Modeling

Frédéric Boulanger , Guy Vidal-Naquet
ICSOFT 2006, Sep 2006, Setubal, Portugal. pp.247-252
Conference papers hal-00258105v1

Integration of a Flat Heterogeneous Domain in Ptolemy II

Aimé Mokhoo Mbobi , Frédéric Boulanger , Mohamed Feredj
The Sixth Biennal Ptolemy Conference, May 2005, Berleley, United States
Conference papers hal-00260783v1
Image document

Issues of Hierarchical Heterogeneous Modeling in Component Reusability

Aimé Mokhoo Mbobi , Frédéric Boulanger , Mohamed Feredj
IEEE International Conference on Information Reuse and Integration (IEEE IRI 2005), Aug 2005, Las Vegas, United States. pp.84-89
Conference papers hal-00260795v1
Image document

Flat Heterogeneous Modeling

Frédéric Boulanger , Mohamed Feredj , Aimé Mokhoo Mbobi
International Conference on Advances in the Internet, Processing, Systems, and Interdisciplinary Research (IPSI 2004), Nov 2004, Venise, Italy. CD-ROM - 7 p
Conference papers hal-00261525v1
Image document

Execution Model for Non-Hierarchical Heterogeneous Modeling

Aimé Mokhoo Mbobi , Frédéric Boulanger , Mohamed Feredj
IEEE International Conference on Information Reuse and Integration. (IEEE IRI 2004), Nov 2004, Las Vegas, United States. pp.139-144
Conference papers hal-00261594v1
Image document

An Approach of Domain Polymorph Component Design

Mohamed Feredj , Frédéric Boulanger , Aimé Mokhoo Mbobi
IEEE International Conference on Information Reuse and Integration. (IEEE IRI 2004), Nov 2004, Las Vegas, United States. pp.145-150
Conference papers hal-00262344v1

Complex Systems Design & Management

Marc Aiguier , Frédéric Boulanger , Daniel Krob , Clotilde Marchal
Springer International Publishing, 2014, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, ⟨10.1007/978-3-319-02812-5⟩
Books hal-02750247v1
Image document

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

Vassil Todorov , Safouan Taha , Frédéric Boulanger
NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, pp.187-203, 2020, ⟨10.1007/978-3-030-55754-6_11⟩
Book sections hal-02956436v1

Modélisation multiparadigme pour la conception des systèmes

Frédéric Boulanger
Modélisations, Simulations, Systèmes complexes, 22, Éditions Matériologiques, pp.703-724, 2014, 978-2-919694-72-3
Book sections hal-01792166v1

Semantic Adaptation using CCSL Clock Constraints

Frédéric Boulanger , Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet et al.
Jörg Kienzle. Models in Software Engineering, Springer-Verlag, pp.104-118, 2012, LNCS - Lecture Notes in Computer Science, ⟨10.1007/978-3-642-29645-1_12⟩
Book sections hal-00740801v1

Modeling Heterogeneous Points of View with ModHel'X

Frédéric Boulanger , Christophe Jacquet , Cécile Hardebolle , Elyes Rouis
S. Ghosh. Models in Software Engineering, Springer-Verlag, pp.310-324, 2010
Book sections hal-00534407v1

ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling

Cécile Hardebolle , Frédéric Boulanger
Models in Software Engineering, Springer, pp.247-258, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-69073-3_26⟩
Book sections hal-00554780v1
Image document

Modèles, systèmes, hétérogénéité

Frédéric Boulanger
Modélisation et simulation. Université Paris Sud - Paris XI, 2011
Habilitation à diriger des recherches tel-00657869v1