Accéder directement au contenu

Frédéric Boulanger

16
Documents
Identifiants chercheurs

Présentation

Publications

safouan-taha
Image document

An incremental diagnosis algorithm of human erroneous decision making

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frédéric Boulanger
2nd International Conference on Human and Artificial Rationalities, Sep 2023, Paris, France
Communication dans un congrès hal-04188221v1
Image document

Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frédéric Boulanger
Conférence Nationale en Intelligence Artificielle 2022, Jun 2022, Saint-Etienne, France
Communication dans un congrès hal-03752151v1
Image document

Capturer les biais cognitifs dans un processus de prise de décision erroné

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frédéric Boulanger
WACAI 2021, Centre National de la Recherche Scientifique [CNRS], Oct 2021, Saint Pierre d'Oléron, France
Communication dans un congrès hal-03377541v1
Image document

Diagnostiquer les biais cognitifs

Valentin Fouillard , Safouan Taha , Nicolas Sabouret , Frédéric Boulanger
Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA), 2020, Angers (virtuel), France
Communication dans un congrès hal-03195524v1
Image document

Improved Invariant Generation for Industrial Software Model Checking of Time Properties

Vassil Todorov , Safouan Taha , Frédéric Boulanger , Armando Hernandez
2019 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
Image document

A time synchronization protocol for A664-P7

Frédéric Boulanger , Dominique Marcadet , Martin Rayrole , Benoît Valiron , Safouan Taha
Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès hal-01890134v1
Image document

Formal verification of automotive embedded software

Vassil Todorov , Frédéric Boulanger , Safouan Taha
FORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩
Communication dans un congrès hal-01768687v1
Image document

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Safouan Taha , Benoît Valiron
3rd 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 Policies

Chouh Hamza , Callon Charlotte , Jalal Ghita , Frédéric Boulanger , Safouan Taha
ACESMB 2013, Sep 2013, MIAMI, United States. 10p
Communication dans un congrès hal-00905551v1
Image document

Extending the standard execution model of UML for real-time systems

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frédéric Boulanger
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⟩
Communication dans un congrès hal-01054487v1

Extending the Standard Execution Model of UML for Real-Time Systems

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frédéric Boulanger
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
Communication dans un congrès hal-00534388v1
Image document

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

Vassil Todorov , Safouan Taha , Frédéric Boulanger
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⟩
Chapitre d'ouvrage hal-02956436v1