- 6
- 3
- 2
- 2
- 1
- 1
- 1
Frédéric Boulanger
16
Documents
Identifiants chercheurs
- frederic-boulanger
- 0000-0003-3185-2807
- IdRef : 132922029
Présentation
Publications
- 16
- 5
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 3
- 2
- 1
- 1
- 2
Belief Revision TheoryArchive of Fomal Proofs, 2021, https://www.isa-afp.org/entries/Belief_Revision.html
Article dans une revue
hal-04495393v1
|
|
|
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
|
|
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
|
|
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
|
|
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
|
|
Diagnostiquer les biais cognitifsRencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA), 2020, Angers (virtuel), France
Communication dans un congrès
hal-03195524v1
|
|
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 time synchronization protocol for A664-P7Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès
hal-01890134v1
|
|
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
|
|
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
|
Modeling and Verification of Redundancy PoliciesACESMB 2013, Sep 2013, MIAMI, United States. 10p
Communication dans un congrès
hal-00905551v1
|
|
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
|
|
|
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
|
|
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
|
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
|