Safouan Taha

Laboratoire

Laboratoire Méthodes Formelles

Publications (30)

Brevet 06/01/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

Communication dans un congrè 21/12/2024

Diagnostiquer les biais cognitifs

Valentin Fouillard , Safouan Taha , Nicolas Sabouret , Frederic Boulanger

Communication dans un congrè 19/12/2024

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

Communication dans un congrè 18/12/2024

An incremental diagnosis algorithm of human erroneous decision making

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Article dans une revue 16/12/2024

Modeling and analysing Cyber–Physical Systems in HOL-CSP

Paolo Crisafulli , Safouan Taha , Burkhart Wolff

Article dans une revue 16/12/2024

HOL-CSPM - Architectural operators for HOL-CSP

Benoit Ballenghien , Safouan Taha , Burkhart Wolff

Communication dans un congrè 03/09/2024

An Entirely Model-Based Framework for Hardware Design and Simulation

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

Communication dans un congrè 03/09/2024

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

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

Communication dans un congrè 03/09/2024

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

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

Article dans une revue 17/05/2024

The HOL-CSP Refinement Toolkit

Safouan Taha , Burkhart Wolff , Lina Ye