- 35
- 14
- 7
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Frédéric Boulanger
72
Documents
Researcher identifiers
frederic-boulanger
-
0000-0003-3185-2807
- IdRef : 132922029
Presentation
Publications
- 17
- 16
- 13
- 7
- 7
- 7
- 5
- 5
- 5
- 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
- 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
- 7
- 4
- 5
- 1
- 2
- 2
- 7
- 6
- 7
- 3
- 5
- 4
- 5
- 4
- 3
- 2
- 3
|
Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humainesConférence Nationale en Intelligence Artificielle 2022, Jun 2022, Saint-Etienne, France
Conference papers
hal-03752151v1
|
|
Capturer les biais cognitifs dans un processus de prise de décision erronéWACAI 2021, Centre National de la Recherche Scientifique [CNRS], Oct 2021, Saint Pierre d'Oléron, France
Conference papers
hal-03377541v1
|
|
On the Semantics of Polychronous Polytimed Specifications18th 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⟩
Conference papers
hal-02931403v1
|
|
The smart grid simulation framework: model-driven engineering applied to cyber-physical systemsMODELSWARD 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⟩
Conference papers
hal-03216723v1
|
|
A model based toolchain for the cosimulation of cyber-physical systems with FMIMODELSWARD 2020: 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.15-25, ⟨10.5220/0008875400150025⟩
Conference papers
hal-02530289v1
|
|
TESL: a Model with Metric Time for Modeling and Simulation27th International Symposium on Temporal Representation and Reasoning, Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPIcs.TIME.2020.15⟩
Conference papers
hal-02931401v1
|
|
Diagnostiquer les biais cognitifsRencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA), 2020, Angers (virtuel), France
Conference papers
hal-03195524v1
|
|
An approach to design smart grids and their IT system by cosimulationMODELSWARD 2019: 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.372 - 379, ⟨10.5220/0007407003720379⟩
Conference papers
hal-02070535v1
|
|
Improved Invariant Generation for Industrial Software Model Checking of Time Properties2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. pp.334-341, ⟨10.1109/QRS.2019.00050⟩
Conference papers
hal-02322576v1
|
|
A New Qualitative Language for Qualitative SimulationInternational Symposium on Computer Science and Intelligent Control, Sep 2018, Stockholm, Sweden
Conference papers
hal-01890473v1
|
|
Formal verification of automotive embedded softwareFORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩
Conference papers
hal-01768687v1
|
|
Qualitative Simulation of Hybrid Systems with an Application to SysML Models6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006535202790286⟩
Conference papers
hal-01707264v1
|
|
A time synchronization protocol for A664-P7Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Conference papers
hal-01890134v1
|
|
Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulationCIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.9-1 - 9-5
Conference papers
hal-01821675v1
|
|
A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. ⟨10.1007/978-3-319-65765-3_18⟩
Conference papers
hal-01583815v1
|
|
A New Approach of Qualitative Simulation for the Validation of Hybrid SystemsGEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016, Julien DeAntoni, Jeff Gray, Eugene Syriani, Oct 2016, Saint Malo, France
Conference papers
hal-01398735v1
|
An executable model driven framework for enterprise architecture application to the Smart Grids contextHICSS 2016 : 49th Hawaii International Conference on System Sciences, Jan 2016, Koloa, Hawaii, United States. pp.4546 - 4555, ⟨10.1109/HICSS.2016.565⟩
Conference papers
hal-01303436v1
|
|
|
Simulation des Systèmes d'Information des Smart Grids - Une approche par points de vueXXXIIIème Congrès INFORSID, May 2015, Biarritz, France. pp.65-80
Conference papers
hal-01239680v1
|
|
Towards a formal semantics of the TESL specification language3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Conference papers
hal-01239669v1
|
|
TESL: A language for reconciling heterogeneous execution tracesACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. pp.114 - 123, ⟨10.1109/MEMCOD.2014.6961849⟩
Conference papers
hal-01100179v1
|
|
ModHel'X, un outil expérimental pour la modélisation multi-paradigmesCIEL 2014, Jun 2014, Paris, France. pp.115-118
Conference papers
hal-01079975v1
|
|
Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMSMPM 2014, Daniel Balasubramanian; Christophe Jacquet; Pieter Van Gorp; Sahar Kokaly; Tamás Mészáros, Sep 2014, Valencia, Spain. pp.11-20
Conference papers
hal-01076425v1
|
|
Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMSCIEL 2014, Jun 2014, Paris, France. pp.11-20
Conference papers
hal-01079973v1
|
Simulation orientée utilisateur des Systèmes d'Information des Smart GridsCIEL 2014 : 3ème Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.86 - 87
Conference papers
hal-01263327v1
|
|
|
A DSL for Explicit Semantic AdaptationMPM 2013, Sep 2013, Miami, United States. pp.47-56
Conference papers
hal-00875798v1
|
|
Heterogeneous Model Composition in ModHel'X: the Power Window Case StudyWorkshop on the Globalization of Modeling Languages at MODELS 2013, Sep 2013, Miami, United States
Conference papers
hal-00905075v1
|
|
Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent EnvironmentsMRT 2013, Sep 2013, Miami, United States. pp.52-63
Conference papers
hal-00905275v1
|
Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMSFDL 2013, Sep 2013, Paris, France. 7 p
Conference papers
hal-00838859v1
|
|
Modeling and Verification of Redundancy PoliciesACESMB 2013, Sep 2013, MIAMI, United States. 10p
Conference papers
hal-00905551v1
|
|
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
Conference papers
hal-00926244v1
|
|
|
Testing of component-based systems19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6
Conference papers
hal-00782889v1
|
Testing of component-based systems2012 19th Asia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, Hong Kong SAR China. pp.300-305, ⟨10.1109/APSEC.2012.40⟩
Conference papers
hal-00761610v1
|
|
|
Bridging the Chasm between Executable Metamodeling and Models of Computation5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Conference papers
hal-00905067v1
|
Heterogeneous Modeling of Gesture-Based 3D Applications6th International Workshop on Multi-Paradigm Modeling (MPM'12), Oct 2012, Innsbruck, Austria. pp.6, ⟨10.1145/2508443.2508447⟩
Conference papers
hal-00761613v1
|
|
MoDeVVa 2012 workshop summaryModel-Driven Engineering, Verification and Validation (MoDeVVa '12), Sep 2012, Innsbruck, Austria. pp.3-4, ⟨10.1145/2427376.2427377⟩
Conference papers
hal-00783297v1
|
|
Semantic Adaptation using CCSL Clock ConstraintsThe 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p
Conference papers
hal-00641413v1
|
|
Semantic Adaptation for Models of ComputationEleventh International Conference on Application of Concurrency to System Design - ACSD 2011, Jun 2011, Newcastle, United Kingdom. pp.153-162
Conference papers
hal-00605273v1
|
|
|
Testing of Abstract ComponentsICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198
Conference papers
hal-00782893v1
|
Extending the Standard Execution Model of UML for Real-Time Systems7th 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
Conference papers
hal-00534388v1
|
|
|
Extending the standard execution model of UML for real-time systems7th 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⟩
Conference papers
hal-01054487v1
|
Modeling Heterogeneous Points of View with ModHel'XNFPinDSML 2009, Oct 2009, Denver, United States. 14 p
Conference papers
hal-00444504v1
|
|
An Architecture Description Language for Verification in Component-Based Software32nd Annual IEEE International Computer Software and Applications Conference. (COMPSAC 2008)., Jul 2008, Turku, Finland. pp.365-368, ⟨10.1109/Compsac.2008.107⟩
Conference papers
hal-00334977v1
|
|
Simulation of Multi-Formalism Models with ModHel'XInternational Conference on Software Testing, Verification and Validation. (ICST 2008), Apr 2008, Lillehammer, Norway. pp.318-327
Conference papers
hal-00289188v1
|
|
From Data to Events: Checking Properties on the Control of a SystemACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26
Conference papers
hal-00289103v1
|
|
A Generic Execution Framework for Models of ComputationMOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54
Conference papers
hal-00256116v1
|
|
ModHel'X : A Component-Oriented Approach to Multi-Formalism ModelingIEEE/ACM MPM 2007 - MODELS 2007, Oct 2007, Nashville, United States. pp.49-60
Conference papers
hal-00256338v1
|
|
Organizing Web Search Results Using Clustering By CompressionIADIS INTERNATIONAL CONFERENCE e-SOCIETY 2007, Mar 2007, Lisbon, Portugal. pp.419-423
Conference papers
hal-00232719v1
|
|
Le paradigme acteur dans la modélisation des systèmes embarqués2006 IEEE Canadian Conference on Electrical and Computer Engineering. (CCECE 2006), May 2006, Ottawa, Canada. pp.418-421
Conference papers
hal-00258299v1
|
|
An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems2006 International Symposium on Collaborative Technologies and Systems. (CTS2006), May 2006, Las Vegas, United States. pp.194-199, ⟨10.1109/CTS.2006.15⟩
Conference papers
hal-00258288v1
|
|
A Primitive Execution Model for Heterogeneous ModelingICSOFT 2006, Sep 2006, Setubal, Portugal. pp.247-252
Conference papers
hal-00258105v1
|
|
Integration of a Flat Heterogeneous Domain in Ptolemy IIThe Sixth Biennal Ptolemy Conference, May 2005, Berleley, United States
Conference papers
hal-00260783v1
|
|
|
Issues of Hierarchical Heterogeneous Modeling in Component ReusabilityIEEE International Conference on Information Reuse and Integration (IEEE IRI 2005), Aug 2005, Las Vegas, United States. pp.84-89
Conference papers
hal-00260795v1
|
|
Flat Heterogeneous ModelingInternational Conference on Advances in the Internet, Processing, Systems, and Interdisciplinary Research (IPSI 2004), Nov 2004, Venise, Italy. CD-ROM - 7 p
Conference papers
hal-00261525v1
|
|
Execution Model for Non-Hierarchical Heterogeneous ModelingIEEE International Conference on Information Reuse and Integration. (IEEE IRI 2004), Nov 2004, Las Vegas, United States. pp.139-144
Conference papers
hal-00261594v1
|
|
An Approach of Domain Polymorph Component DesignIEEE International Conference on Information Reuse and Integration. (IEEE IRI 2004), Nov 2004, Las Vegas, United States. pp.145-150
Conference papers
hal-00262344v1
|
Complex Systems Design & ManagementSpringer International Publishing, 2014, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, ⟨10.1007/978-3-319-02812-5⟩
Books
hal-02750247v1
|
|
Specification Quality Metrics Based on Mutation and Inductive Incremental Model CheckingNASA 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⟩
Book sections
hal-02956436v1
|
Modélisation multiparadigme pour la conception des systèmesModélisations, Simulations, Systèmes complexes, 22, Éditions Matériologiques, pp.703-724, 2014, 978-2-919694-72-3
Book sections
hal-01792166v1
|
|
Semantic Adaptation using CCSL Clock ConstraintsJö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⟩
Book sections
hal-00740801v1
|
|
Modeling Heterogeneous Points of View with ModHel'XS. Ghosh. Models in Software Engineering, Springer-Verlag, pp.310-324, 2010
Book sections
hal-00534407v1
|
|
ModHel'X: A Component-Oriented Approach to Multi-Formalism ModelingModels in Software Engineering, Springer, pp.247-258, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-69073-3_26⟩
Book sections
hal-00554780v1
|
|
Modèles, systèmes, hétérogénéitéModélisation et simulation. Université Paris Sud - Paris XI, 2011
Habilitation à diriger des recherches
tel-00657869v1
|