Publications HAL

2021

Conference papers

auteur
Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger
titre
Capturer les biais cognitifs dans un processus de prise de décision erroné
article
WACAI 2021, Centre National de la Recherche Scientifique [CNRS], Oct 2021, Saint Pierre d'Oléron, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03377541/file/Fouillard.pdf BibTex

2020

Journal articles

auteur
Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
titre
Timed Discrete-Event Simulation of Aviation Scenarios
article
SNE Simulation Notes Europe, ArgeSIM, 2020, 30 (2), pp.51-60. ⟨10.11128/sne.30.tn.10512⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02881889/file/authorversion.pdf BibTex

Conference papers

auteur
Valentin Fouillard, Safouan Taha, Nicolas Sabouret, Frédéric Boulanger
titre
Diagnostiquer les biais cognitifs
article
Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA), 2020, Angers (virtuel), France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03195524/file/RJCIA_2020.pdf BibTex
auteur
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
titre
The smart grid simulation framework: model-driven engineering applied to cyber-physical systems
article
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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03216723/file/2021SmartGridSimFramework.pdf BibTex
auteur
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
titre
On the Semantics of Polychronous Polytimed Specifications
article
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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02931403/file/article.pdf BibTex
auteur
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
titre
A model based toolchain for the cosimulation of cyber-physical systems with FMI
article
MODELSWARD 2020: 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.15-25, ⟨10.5220/0008875400150025⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02530289/file/Camera-ready.pdf BibTex
auteur
Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
titre
TESL: a Model with Metric Time for Modeling and Simulation
article
27th International Symposium on Temporal Representation and Reasoning, Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPIcs.TIME.2020.15⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02931401/file/article.pdf BibTex

Book sections

auteur
Vassil Todorov, Safouan Taha, Frédéric Boulanger
titre
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking
article
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⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436/file/Specification%20Quality%20Metrics%20Based%20on%20Mutation%20and%20Inductive%20Incremental%20Model%20Checking.pdf BibTex

2019

Journal articles

auteur
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
titre
PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT
article
System Informatics, 2019, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02322645/file/Todorov_auth.pdf BibTex
auteur
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
titre
Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root
article
Modeling and Analysis of Information Systems, a, 2019, 26 (4), pp.520-533. ⟨10.18255/1818-1015-2019-4-520-533⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02668283/file/Todorov.pdf BibTex

Conference papers

auteur
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
titre
An approach to design smart grids and their IT system by cosimulation
article
MODELSWARD 2019: 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.372 - 379, ⟨10.5220/0007407003720379⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02070535/file/main.pdf BibTex
auteur
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
titre
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
article
2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. pp.334-341, ⟨10.1109/QRS.2019.00050⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02322576/file/Improved%20Invariant%20Generation%20for%20Industrial%20Software%20Model%20Checking%20of%20Time%20Properties.pdf BibTex

2018

Conference papers

auteur
Frédéric Boulanger, Dominique Marcadet, Martin Rayrole, Benoît Valiron, Safouan Taha
titre
A time synchronization protocol for A664-P7
article
Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-01890134/file/conference_041818.pdf BibTex
auteur
Vassil Todorov, Frédéric Boulanger, Safouan Taha
titre
Formal verification of automotive embedded software
article
FORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01768687/file/article-auteur.pdf BibTex
auteur
Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger
titre
Qualitative Simulation of Hybrid Systems with an Application to SysML Models
article
6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006535202790286⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-01707264/file/article_modelsaward_2018.pdf BibTex
auteur
David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
titre
Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation
article
CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.9-1 - 9-5
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01821675/file/main.pdf BibTex
auteur
Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger
titre
A New Qualitative Language for Qualitative Simulation
article
International Symposium on Computer Science and Intelligent Control, Sep 2018, Stockholm, Sweden
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-01890473/file/article_ISCSIC_2018.pdf BibTex

2017

Conference papers

auteur
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
titre
A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing
article
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⟩
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-01583815/file/article.pdf BibTex

2016

Conference papers

auteur
Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frédéric Boulanger
titre
A New Approach of Qualitative Simulation for the Validation of Hybrid Systems
article
GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016, Julien DeAntoni, Jeff Gray, Eugene Syriani, Oct 2016, Saint Malo, France
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-01398735/file/article-final.pdf BibTex
auteur
Rachida Seghiri, Frédéric Boulanger, Claire Lecocq, Vincent Godefroy
titre
An executable model driven framework for enterprise architecture application to the Smart Grids context
article
HICSS 2016 : 49th Hawaii International Conference on System Sciences, Jan 2016, Koloa, Hawaii, United States. pp.4546 - 4555, ⟨10.1109/HICSS.2016.565⟩
Accès au bibtex
BibTex

2015

Conference papers

auteur
Rachida Seghiri, Frédéric Boulanger, Claire Lecocq, Vincent Godefroy
titre
Simulation des Systèmes d'Information des Smart Grids - Une approche par points de vue
article
XXXIIIème Congrès INFORSID, May 2015, Biarritz, France. pp.65-80
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-01239680/file/2015_Inforsid.pdf BibTex
auteur
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye
titre
Towards a formal semantics of the TESL specification language
article
3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-01239669/file/article.pdf BibTex

2014

Conference papers

auteur
Rachida Seghiri, Frédéric Boulanger, Vincent Godefroy, Claire Lecocq
titre
Simulation orientée utilisateur des Systèmes d'Information des Smart Grids
article
CIEL 2014 : 3ème Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.86 - 87
Accès au bibtex
BibTex
auteur
Daniel Chaves Café, Cécile Hardebolle, Christophe Jacquet, Filipe Vinci dos Santos, Frédéric Boulanger
titre
Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS
article
MPM 2014, Daniel Balasubramanian; Christophe Jacquet; Pieter Van Gorp; Sahar Kokaly; Tamás Mészáros, Sep 2014, Valencia, Spain. pp.11-20
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-01076425/file/paper2.pdf BibTex
auteur
Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger
titre
ModHel'X, un outil expérimental pour la modélisation multi-paradigmes
article
CIEL 2014, Jun 2014, Paris, France. pp.115-118
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-01079975/file/jacquet2014ciel.pdf BibTex
auteur
Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan
titre
TESL: A language for reconciling heterogeneous execution traces
article
ACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. pp.114 - 123, ⟨10.1109/MEMCOD.2014.6961849⟩
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-01100179/file/memocode.pdf BibTex
auteur
Daniel Chaves Café, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger
titre
Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS
article
CIEL 2014, Jun 2014, Paris, France. pp.11-20
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-01079973/file/cafe2014ciel.pdf BibTex

Book sections

auteur
Frédéric Boulanger
titre
Modélisation multiparadigme pour la conception des systèmes
article
Modélisations, Simulations, Systèmes complexes, Éditions Matériologiques, pp.703-724, 2014, 978-2-919694-72-3
Accès au bibtex
BibTex

Directions of work or proceedings

auteur
Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal
titre
Complex Systems Design & Management
article
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⟩
Accès au bibtex
BibTex

2013

Conference papers

auteur
Christophe Jacquet, Ahmed Mohamed, Frédéric Boulanger, Cécile Hardebolle, Yacine Bellik
titre
Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent Environments
article
MRT 2013, Sep 2013, Miami, United States. pp.52-63
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00905275/file/mrt.pdf BibTex
auteur
Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Ayman Dogui
titre
Heterogeneous Model Composition in ModHel'X: the Power Window Case Study
article
Workshop on the Globalization of Modeling Languages at MODELS 2013, Sep 2013, Miami, United States
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00905075/file/PowerWindowModel.pdf BibTex
auteur
Chouh Hamza, Callon Charlotte, Jalal Ghita, Frédéric Boulanger, Safouan Taha
titre
Modeling and Verification of Redundancy Policies
article
ACESMB 2013, Sep 2013, MIAMI, United States. 10p
Accès au bibtex
BibTex
auteur
Bart Meyers, Joachim Denil, Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Hans Vangheluwe
titre
A DSL for Explicit Semantic Adaptation
article
MPM 2013, Sep 2013, Miami, United States. pp.47-56
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00875798/file/paper_5.pdf BibTex
auteur
Benoit Combemale, Julien Deantoni, Robert France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
titre
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)
article
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
Accès au bibtex
BibTex
auteur
Daniel Chaves Café, Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Filipe Vinci dos Santos
titre
Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMS
article
FDL 2013, Sep 2013, Paris, France. 7 p
Accès au bibtex
BibTex

2012

Journal articles

auteur
Marc Aiguier, Frédéric Boulanger, Bilal Kanso
titre
A formal abstract framework for modelling and testing complex software systems
article
Theoretical Computer Science, Elsevier, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782372/file/root.pdf BibTex

Conference papers

auteur
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston
titre
Testing of component-based systems
article
2012 19th Asia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, Hong Kong SAR China. pp.300-305, ⟨10.1109/APSEC.2012.40⟩
Accès au bibtex
BibTex
auteur
Frédéric Boulanger, Michalis Famelis, Frédéric Fondement, Lucio Levi, Stephan Weißleder
titre
MoDeVVa 2012 workshop summary
article
Model-Driven Engineering, Verification and Validation (MoDeVVa '12), Sep 2012, Innsbruck, Austria. pp.3-4, ⟨10.1145/2427376.2427377⟩
Accès au bibtex
BibTex
auteur
Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry
titre
Bridging the Chasm between Executable Metamodeling and Models of Computation
article
5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00905067/file/2012BridgingTheChasm.pdf BibTex
auteur
Romuald Deshayes, Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger, Tom Mens
titre
Heterogeneous Modeling of Gesture-Based 3D Applications
article
6th International Workshop on Multi-Paradigm Modeling (MPM'12), Oct 2012, Innsbruck, Austria. pp.6, ⟨10.1145/2508443.2508447⟩
Accès au bibtex
BibTex
auteur
Marc Aiguier, Bilal Kanso, Frédéric Boulanger, Christophe Gaston
titre
Testing of component-based systems
article
19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782889/file/apsec2012_submission_159.pdf BibTex

Book sections

auteur
Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan
titre
Semantic Adaptation using CCSL Clock Constraints
article
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⟩
Accès au bibtex
BibTex

2011

Conference papers

auteur
Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan
titre
Semantic Adaptation using CCSL Clock Constraints
article
The 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p
Accès au bibtex
BibTex
auteur
Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet
titre
Semantic Adaptation for Models of Computation
article
Eleventh International Conference on Application of Concurrency to System Design - ACSD 2011, Jun 2011, Newcastle, United Kingdom. pp.153-162
Accès au bibtex
BibTex

Habilitation à diriger des recherches

auteur
Frédéric Boulanger
titre
Modèles, systèmes, hétérogénéité
article
Modélisation et simulation. Université Paris Sud - Paris XI, 2011
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00657869/file/Bou2011HdR.pdf BibTex

2010

Journal articles

auteur
Tudor B. Ionescu, Géraldine Polaillon, Frédéric Boulanger
titre
Minimum Tree Cost Quartet Puzzling
article
Journal of Classification, Springer Verlag, 2010, 27 (2), pp.136-157. ⟨10.1007/s00357-010-9053-9⟩
Accès au bibtex
BibTex

Conference papers

auteur
Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard
titre
Extending the Standard Execution Model of UML for Real-Time Systems
article
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
Accès au bibtex
BibTex
auteur
Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard
titre
Extending the Standard Execution Model of UML for Real-Time Systems
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01054487/file/final_004.pdf BibTex
auteur
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
titre
Testing of Abstract Components
article
ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198
Accès au texte intégral et bibtex
https://hal-ecp.archives-ouvertes.fr/hal-00782893/file/main.pdf BibTex

Book sections

auteur
Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Elyes Rouis
titre
Modeling Heterogeneous Points of View with ModHel'X
article
S. Ghosh. Models in Software Engineering, Springer-Verlag, pp.310-324, 2010
Accès au bibtex
BibTex

2009

Journal articles

auteur
Cécile Hardebolle, Frédéric Boulanger
titre
Exploring Multi-Paradigm Modeling Techniques
article
SIMULATION, SAGE Publications, 2009, 85 (11/12), pp. 688-708. ⟨10.1177/0037549709105240⟩
Accès au bibtex
BibTex
auteur
Cécile Hardebolle, Frédéric Boulanger
titre
Multi-Formalism Modelling and Model Execution
article
International of Journal Computers & Applications, 2009, 31 (3), pp. 193-203
Accès au bibtex
BibTex
auteur
Mohamed Feredj, Frédéric Boulanger, Aimé Mokhoo Mbobi
titre
A model of domain-polymorph component for heterogeneous system design
article
Journal of Systems and Software, Elsevier, 2009, 82, pp. 112-120
Accès au bibtex
BibTex

Conference papers

auteur
Frédéric Boulanger, Christophe Jacquet, Elyes Rouis, Cécile Hardebolle
titre
Modeling Heterogeneous Points of View with ModHel'X
article
NFPinDSML 2009, Oct 2009, Denver, United States. 14 p
Accès au bibtex
BibTex

2008

Journal articles

auteur
Frédéric Boulanger
titre
Integration of Dependability Features in a Synchronous Application
article
International Review on Computers and Software (IRECOS), Praise Worthy Prize, 2008, 3 (1), pp.31-37
Accès au bibtex
BibTex

Conference papers

auteur
Frédéric Boulanger, Cécile Hardebolle
titre
Simulation of Multi-Formalism Models with ModHel'X
article
International Conference on Software Testing, Verification and Validation. (ICST 2008), Apr 2008, Lillehammer, Norway. pp.318-327
Accès au bibtex
BibTex
auteur
Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet
titre
From Data to Events: Checking Properties on the Control of a System
article
ACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26
Accès au bibtex
BibTex
auteur
Ahcène Bouzoualegh, Frédéric Boulanger, Christophe Jacquet, Dominique Marcadet
titre
An Architecture Description Language for Verification in Component-Based Software
article
32nd Annual IEEE International Computer Software and Applications Conference. (COMPSAC 2008)., Jul 2008, Turku, Finland. pp.365-368, ⟨10.1109/Compsac.2008.107⟩
Accès au bibtex
BibTex

Book sections

auteur
Cécile Hardebolle, Frédéric Boulanger
titre
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
article
Models in Software Engineering, Springer, pp.247-258, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-69073-3_26⟩
Accès au bibtex
BibTex

2007

Journal articles

auteur
Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj
titre
An Approach of Flat Heterogeneous Modeling based on Heterogeneous Interface Components
article
International Review on Computers and Software (IRECOS), Praise Worthy Prize, 2007, 2 (2), pp.179-189
Accès au bibtex
BibTex

Conference papers

auteur
Frédéric Boulanger, Géraldine Polaillon, Dorin Carstoiu, Alexandra Cernian, Stefan Bodea
titre
Organizing Web Search Results Using Clustering By Compression
article
IADIS INTERNATIONAL CONFERENCE e-SOCIETY 2007, Mar 2007, Lisbon, Portugal. pp.419-423
Accès au bibtex
BibTex
auteur
Cécile Hardebolle, Frédéric Boulanger
titre
ModHel'X : A Component-Oriented Approach to Multi-Formalism Modeling
article
IEEE/ACM MPM 2007 - MODELS 2007, Oct 2007, Nashville, United States. pp.49-60
Accès au bibtex
BibTex
auteur
Cécile Hardebolle, Dominique Marcadet, Frédéric Boulanger, Guy Vidal Naquet
titre
A Generic Execution Framework for Models of Computation
article
MOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54
Accès au bibtex
BibTex

2006

Conference papers

auteur
Frédéric Boulanger, Mokhoo Aimé Mbobi
titre
Le paradigme acteur dans la modélisation des systèmes embarqués
article
2006 IEEE Canadian Conference on Electrical and Computer Engineering. (CCECE 2006), May 2006, Ottawa, Canada. pp.418-421
Accès au bibtex
BibTex
auteur
Frédéric Boulanger, Guy Vidal-Naquet
titre
A Primitive Execution Model for Heterogeneous Modeling
article
ICSOFT 2006, Sep 2006, Setubal, Portugal. pp.247-252
Accès au bibtex
BibTex
auteur
Frédéric Boulanger, Mokhoo Aimé Mbobi
titre
An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems
article
2006 International Symposium on Collaborative Technologies and Systems. (CTS2006), May 2006, Las Vegas, United States. pp.194-199, ⟨10.1109/CTS.2006.15⟩
Accès au bibtex
BibTex

2005

Conference papers

auteur
Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj
titre
Issues of Hierarchical Heterogeneous Modeling in Component Reusability
article
IEEE International Conference on Information Reuse and Integration (IEEE IRI 2005), Aug 2005, Las Vegas, United States. pp.84-89
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00260795/file/MboBouFerIRI2005.pdf BibTex
auteur
Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj
titre
Integration of a Flat Heterogeneous Domain in Ptolemy II
article
The Sixth Biennal Ptolemy Conference, May 2005, Berleley, United States
Accès au bibtex
BibTex

2004

Conference papers

auteur
Frédéric Boulanger, Mohamed Feredj, Aimé Mokhoo Mbobi
titre
Flat Heterogeneous Modeling
article
International Conference on Advances in the Internet, Processing, Systems, and Interdisciplinary Research (IPSI 2004), Nov 2004, Venise, Italy. CD-ROM - 7 p
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00261525/file/BouMboFerIPSI2004.pdf BibTex
auteur
Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj
titre
Execution Model for Non-Hierarchical Heterogeneous Modeling
article
IEEE International Conference on Information Reuse and Integration. (IEEE IRI 2004), Nov 2004, Las Vegas, United States. pp.139-144
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00261594/file/MboBouFerIRI2004.pdf BibTex
auteur
Mohamed Feredj, Frédéric Boulanger, Aimé Mokhoo Mbobi
titre
An Approach of Domain Polymorph Component Design
article
IEEE International Conference on Information Reuse and Integration. (IEEE IRI 2004), Nov 2004, Las Vegas, United States. pp.145-150
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00262344/file/FerBouMboIRI2004.pdf BibTex