|
Qualitative Reasoning and Design Space Exploration
Baptiste Gueuziec
,
Jean-Pierre Gallois
,
Frédéric Boulanger
Communication dans un congrès
hal-04452208
v1
|
|
An incremental diagnosis algorithm of human erroneous decision making
Valentin Fouillard
,
Nicolas Sabouret
,
Safouan Taha
,
Frédéric Boulanger
Communication dans un congrès
hal-04188221
v1
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
Catching cognitive biases in an erroneous decision making process
Valentin Fouillard
,
Nicolas Sabouret
,
Safouan Taha
,
Frédéric Boulanger
Communication dans un congrès
hal-03505246
v1
|
|
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
|
|
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
|
|
TESL: a Model with Metric Time for Modeling and Simulation
Hai Nguyen Van
,
Frédéric Boulanger
,
Burkhart Wolff
Communication dans un congrès
hal-02931401
v1
|
|
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking
Vassil Todorov
,
Safouan Taha
,
Frédéric Boulanger
Communication dans un congrès
hal-02956436
v1
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
TESL: A language for reconciling heterogeneous execution traces
Frédéric Boulanger
,
Christophe Jacquet
,
Cécile Hardebolle
,
Iuliana Prodan
Communication dans un congrès
hal-01100179
v1
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|