Accéder directement au contenu

Frédéric Boulanger

80
Documents
Identifiants chercheurs

Présentation

Publications

Belief Revision Theory

Valentin Fouillard , Safouan Taha , Frédéric Boulanger , Nicolas Sabouret
Archive of Fomal Proofs, 2021, https://www.isa-afp.org/entries/Belief_Revision.html
Article dans une revue hal-04495393v1
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⟩
Article dans une revue hal-02881889v1

A Formal Development of a Polychronous Polytimed Coordination Language

Frédéric Boulanger , Burkhart Wolff , Hai Nguyen Van
Archive of Formal Proofs, 2019, https://www.isa-afp.org/entries/TESL_Language.html
Article dans une revue hal-04495414v1
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⟩
Article dans une revue hal-02668283v1
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⟩
Article dans une revue hal-02322645v1
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⟩
Article dans une revue 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⟩
Article dans une revue hal-00530627v1

Exploring Multi-Paradigm Modeling Techniques

Cécile Hardebolle , Frédéric Boulanger
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2009, 85 (11/12), pp. 688-708. ⟨10.1177/0037549709105240⟩
Article dans une revue hal-00437782v1

Multi-Formalism Modelling and Model Execution

Cécile Hardebolle , Frédéric Boulanger
International of Journal Computers & Applications, 2009, 31 (3), pp. 193-203
Article dans une revue 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
Article dans une revue hal-00340670v1

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
Article dans une revue 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
Article dans une revue hal-00256002v1
Image document

Qualitative Reasoning and Design Space Exploration

Baptiste Gueuziec , Jean-Pierre Gallois , Frédéric Boulanger
MODELSWARD 2024, INSTICC, Feb 2024, Rome, Italy
Communication dans un congrès hal-04452208v1
Image document

Abstraction qualitative pour l'optimisation de la surveillance des systèmes cyber-physiques.

Baptiste Gueuziec , Jean-Pierre Gallois , Frédéric Boulanger
Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France
Communication dans un congrès hal-04465222v1
Image document

Qualitative tendencies for hybrid system simulation

Baptiste Gueuziec , Frédéric Boulanger , Jean-Pierre Gallois
MPM4CPS 2023 - Multi-Paradigm Modelling for Cyber-Physical Systems -26th International conference on model driven engineering languages and systems, Oct 2023, Västerås, Sweden
Communication dans un congrès hal-04188249v1
Image document

Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation

Baptiste Gueuziec , Jean-Pierre Gallois , Frédéric Boulanger
MoDeVVa 2023 - 20th workshop on model driven engineering, verification and validation, Oct 2023, Västerås [Sweden], Sweden
Communication dans un congrès hal-04188239v1
Image document

An incremental diagnosis algorithm of human erroneous decision making

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frédéric Boulanger
2nd International Conference on Human and Artificial Rationalities, Sep 2023, Paris, France
Communication dans un congrès hal-04188221v1
Image document

Abstraction qualitative et surveillance de systèmes cyber-physiques

Baptiste Gueuziec , Jean-Pierre Gallois , Frédéric Boulanger
Modélisation des Systèmes Réactifs, Nov 2023, Toulouse, France
Communication dans un congrès hal-04255640v1
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
Communication dans un congrès 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
Communication dans un congrès hal-03377541v1
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⟩
Communication dans un congrès hal-03216723v1
Image document

On the Semantics of Polychronous Polytimed Specifications

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron
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⟩
Communication dans un congrès hal-02931403v1
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⟩
Communication dans un congrès hal-02530289v1
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
Communication dans un congrès hal-03195524v1
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⟩
Communication dans un congrès hal-02931401v1
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⟩
Communication dans un congrès 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⟩
Communication dans un congrès hal-02322576v1
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
Communication dans un congrès hal-01821675v1
Image document

A time synchronization protocol for A664-P7

Frédéric Boulanger , Dominique Marcadet , Martin Rayrole , Benoît Valiron , Safouan Taha
Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès hal-01890134v1
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
Communication dans un congrès 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⟩
Communication dans un congrès 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⟩
Communication dans un congrès hal-01707264v1
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
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⟩
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès hal-01303436v1
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
3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Communication dans un congrès hal-01239669v1
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
Communication dans un congrès hal-01239680v1
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⟩
Communication dans un congrès hal-01100179v1
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
CIEL 2014, Jun 2014, Paris, France. pp.11-20
Communication dans un congrès hal-01079973v1
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
Communication dans un congrès 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
MPM 2014, Daniel Balasubramanian; Christophe Jacquet; Pieter Van Gorp; Sahar Kokaly; Tamás Mészáros, Sep 2014, Valencia, Spain. pp.11-20
Communication dans un congrès hal-01076425v1

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
Communication dans un congrès hal-01263327v1
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
Communication dans un congrès hal-00905075v1

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
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
Communication dans un congrès hal-00926244v1

Modeling and Verification of Redundancy Policies

Chouh Hamza , Callon Charlotte , Jalal Ghita , Frédéric Boulanger , Safouan Taha
ACESMB 2013, Sep 2013, MIAMI, United States. 10p
Communication dans un congrès hal-00905551v1
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
MRT 2013, Sep 2013, Miami, United States. pp.52-63
Communication dans un congrès 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
FDL 2013, Sep 2013, Paris, France. 7 p
Communication dans un congrès hal-00838859v1
Image document

A DSL for Explicit Semantic Adaptation

Bart Meyers , Joachim Denil , Frédéric Boulanger , Cécile Hardebolle , Christophe Jacquet
MPM 2013, Sep 2013, Miami, United States. pp.47-56
Communication dans un congrès hal-00875798v1

Heterogeneous Modeling of Gesture-Based 3D Applications

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

MoDeVVa 2012 workshop summary

Frédéric Boulanger , Michalis Famelis , Frédéric Fondement , Lucio Levi , Stephan Weissleder
Model-Driven Engineering, Verification and Validation (MoDeVVa '12), Sep 2012, Innsbruck, Austria. pp.3-4, ⟨10.1145/2427376.2427377⟩
Communication dans un congrès hal-00783297v1
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
5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Communication dans un congrès hal-00905067v1
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
Communication dans un congrès hal-00782889v1

Semantic Adaptation using CCSL Clock Constraints

Frédéric Boulanger , Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet
The 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p
Communication dans un congrès 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
Communication dans un congrès hal-00605273v1
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
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⟩
Communication dans un congrès hal-01054487v1

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

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frédéric Boulanger
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
Communication dans un congrès hal-00534388v1
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
Communication dans un congrès hal-00782893v1

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
Communication dans un congrès 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⟩
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès hal-00289103v1

Organizing Web Search Results Using Clustering By Compression

Frédéric Boulanger , Géraldine Polaillon , Dorin Carstoiu , Alexandra Cernian , Stefan Bodea
IADIS INTERNATIONAL CONFERENCE e-SOCIETY 2007, Mar 2007, Lisbon, Portugal. pp.419-423
Communication dans un congrès hal-00232719v1

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
Communication dans un congrès hal-00256338v1

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
Communication dans un congrès hal-00256116v1

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
Communication dans un congrès 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⟩
Communication dans un congrès 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
Communication dans un congrès hal-00258105v1
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
Communication dans un congrès hal-00260795v1

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
Communication dans un congrès hal-00260783v1
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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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⟩
Ouvrages 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⟩
Chapitre d'ouvrage 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
Chapitre d'ouvrage hal-01792166v1

Semantic Adaptation using CCSL Clock Constraints

Frédéric Boulanger , Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet
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⟩
Chapitre d'ouvrage 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
Chapitre d'ouvrage 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⟩
Chapitre d'ouvrage 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
HDR tel-00657869v1