- 34
- 14
- 8
- 7
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Frédéric Boulanger
80
Documents
Identifiants chercheurs
- frederic-boulanger
- 0000-0003-3185-2807
- IdRef : 132922029
Présentation
Publications
- 17
- 16
- 16
- 8
- 7
- 7
- 6
- 6
- 5
- 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
- 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
- 1
- 1
- 5
- 1
- 2
- 8
- 5
- 5
- 1
- 2
- 2
- 7
- 6
- 6
- 3
- 5
- 4
- 5
- 4
- 3
- 2
- 3
Belief Revision TheoryArchive of Fomal Proofs, 2021, https://www.isa-afp.org/entries/Belief_Revision.html
Article dans une revue
hal-04495393v1
|
|
|
Timed Discrete-Event Simulation of Aviation ScenariosSNE Simulation Notes Europe, 2020, 30 (2), pp.51-60. ⟨10.11128/sne.30.tn.10512⟩
Article dans une revue
hal-02881889v1
|
|
PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOTSystem Informatics, 2019, 14, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩
Article dans une revue
hal-02322645v1
|
|
Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square RootModeling and Analysis of Information Systems, 2019, 26 (4), pp.520-533. ⟨10.18255/1818-1015-2019-4-520-533⟩
Article dans une revue
hal-02668283v1
|
A Formal Development of a Polychronous Polytimed Coordination LanguageArchive of Formal Proofs, 2019, https://www.isa-afp.org/entries/TESL_Language.html
Article dans une revue
hal-04495414v1
|
|
|
A formal abstract framework for modelling and testing complex software systemsTheoretical Computer Science, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩
Article dans une revue
hal-00782372v1
|
Minimum Tree Cost Quartet PuzzlingJournal of Classification, 2010, 27 (2), pp.136-157. ⟨10.1007/s00357-010-9053-9⟩
Article dans une revue
hal-00530627v1
|
|
Multi-Formalism Modelling and Model ExecutionInternational of Journal Computers & Applications, 2009, 31 (3), pp. 193-203
Article dans une revue
hal-00421169v1
|
|
A model of domain-polymorph component for heterogeneous system designJournal of Systems and Software, 2009, 82, pp. 112-120
Article dans une revue
hal-00340670v1
|
|
Exploring Multi-Paradigm Modeling TechniquesSIMULATION: Transactions of The Society for Modeling and Simulation International, 2009, 85 (11/12), pp. 688-708. ⟨10.1177/0037549709105240⟩
Article dans une revue
hal-00437782v1
|
|
Integration of Dependability Features in a Synchronous ApplicationInternational Review on Computers and Software (IRECOS), 2008, 3 (1), pp.31-37
Article dans une revue
hal-00288619v1
|
|
An Approach of Flat Heterogeneous Modeling based on Heterogeneous Interface ComponentsInternational Review on Computers and Software (IRECOS), 2007, 2 (2), pp.179-189
Article dans une revue
hal-00256002v1
|
|
Qualitative Reasoning and Design Space ExplorationMODELSWARD 2024, INSTICC, Feb 2024, Rome, Italy
Communication dans un congrès
hal-04452208v1
|
|
An incremental diagnosis algorithm of human erroneous decision making2nd International Conference on Human and Artificial Rationalities, Sep 2023, Paris, France
Communication dans un congrès
hal-04188221v1
|
|
Abstraction qualitative et surveillance de systèmes cyber-physiquesModélisation des Systèmes Réactifs, Nov 2023, Toulouse, France
Communication dans un congrès
hal-04255640v1
|
|
Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulationMoDeVVa 2023 - 20th workshop on model driven engineering, verification and validation, Oct 2023, Västerås [Sweden], Sweden
Communication dans un congrès
hal-04188239v1
|
|
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
Communication dans un congrès
hal-04188249v1
|
|
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
Communication dans un congrès
hal-04465222v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
hal-03377541v1
|
|
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⟩
Communication dans un congrès
hal-02931401v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-02530289v1
|
|
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⟩
Communication dans un congrès
hal-02931403v1
|
|
Diagnostiquer les biais cognitifsRencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA), 2020, Angers (virtuel), France
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-02322576v1
|
|
A New Qualitative Language for Qualitative SimulationInternational Symposium on Computer Science and Intelligent Control, Sep 2018, Stockholm, Sweden
Communication dans un congrès
hal-01890473v1
|
|
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⟩
Communication dans un congrès
hal-01707264v1
|
|
A time synchronization protocol for A664-P7Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès
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
Communication dans un congrès
hal-01821675v1
|
|
Formal verification of automotive embedded softwareFORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩
Communication dans un congrès
hal-01768687v1
|
|
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⟩
Communication dans un congrès
hal-01583815v1
|
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⟩
Communication dans un congrès
hal-01303436v1
|
|
|
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
Communication dans un congrès
hal-01398735v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
hal-01239669v1
|
|
ModHel'X, un outil expérimental pour la modélisation multi-paradigmesCIEL 2014, Jun 2014, Paris, France. pp.115-118
Communication dans un congrès
hal-01079975v1
|
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
Communication dans un congrès
hal-01263327v1
|
|
|
Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMSCIEL 2014, Jun 2014, Paris, France. pp.11-20
Communication dans un congrès
hal-01079973v1
|
|
TESL: A language for reconciling heterogeneous execution tracesACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. pp.114 - 123, ⟨10.1109/MEMCOD.2014.6961849⟩
Communication dans un congrès
hal-01100179v1
|
|
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
Communication dans un congrès
hal-01076425v1
|
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
Communication dans un congrès
hal-00926244v1
|
|
Modeling and Verification of Redundancy PoliciesACESMB 2013, Sep 2013, MIAMI, United States. 10p
Communication dans un congrès
hal-00905551v1
|
|
|
A DSL for Explicit Semantic AdaptationMPM 2013, Sep 2013, Miami, United States. pp.47-56
Communication dans un congrès
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
Communication dans un congrès
hal-00905075v1
|
|
Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent EnvironmentsMRT 2013, Sep 2013, Miami, United States. pp.52-63
Communication dans un congrès
hal-00905275v1
|
Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMSFDL 2013, Sep 2013, Paris, France. 7 p
Communication dans un congrès
hal-00838859v1
|
|
|
Testing of component-based systems19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6
Communication dans un congrès
hal-00782889v1
|
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⟩
Communication dans un congrès
hal-00761613v1
|
|
MoDeVVa 2012 workshop summaryModel-Driven Engineering, Verification and Validation (MoDeVVa '12), Sep 2012, Innsbruck, Austria. pp.3-4, ⟨10.1145/2427376.2427377⟩
Communication dans un congrès
hal-00783297v1
|
|
|
Bridging the Chasm between Executable Metamodeling and Models of Computation5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Communication dans un congrès
hal-00905067v1
|
Semantic Adaptation using CCSL Clock ConstraintsThe 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p
Communication dans un congrès
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
Communication dans un congrès
hal-00605273v1
|
|
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
Communication dans un congrès
hal-00534388v1
|
|
|
Testing of Abstract ComponentsICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198
Communication dans un congrès
hal-00782893v1
|
|
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⟩
Communication dans un congrès
hal-01054487v1
|
Modeling Heterogeneous Points of View with ModHel'XNFPinDSML 2009, Oct 2009, Denver, United States. 14 p
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00334977v1
|
|
From Data to Events: Checking Properties on the Control of a SystemACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26
Communication dans un congrès
hal-00289103v1
|
|
Simulation of Multi-Formalism Models with ModHel'XInternational Conference on Software Testing, Verification and Validation. (ICST 2008), Apr 2008, Lillehammer, Norway. pp.318-327
Communication dans un congrès
hal-00289188v1
|
|
ModHel'X : A Component-Oriented Approach to Multi-Formalism ModelingIEEE/ACM MPM 2007 - MODELS 2007, Oct 2007, Nashville, United States. pp.49-60
Communication dans un congrès
hal-00256338v1
|
|
A Generic Execution Framework for Models of ComputationMOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54
Communication dans un congrès
hal-00256116v1
|
|
Organizing Web Search Results Using Clustering By CompressionIADIS INTERNATIONAL CONFERENCE e-SOCIETY 2007, Mar 2007, Lisbon, Portugal. pp.419-423
Communication dans un congrès
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
Communication dans un congrès
hal-00258299v1
|
|
A Primitive Execution Model for Heterogeneous ModelingICSOFT 2006, Sep 2006, Setubal, Portugal. pp.247-252
Communication dans un congrès
hal-00258105v1
|
|
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⟩
Communication dans un congrès
hal-00258288v1
|
|
|
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
Communication dans un congrès
hal-00260795v1
|
Integration of a Flat Heterogeneous Domain in Ptolemy IIThe Sixth Biennal Ptolemy Conference, May 2005, Berleley, United States
Communication dans un congrès
hal-00260783v1
|
|
|
Flat Heterogeneous ModelingInternational 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-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
Communication dans un congrès
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
Communication dans un congrès
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⟩
Ouvrages
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⟩
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
hal-00740801v1
|
|
Modeling Heterogeneous Points of View with ModHel'XS. Ghosh. Models in Software Engineering, Springer-Verlag, pp.310-324, 2010
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
hal-00554780v1
|
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
Brevet
hal-04495337v1
|
|
Modèles, systèmes, hétérogénéitéModélisation et simulation. Université Paris Sud - Paris XI, 2011
HDR
tel-00657869v1
|