Nombre de documents

17

CV de Safouan TAHA


Communication dans un congrès14 documents

  • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, et al.. Towards a formal semantics of the TESL specification language. 3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Sep 2015, Ottawa, Canada. Joint Proceedings of the GEMOC and MPM International Workshops at MODELS 2015, pp.14-19, 2015, CEUR Workshop Proceedings. <http://ceur-ws.org/Vol-1511/>. <hal-01239669>
  • Chouh Hamza, Callon Charlotte, Jalal Ghita, Frédéric Boulanger, Safouan Taha. Modeling and Verification of Redundancy Policies. ACESMB 2013, Sep 2013, MIAMI, United States. 10p., 2013. <hal-00905551>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha. A Compositional Automata-based Semantics for Property Patterns. iFM 2013, 10th International Conference on integrated Formal Methods, Jan 2013, France. pp.316 - 330, 2013. <hal-00931093>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha, Bilal Kanso. A Compositional Automata-based Semantics for Property Patterns. E.B. Johnsen and L. Petre. iFM'2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. Springer, 7940, pp.316-330, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-38613-8_22>. <hal-00912628>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha. A Compositional Automata-Based Semantics for Property Patterns. 10th International Conference on integrated Formal Methods - IFM 2013, Jun 2013, Turku, Finland. Springer, 7940, pp.316-330, 2013, LNCS. <10.1007/978-3-642-38613-8_22>. <hal-00831526>
  • Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, et al.. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. ICST2013, Mar 2013, Luxembourg, Luxembourg. pp.NC, 2013. <hal-00831534>
  • Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, et al.. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. ICST 2013, 6th Int. Conf. on Software Testing, Verification and Validation, Testing Tool track, Jan 2013, Luxembourg. pp.431 - 438, 2013. <hal-00931649>
  • Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, et al.. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool. Benoit Baudry and Alessandro Orso. ICST'2013 - IEEE Sixth International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. pp.431-438, 2013, <10.1109/ICST.2013.60>. <hal-00912639>
  • Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie Bousquet, Taha Triki, et al.. TASCCC - Project and Testing Tool (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.198, 2013. <hal-00974765>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet, Taha Triki, et al.. TASCCC - Project and Testing Tool (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241, 2012. <hal-00953275>
  • Bilal Kanso, Safouan Taha. Temporal Constraint Support for OCL. K. Czarnecki and G. Hedin (Eds.). SLE2012, Sep 2012, Dresden, Germany. Springer, pp.83-103, 2013, LNCS 7745. <hal-00762150>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha. Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests. Burkhartt Wolff and Fatiha Zaidi. 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. Springer-Verlag, 7019, pp.32-47, 2011, Lecture Notes in Computer Science; Testing Software and Systems. <10.1007/978-3-642-24580-0_4>. <hal-00640312>
  • Safouan Taha, Ansgar Radermacher, Sébastien Gérard. An Entirely Model-Based Framework for Hardware Design and Simulation. 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International conference, BICC 2010 Held as Part of WCC 2010, Sep 2011, Brisbane, Australia. SpringerLink, 329, pp.31-42, 2010, <10.1007/978-3-642-15234-4_5>. <hal-00526737>
  • Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, et al.. Extending the Standard Execution Model of UML for Real-Time Systems. 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. Springer, pp.43-54, 2010. <hal-00534388>

Article dans une revue2 documents

  • 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. FAC, Formal Aspects of Computing, 2015, 27 (4), pp.641-664. <hal-01228335>
  • Bilal Kanso, Safouan Taha. Specification of temporal properties with OCL. Science of Computer Programming, Elsevier, 2014, 96 (4), pp.527-551. <10.1016/j.scico.2014.02.029>. <hal-01103375>

Chapitre d'ouvrage1 document

  • Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, et al.. Extending the Standard Execution Model of UML for Real-Time Systems. Mike Hinchey; Bernd Kleinjohann; Lisa Kleinjohann; Peter A. Lindsay; Franz J. Rammig; Jon Timmis; Marilyn Wolf. Distributed, Parallel and Biologically Inspired Systems, 329, Springer, pp.43-54, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-15233-7. <10.1007/978-3-642-15234-4_6>. <hal-01054487>