2024
Conference papers
- auteur
- Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
- titre
- Qualitative Reasoning and Design Space Exploration
- article
- MODELSWARD 2024, INSTICC, Feb 2024, Rome, Italy
- Accès au texte intégral et bibtex
-
2023
Conference papers
- auteur
- Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger
- titre
- An incremental diagnosis algorithm of human erroneous decision making
- article
- 2nd International Conference on Human and Artificial Rationalities, Sep 2023, Paris, France
- Accès au texte intégral et bibtex
-
- auteur
- Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
- titre
- Abstraction qualitative et surveillance de systèmes cyber-physiques
- article
- Modélisation des Systèmes Réactifs, Nov 2023, Toulouse, France
- Accès au texte intégral et bibtex
-
- auteur
- Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
- titre
- Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation
- article
- MoDeVVa 2023 - 20th workshop on model driven engineering, verification and validation, Oct 2023, Västerås [Sweden], Sweden
- Accès au texte intégral et bibtex
-
- auteur
- Baptiste Gueuziec, Frédéric Boulanger, Jean-Pierre Gallois
- titre
- Qualitative tendencies for hybrid system simulation
- article
- 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
- Accès au texte intégral et bibtex
-
- auteur
- Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger
- titre
- Abstraction qualitative pour l'optimisation de la surveillance des systèmes cyber-physiques.
- article
- Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France
- Accès au texte intégral et bibtex
-
2022
Conference papers
- auteur
- Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger
- titre
- Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines
- article
- Conférence Nationale en Intelligence Artificielle 2022, Jun 2022, Saint-Etienne, France
- Accès au texte intégral et bibtex
-
2021
Journal articles
- auteur
- Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret
- titre
- Belief Revision Theory
- article
- Archive of Fomal Proofs, 2021, https://www.isa-afp.org/entries/Belief_Revision.html
- Accès au bibtex
-
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
-
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, 2020, 30 (2), pp.51-60. ⟨10.11128/sne.30.tn.10512⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
Patents
- auteur
- Martin Rayrolle, Michaël Templier, Éric Fitterer, Dominique Marcadet, Frédéric Boulanger, Safouan Taha
- titre
- Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System
- article
- France, Patent n° : WO2019057941. 2020, https://patentscope.wipo.int/search/en/detail.jsf?docId=WO2019057941
- Accès au bibtex
-
2019
Journal articles
- auteur
- Frédéric Boulanger, Burkhart Wolff, Hai Nguyen Van
- titre
- A Formal Development of a Polychronous Polytimed Coordination Language
- article
- Archive of Formal Proofs, 2019, https://www.isa-afp.org/entries/TESL_Language.html
- Accès au 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, 2019, 26 (4), pp.520-533. ⟨10.18255/1818-1015-2019-4-520-533⟩
- Accès au texte intégral et 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
- System Informatics, 2019, 14, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩
- Accès au texte intégral et bibtex
-
Conference papers
- 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
-
- 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
-
2018
Conference papers
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
2016
Conference papers
- 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
-
- 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
-
2015
Conference papers
- 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
-
- 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
-
2014
Conference papers
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Book sections
- auteur
- Frédéric Boulanger
- titre
- Modélisation multiparadigme pour la conception des systèmes
- article
- Modélisations, Simulations, Systèmes complexes, 22, Éditions Matériologiques, pp.703-724, 2014, 978-2-919694-72-3
- Accès au bibtex
-
Books
- 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
-
2013
Conference papers
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩
- Accès au texte intégral et bibtex
-
Conference papers
- 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
-
- auteur
- Frédéric Boulanger, Michalis Famelis, Frédéric Fondement, Lucio Levi, Stephan Weissleder
- 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
-
- 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
-
- 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
-
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
-
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
-
- 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
-
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
-
2010
Journal articles
- auteur
- Tudor B. Ionescu, Géraldine Polaillon, Frédéric Boulanger
- titre
- Minimum Tree Cost Quartet Puzzling
- article
- Journal of Classification, 2010, 27 (2), pp.136-157. ⟨10.1007/s00357-010-9053-9⟩
- Accès au 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
-
- 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
-
- 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
-
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
-
2009
Journal articles
- 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
-
- 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, 2009, 82, pp. 112-120
- Accès au bibtex
-
- auteur
- Cécile Hardebolle, Frédéric Boulanger
- titre
- Exploring Multi-Paradigm Modeling Techniques
- article
- SIMULATION: Transactions of The Society for Modeling and Simulation International, 2009, 85 (11/12), pp. 688-708. ⟨10.1177/0037549709105240⟩
- Accès au 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
-
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), 2008, 3 (1), pp.31-37
- Accès au bibtex
-
Conference papers
- 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
-
- 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
-
- 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
-
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
-
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), 2007, 2 (2), pp.179-189
- Accès au 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
2005
Conference papers
- 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
-
- 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
-
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
-
- 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
-
- 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
-