Safouan Taha

Laboratoire

Laboratoire Méthodes Formelles

Publications (35)

Communication dans un congrès 27/09/2025

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

Communication dans un congrès 27/09/2025

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

Communication dans un congrès 27/09/2025

TASCCC - Project and Testing Tool (poster and demo)

Kalou Cabrera Castillos , Frédéric Dadeau , Yves Ledru , Lydie Du Bousquet , Taha Triki , Bruno Legeard , Julien Botella , Boutheina Chetali , Bernet Julien , David Rouillard , Safouan Taha

Communication dans un congrès 27/09/2025

TASCCC - Project and Testing Tool (poster)

Frédéric Dadeau , Kalou Cabrera Castillos , Yves Ledru , Lydie Du Bousquet , Taha Triki , German Eduardo Vega Baez , Bruno Legeard , Julien Botella , Boutheina Chetali , Julien Bernet , David Rouillard , Safouan Taha

Communication dans un congrès 24/09/2025

Capturer les biais cognitifs dans un processus de prise de décision erroné

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 12/08/2025

An incremental diagnosis algorithm of human erroneous decision making

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 12/08/2025

Diagnostiquer les biais cognitifs

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 16/05/2025

Catching cognitive biases in an erroneous decision making process

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 28/04/2025

A Compositional Automata-based Semantics for Property Patterns

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

Communication dans un congrès 28/04/2025

Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests

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

Article dans une revue 03/04/2025

The HOL-CSP Refinement Toolkit

Burkhart Wolff , Safouan Taha

Article dans une revue 03/04/2025

HOL-CSPM - Architectural operators for HOL-CSP

Benoit Ballenghien , Burkhart Wolff , Safouan Taha

Article dans une revue 03/04/2025

HOL-CSP Version 2.0

Burkhart Wolff , Safouan Taha

Rapport 21/03/2025

Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP

Paolo Crisafulli , Burkhart Wolff , Safouan Taha

Communication dans un congrès 21/03/2025

Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Brevet 21/03/2025

Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System

Martin Rayrolle , Michaël Templier , Éric Fitterer , Dominique Marcadet , Frederic Boulanger , Safouan Taha

Article dans une revue 21/03/2025

Belief Revision Theory

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 21/03/2025

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

Vassil Todorov , Safouan Taha , Frederic Boulanger

Communication dans un congrès 20/03/2025

Philosophers may Dine - Definitively!

Burkhart Wolff , Safouan Taha , Lina Ye

Article dans une revue 20/03/2025

Modeling and analysing Cyber–Physical Systems in HOL-CSP

Paolo Crisafulli , Burkhart Wolff , Safouan Taha

Communication dans un congrès 20/02/2025

Extending the Standard Execution Model of UML for Real-Time Systems

Abderraouf Benyahia , Arnaud Cuccuru , François Terrier , Sébastien Gérard , Safouan Taha , Frederic Boulanger

Communication dans un congrès 20/02/2025

Extending the standard execution model of UML for real-time systems

Abderraouf Benyahia , Arnaud Cuccuru , François Terrier , Sébastien Gérard , Safouan Taha , Frederic Boulanger

Article dans une revue 18/02/2025

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

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

Communication dans un congrès 18/02/2025

A Compositional Automata-Based Semantics for Property Patterns

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

Communication dans un congrès 18/02/2025

A Compositional Automata-based Semantics for Property Patterns

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

Communication dans un congrès 03/09/2024

An Entirely Model-Based Framework for Hardware Design and Simulation

Ansgar Radermacher , Sébastien Gérard , Safouan Taha

Article dans une revue 15/03/2024

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root

Vassil Todorov , Armando Hernandez , Safouan Taha , Frederic Boulanger

Article dans une revue 15/03/2024

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Vassil Todorov , Armando Hernandez , Safouan Taha , Frederic Boulanger

Communication dans un congrès 15/03/2024

Improved Invariant Generation for Industrial Software Model Checking of Time Properties

Vassil Todorov , Armando Hernandez , Safouan Taha , Frederic Boulanger

Communication dans un congrès 14/03/2024

Formal verification of automotive embedded software

Vassil Todorov , Frederic Boulanger , Safouan Taha