Safouan Taha

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (35)

Article dans une revue 01/01/2015

A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns

Safouan Taha , Jacques Julliand , Frédéric Dadeau , Kalou Castillos , Bilal Kanso , Safouan Taha

Article dans une revue 01/12/2014

Specification of temporal properties with OCL

Bilal Kanso , Safouan Taha , Safouan Taha

Communication dans un congrès 01/09/2013

Modeling and Verification of Redundancy Policies

Chouh Hamza , Callon Charlotte , Jalal Ghita , Frédéric Boulanger , Safouan Taha , Frederic Boulanger , Safouan Taha

Communication dans un congrès 14/06/2013

A Compositional Automata-based Semantics for Property Patterns

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Bilal Kanso , Safouan Taha , Safouan Taha

Communication dans un congrès 01/06/2013

A Compositional Automata-based Semantics for Property Patterns

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Safouan Taha , Bilal Kanso , Safouan Taha

Communication dans un congrès 18/03/2013

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool

Frédéric Dadeau , Kalou Cabrera Castillos , Yves Ledru , Taha Triki , German Vega , Julien Botella , Safouan Taha , Safouan Taha

Communication dans un congrès 01/03/2013

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool

Frédéric Dadeau , Kalou Cabrera Castillos , Yves Ledru , Taha Triki , German Vega , Julien Botella , Safouan Taha , Safouan Taha

Communication dans un congrès 01/01/2013

Temporal Constraint Support for OCL

Bilal Kanso , Safouan Taha , Safouan Taha

Communication dans un congrès 01/01/2013

A Compositional Automata-Based Semantics for Property Patterns

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Bilal Kanso , Safouan Taha , Safouan Taha

Communication dans un congrès 01/01/2013

TASCCC - Project and Testing Tool (poster)

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 , Safouan Taha