Frédéric Boulanger

82
Documents

Présentation

Publications

34
14
9
7
3
3
3
1
1
1
1
1
1
1
1
1
17
17
16
8
7
7
6
6
6
6
5
5
5
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
4
1
4
7
5
5
1
2
2
7
7
5
3
5
4
5
4
3
2
3

Publications

Deposit thumbnail

Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation

Baptiste Gueuziec , Jean-Pierre Gallois , Frédéric Boulanger

Innovations in Systems and Software Engineering, 2024, ⟨10.1007/s11334-024-00567-0⟩

Article dans une revue hal-04661330v1

Belief Revision Theory

Valentin Fouillard , Safouan Taha , Frédéric Boulanger , Nicolas Sabouret

Archive of Formal Proofs, 2021, https://www.isa-afp.org/entries/Belief_Revision.html

Article dans une revue hal-04495393v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 istex 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

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

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 istex 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

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
Deposit thumbnail

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. pp.48-63, ⟨10.1007/978-3-031-55245-8_4⟩

Communication dans un congrès hal-04188221v1
Deposit thumbnail

Qualitative Reasoning and Design Space Exploration

Baptiste Gueuziec , Jean-Pierre Gallois , Frédéric Boulanger

MODELSWARD 2024, INSTICC, Feb 2024, Rome, Italy. pp.203-210, ⟨10.5220/0012417300003645⟩

Communication dans un congrès hal-04452208v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Baptiste Gueuziec , Jean-Pierre Gallois , Frédéric Boulanger

2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Oct 2023, Västeras, Sweden. pp.781-790, ⟨10.1109/MODELS-C59198.2023.00126⟩

Communication dans un congrès hal-04188239v1
Deposit thumbnail

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
Deposit thumbnail

Catching cognitive biases in an erroneous decision making process

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frédéric Boulanger

IEEE International Conference on Systems, Man, and Cybernetics, Oct 2021, Melbourne (virtual), Australia. pp.3121-3127, ⟨10.1109/SMC52423.2021.9659149⟩

Communication dans un congrès hal-03505246v1
Deposit thumbnail

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
Deposit thumbnail

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

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frédéric Boulanger

Workshop sur les Affects, Compagnons Artificiels et Interaction (WACAI 2021), Centre National de la Recherche Scientifique [CNRS], Oct 2021, Saint Pierre d'Oléron, France

Communication dans un congrès hal-03377541v1
Deposit thumbnail

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
Deposit thumbnail

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⟩

Communication dans un congrès hal-02931403v1
Deposit thumbnail

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
Deposit thumbnail

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

Vassil Todorov , Safouan Taha , Frédéric Boulanger

NASA Formal Methods Symposium, May 2020, Moffett Field, United States. pp.187-203, ⟨10.1007/978-3-030-55754-6_11⟩

Communication dans un congrès hal-02956436v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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⟩

Communication dans un congrès hal-01583815v1

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Communication dans un congrès hal-01239669v1

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Communication dans un congrès hal-00875798v1

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

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

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

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
Deposit thumbnail

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 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

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

Communication dans un congrès hal-00641413v1

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

Communication dans un congrès hal-00534388v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01054487v1
Deposit thumbnail

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

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

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

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

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

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 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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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 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⟩

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 istex hal-00554780v1

Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System

Martin Rayrolle , Michaël Templier , Éric Fitterer , Dominique Marcadet , Frédéric Boulanger et al.

France, Patent n° : WO2019057941. 2020, https://patentscope.wipo.int/search/en/detail.jsf?docId=WO2019057941

Brevet hal-04495337v1
Deposit thumbnail

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