Safouan Taha
Laboratoire Laboratoire de Recherche en Informatique
Safouan.Taha [at] centralesupelec.fr
Publications :
- Work chapter - 2 documents
- Safouan Taha, Burkhart Wolff, Lina Ye. Philosophers may Dine - Definitively!, 2020-11-17. (https://hal.archives-ouvertes.fr/hal-03134972)
- Vassil Todorov, Safouan Taha, Frédéric Boulanger. Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking, 2020-08-10. (https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436)
- Article in a review - 4 documents
- 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://hal-centralesupelec.archives-ouvertes.fr/hal-02668283)
- 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://hal-centralesupelec.archives-ouvertes.fr/hal-02322645)
- 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.archives-ouvertes.fr/hal-01228335)
- Bilal Kanso, Safouan Taha. Specification of temporal properties with OCL, 2014-12. (https://hal-supelec.archives-ouvertes.fr/hal-01103375)
- Communication on a congress - 15 documents
- 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://hal-centralesupelec.archives-ouvertes.fr/hal-02322576)
- 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://hal-centralesupelec.archives-ouvertes.fr/hal-01239669)
- Chouh Hamza, Callon Charlotte, Jalal Ghita, Frédéric Boulanger, Safouan Taha. Modeling and Verification of Redundancy Policies, 2013-09-29. (https://hal-supelec.archives-ouvertes.fr/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://hal.inria.fr/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://hal-supelec.archives-ouvertes.fr/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://hal-supelec.archives-ouvertes.fr/hal-00831534)
- Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie 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://hal.inria.fr/hal-00974765)
- 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.archives-ouvertes.fr/hal-00931093)
- 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.archives-ouvertes.fr/hal-00931649)
- Bilal Kanso, Safouan Taha. Temporal Constraint Support for OCL, 2012-09-25. (https://hal-supelec.archives-ouvertes.fr/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://hal.inria.fr/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://hal.inria.fr/hal-00640312)
- Safouan Taha, Ansgar Radermacher, Sébastien Gérard. An Entirely Model-Based Framework for Hardware Design and Simulation, 2011-09-20. (https://hal-supelec.archives-ouvertes.fr/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://hal.inria.fr/hal-01054487)
- 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://hal-supelec.archives-ouvertes.fr/hal-00534388)