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
5
5
5
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
2
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
1
2
5
1
4
7
5
5
1
2
2
7
7
5
3
5
4
5
4
3
2
3

Publications

Image document

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

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-04495393 v1
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-02881889 v1

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-04495414 v1
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-02668283 v1
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-02322645 v1
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-00782372 v1

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

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

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

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

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

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-00256002 v1
Image document

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-04452208 v1
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. pp.48-63, ⟨10.1007/978-3-031-55245-8_4⟩
Communication dans un congrès hal-04188221 v1
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-04255640 v1
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-04465222 v1
Image document

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-04188239 v1
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-04188249 v1
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-03752151 v1
Image document

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-03505246 v1
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-03216723 v1
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-03377541 v1
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-02931401 v1
Image document

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-02956436 v1
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-03195524 v1
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⟩
Communication dans un congrès hal-02931403 v1
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-02530289 v1
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-02322576 v1
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-02070535 v1
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-01707264 v1
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-01890473 v1
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-01890134 v1
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-01821675 v1
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-01768687 v1
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⟩
Communication dans un congrès hal-01583815 v1

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-01303436 v1
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-01398735 v1
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
Communication dans un congrès hal-01239669 v1
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-01239680 v1
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-01079973 v1

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-01263327 v1
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-01079975 v1
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-01100179 v1
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-01076425 v1

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

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-00926244 v1
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-00905075 v1
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-00905067 v1

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

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

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-00783297 v1
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-00782889 v1

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

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

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

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

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

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

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

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

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

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

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

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

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-00258288 v1
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-00260795 v1

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-00260783 v1
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-00261525 v1
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-00261594 v1
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-00262344 v1

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

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

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

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

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

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-04495337 v1
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-00657869 v1