Safouan Taha
Laboratoire Laboratoire Méthodes Formelles
safouan.taha [at] centralesupelec.fr
Publications :
- Article dans une revue - 9 documents
- Benoit Ballenghien, Safouan Taha, Burkhart Wolff. HOL-CSPM - Architectural operators for HOL-CSP, 2023-12-03. (https://hal.science/hal-04503778v1)
- Paolo Crisafulli, Safouan Taha, Burkhart Wolff. Modeling and analysing Cyber–Physical Systems in HOL-CSP, 2023-10-13. (https://hal.science/hal-04265879v1)
- Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret. Belief Revision Theory, 2021-10-19. (https://centralesupelec.hal.science/hal-04495393v1)
- Safouan Taha, Burkhart Wolff, Lina Ye. The HOL-CSP Refinement Toolkit, 2020-11-19. (https://hal.science/hal-04503821v1)
- Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root, 2019-12-27. (https://centralesupelec.hal.science/hal-02668283v1)
- Safouan Taha, Burkhart Wolff, Lina Ye. HOL-CSP Version 2.0, 2019-04-26. (https://hal.science/hal-04503825v1)
- Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT, 2019. (https://centralesupelec.hal.science/hal-02322645v1)
- Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Castillos, Bilal Kanso. A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns, 2015. (https://hal.science/hal-01228335v1)
- Bilal Kanso, Safouan Taha. Specification of temporal properties with OCL, 2014-12. (https://centralesupelec.hal.science/hal-01103375v1)
- Communication dans un congrès - 24 documents
- Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger. An incremental diagnosis algorithm of human erroneous decision making, 2023-09-19. (https://hal.science/hal-04188221v1)
- Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger. Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines, 2022-06-27. (https://hal.science/hal-03752151v1)
- Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger. Catching cognitive biases in an erroneous decision making process, 2021-10-17. (https://hal.science/hal-03505246v1)
- Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger. Capturer les biais cognitifs dans un processus de prise de décision erroné, 2021-10-13. (https://hal.science/hal-03377541v1)
- Safouan Taha, Burkhart Wolff, Lina Ye. Philosophers may Dine - Definitively!, 2020-11-16. (https://hal.science/hal-03134972v1)
- Vassil Todorov, Safouan Taha, Frédéric Boulanger. Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking, 2020-05-11. (https://centralesupelec.hal.science/hal-02956436v1)
- Valentin Fouillard, Safouan Taha, Nicolas Sabouret, Frédéric Boulanger. Diagnostiquer les biais cognitifs, 2020. (https://hal.science/hal-03195524v1)
- Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. Improved Invariant Generation for Industrial Software Model Checking of Time Properties, 2019-07-22. (https://centralesupelec.hal.science/hal-02322576v1)
- Frédéric Boulanger, Dominique Marcadet, Martin Rayrole, Benoît Valiron, Safouan Taha. A time synchronization protocol for A664-P7, 2018-09-27. (https://centralesupelec.hal.science/hal-01890134v1)
- Vassil Todorov, Frédéric Boulanger, Safouan Taha. Formal verification of automotive embedded software, 2018-06-02. (https://hal.science/hal-01768687v1)
- Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye. Towards a formal semantics of the TESL specification language, 2015-09-28. (https://centralesupelec.hal.science/hal-01239669v1)
- Chouh Hamza, Callon Charlotte, Jalal Ghita, Frédéric Boulanger, Safouan Taha. Modeling and Verification of Redundancy Policies, 2013-09-29. (https://centralesupelec.hal.science/hal-00905551v1)
- Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha. A Compositional Automata-Based Semantics for Property Patterns, 2013-06-10. (https://centralesupelec.hal.science/hal-00831526v1)
- Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha, Bilal Kanso. A Compositional Automata-based Semantics for Property Patterns, 2013-06-10. (https://inria.hal.science/hal-00912628v1)
- Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool, 2013-03-18. (https://centralesupelec.hal.science/hal-00831534v1)
- Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool, 2013-01-01. (https://hal.science/hal-00931649v1)
- Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha. A Compositional Automata-based Semantics for Property Patterns, 2013-01-01. (https://hal.science/hal-00931093v1)
- Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie Du Bousquet, Taha Triki, German Eduardo Vega Baez, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard. TASCCC - Project and Testing Tool (poster), 2013. (https://inria.hal.science/hal-00974765v1)
- Bilal Kanso, Safouan Taha. Temporal Constraint Support for OCL, 2012-09-25. (https://centralesupelec.hal.science/hal-00762150v1)
- Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet, Taha Triki, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Bernet Julien, David Rouillard. TASCCC - Project and Testing Tool (poster and demo), 2012. (https://inria.hal.science/hal-00953275v1)
- Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha. Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests, 2011-11-07. (https://inria.hal.science/hal-00640312v1)
- Safouan Taha, Ansgar Radermacher, Sébastien Gérard. An Entirely Model-Based Framework for Hardware Design and Simulation, 2011-09-20. (https://centralesupelec.hal.science/hal-00526737v1)
- Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard. Extending the Standard Execution Model of UML for Real-Time Systems, 2010-09-20. (https://centralesupelec.hal.science/hal-00534388v1)
- Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard. Extending the standard execution model of UML for real-time systems, 2010-09-20. (https://inria.hal.science/hal-01054487v1)
- Rapport - 1 document
- Paolo Crisafulli, Safouan Taha, Burkhart Wolff. Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP, 2021-10-21. (https://inria.hal.science/hal-03429597v2)
- PATENT - 1 document
- Martin Rayrolle, Michaël Templier, Éric Fitterer, Dominique Marcadet, Frédéric Boulanger, Safouan Taha. Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System, 2020-08-20. (https://centralesupelec.hal.science/hal-04495337v1)