Safouan Taha

Laboratoire

Laboratoire Méthodes Formelles

Publications (35)

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 , Frédéric Boulanger , Safouan Taha , 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 , Frédéric Boulanger , Safouan Taha , Frederic Boulanger

Communication dans un congrès 01/01/2020

Diagnostiquer les biais cognitifs

Valentin Fouillard , Safouan Taha , Nicolas Sabouret , Frédéric Boulanger , 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 , Safouan Taha , Frédéric Boulanger , 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 , Safouan Taha , Frédéric Boulanger , Armando Hernandez , Safouan Taha , Frederic Boulanger

Article dans une revue 26/04/2019

HOL-CSP Version 2.0

Safouan Taha , Burkhart Wolff , Lina Ye , 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 , Safouan Taha , Frédéric Boulanger , Armando Hernandez , Safouan Taha , Frederic Boulanger

Communication dans un congrès 27/09/2018

A time synchronization protocol for A664-P7

Frédéric Boulanger , Dominique Marcadet , Martin Rayrole , Benoît Valiron , Safouan Taha , Frederic Boulanger , Dominique Marcadet , Benoit Valiron , Safouan Taha

Communication dans un congrès 02/06/2018

Formal verification of automotive embedded software

Vassil Todorov , Frédéric Boulanger , Safouan Taha , 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 , Frédéric Boulanger , Safouan Taha , Benoît Valiron , Burkhart Wolff , Lina Ye , Frederic Boulanger , Safouan Taha , Benoit Valiron , Lina Ye