Safouan Taha

safouan.taha [at] centralesupelec.fr

Publications :

  • Article in a review - 9 documents
  • Communication on a congress - 21 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-04188221)
    • 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-03752151)
    • 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-03377541)
    • Valentin Fouillard, Safouan Taha, Nicolas Sabouret, Frédéric Boulanger. Diagnostiquer les biais cognitifs, 2020. (https://hal.science/hal-03195524)
    • 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-02322576)
    • 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-01890134)
    • Vassil Todorov, Frédéric Boulanger, Safouan Taha. Formal verification of automotive embedded software, 2018-06-02. (https://hal.science/hal-01768687)
    • 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-01239669)
    • 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-00905551)
    • 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-00912628)
    • 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-00831526)
    • 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-00831534)
    • 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-00931649)
    • 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-00931093)
    • 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-00974765)
    • Bilal Kanso, Safouan Taha. Temporal Constraint Support for OCL, 2012-09-25. (https://centralesupelec.hal.science/hal-00762150)
    • 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-00953275)
    • 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-00640312)
    • 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-00526737)
    • 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-00534388)
    • 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-01054487)
  • Report - 1 document
  • Work chapter - 2 documents
  • 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-04495337)