Frédéric Boulanger
Présentation
Publications
Publications
|
|
An incremental diagnosis algorithm of human erroneous decision making2nd International Conference on Human and Artificial Rationalities, Sep 2023, Paris, France. pp.48-63, ⟨10.1007/978-3-031-55245-8_4⟩ |
|
|
Qualitative Reasoning and Design Space ExplorationMODELSWARD 2024, INSTICC, Feb 2024, Rome, Italy. pp.203-210, ⟨10.5220/0012417300003645⟩ |
|
|
Abstraction qualitative et surveillance de systèmes cyber-physiquesModélisation des Systèmes Réactifs, Nov 2023, Toulouse, France |
|
|
Abstraction qualitative pour l'optimisation de la surveillance des systèmes cyber-physiques.Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France |
|
|
Qualitative tendencies for hybrid system simulationMPM4CPS 2023 - Multi-Paradigm Modelling for Cyber-Physical Systems -26th International conference on model driven engineering languages and systems, Oct 2023, Västerås, Sweden |
|
|
Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation2023 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⟩ |
|
|
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 |
|
|
Catching cognitive biases in an erroneous decision making processIEEE International Conference on Systems, Man, and Cybernetics, Oct 2021, Melbourne (virtual), Australia. pp.3121-3127, ⟨10.1109/SMC52423.2021.9659149⟩ |
|
|
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⟩ |
|
|
Capturer les biais cognitifs dans un processus de prise de décision erronéWorkshop sur les Affects, Compagnons Artificiels et Interaction (WACAI 2021), Centre National de la Recherche Scientifique [CNRS], Oct 2021, Saint Pierre d'Oléron, France |
|
|
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⟩ |
|
|
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⟩ |
|
|
Diagnostiquer les biais cognitifsRencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA), 2020, Angers (virtuel), France |
|
|
Specification Quality Metrics Based on Mutation and Inductive Incremental Model CheckingNASA Formal Methods Symposium, May 2020, Moffett Field, United States. pp.187-203, ⟨10.1007/978-3-030-55754-6_11⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
A New Qualitative Language for Qualitative SimulationInternational Symposium on Computer Science and Intelligent Control, Sep 2018, Stockholm, Sweden |
|
|
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 |
|
|
A time synchronization protocol for A664-P7Digital Avionics Systems Conference, Sep 2018, London, United Kingdom |
|
|
Formal verification of automotive embedded softwareFORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
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 |
|
|
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 |
|
|
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 |
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 |
|
|
|
ModHel'X, un outil expérimental pour la modélisation multi-paradigmesCIEL 2014, Jun 2014, Paris, France. pp.115-118 |
|
|
TESL: A language for reconciling heterogeneous execution tracesACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. pp.114 - 123, ⟨10.1109/MEMCOD.2014.6961849⟩ |
|
|
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 |
|
|
Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMSCIEL 2014, Jun 2014, Paris, France. pp.11-20 |
|
|
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 |
|
|
Bridging the Chasm between Executable Metamodeling and Models of Computation5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203 |
|
|
Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent EnvironmentsMRT 2013, Sep 2013, Miami, United States. pp.52-63 |
Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMSFDL 2013, Sep 2013, Paris, France. 7 p |
|
|
|
A DSL for Explicit Semantic AdaptationMPM 2013, Sep 2013, Miami, United States. pp.47-56 |
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 |
|
Modeling and Verification of Redundancy PoliciesACESMB 2013, Sep 2013, MIAMI, United States. 10p |
|
MoDeVVa 2012 workshop summaryModel-Driven Engineering, Verification and Validation (MoDeVVa '12), Sep 2012, Innsbruck, Austria. pp.3-4, ⟨10.1145/2427376.2427377⟩ |
|
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⟩ |
|
|
|
Testing of component-based systems19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6 |
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 |
|
Semantic Adaptation using CCSL Clock ConstraintsThe 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p |
|
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 |
|
|
|
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⟩ |
|
|
Testing of Abstract ComponentsICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198 |
Modeling Heterogeneous Points of View with ModHel'XNFPinDSML 2009, Oct 2009, Denver, United States. 14 p |
|
From Data to Events: Checking Properties on the Control of a SystemACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26 |
|
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⟩ |
|
Simulation of Multi-Formalism Models with ModHel'XInternational Conference on Software Testing, Verification and Validation. (ICST 2008), Apr 2008, Lillehammer, Norway. pp.318-327 |
|
Organizing Web Search Results Using Clustering By CompressionIADIS INTERNATIONAL CONFERENCE e-SOCIETY 2007, Mar 2007, Lisbon, Portugal. pp.419-423 |
|
A Generic Execution Framework for Models of ComputationMOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54 |
|
ModHel'X : A Component-Oriented Approach to Multi-Formalism ModelingIEEE/ACM MPM 2007 - MODELS 2007, Oct 2007, Nashville, United States. pp.49-60 |
|
A Primitive Execution Model for Heterogeneous ModelingICSOFT 2006, Sep 2006, Setubal, Portugal. pp.247-252 |
|
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 |
|
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⟩ |
|
Integration of a Flat Heterogeneous Domain in Ptolemy IIThe Sixth Biennal Ptolemy Conference, May 2005, Berleley, United States |
|
|
|
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 |
|
|
Flat Heterogeneous ModelingInternational Conference on Advances in the Internet, Processing, Systems, and Interdisciplinary Research (IPSI 2004), Nov 2004, Venise, Italy. CD-ROM - 7 p |
|
|
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 |
|
|
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 |
|
|
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⟩ |
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 |
|
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⟩ |
|
Modeling Heterogeneous Points of View with ModHel'XS. Ghosh. Models in Software Engineering, Springer-Verlag, pp.310-324, 2010 |
|
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⟩ |
Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization SystemFrance, Patent n° : WO2019057941. 2020, https://patentscope.wipo.int/search/en/detail.jsf?docId=WO2019057941 |
|
|
Modèles, systèmes, hétérogénéitéModélisation et simulation. Université Paris Sud - Paris XI, 2011 |