Safouan Taha

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (35)

Communication dans un congrès 15/03/2024

An incremental diagnosis algorithm of human erroneous decision making

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Article dans une revue 03/12/2023

HOL-CSPM - Architectural operators for HOL-CSP

Benoit Ballenghien , Burkhart Wolff , Safouan Taha

Article dans une revue 13/10/2023

Modeling and analysing Cyber–Physical Systems in HOL-CSP

Paolo Crisafulli , Burkhart Wolff , Safouan Taha

Communication dans un congrès 27/06/2022

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

Rapport 21/10/2021

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

Paolo Crisafulli , Burkhart Wolff , Safouan Taha

Article dans une revue 19/10/2021

Belief Revision Theory

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 17/10/2021

Catching cognitive biases in an erroneous decision making process

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 13/10/2021

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

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Article dans une revue 19/11/2020

The HOL-CSP Refinement Toolkit

Burkhart Wolff , Safouan Taha

Communication dans un congrès 14/11/2020

Philosophers may Dine - Definitively!

Burkhart Wolff , Safouan Taha , Lina Ye

Brevet 20/08/2020

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

Communication dans un congrès 10/08/2020

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

Vassil Todorov , Safouan Taha , Frederic Boulanger

Communication dans un congrès 01/01/2020

Diagnostiquer les biais cognitifs

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Article dans une revue 27/12/2019

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 22/07/2019

Improved Invariant Generation for Industrial Software Model Checking of Time Properties

Vassil Todorov , Armando Hernandez , Safouan Taha , Frederic Boulanger

Article dans une revue 26/04/2019

HOL-CSP Version 2.0

Burkhart Wolff , Safouan Taha

Article dans une revue 01/01/2019

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 27/09/2018

A time synchronization protocol for A664-P7

Martin Rayrole , Frederic Boulanger , Dominique Marcadet , Benoit Valiron , Safouan Taha

Communication dans un congrès 02/06/2018

Formal verification of automotive embedded software

Vassil Todorov , Frederic Boulanger , Safouan Taha

Communication dans un congrès 13/11/2015

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Burkhart Wolff , Frederic Boulanger , Safouan Taha , Benoit Valiron , Lina Ye

Article dans une revue 01/01/2015

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

Article dans une revue 01/12/2014

Specification of temporal properties with OCL

Bilal Kanso , Safouan Taha

Communication dans un congrès 01/09/2013

Modeling and Verification of Redundancy Policies

Chouh Hamza , Callon Charlotte , Jalal Ghita , 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

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

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

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 , Bruno Legeard , Julien Botella , Boutheina Chetali , Julien Bernet , David Rouillard , Safouan Taha

Communication dans un congrès 01/01/2013

Temporal Constraint Support for OCL

Bilal Kanso , 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