Safouan Taha

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 11

Top Topics

Tree Decomposition

Formal Verification

Temporal Properties

Top Venues

Arch. Formal Proofs

GEMOC+MPM@MoDELS

Publications

Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger
An Incremental Diagnosis Algorithm of Human Erroneous Decision Making. HAR (2023)
Benoît Ballenghien, Safouan Taha, Burkhart Wolff
HOL-CSPM - Architectural operators for HOL-CSP. Arch. Formal Proofs 2023 (2023)
Paolo Crisafulli, Safouan Taha, Burkhart Wolff
Modeling and analysing Cyber-Physical Systems in HOL-CSP. Robotics Auton. Syst. 170 (2023)
Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger
Catching cognitive biases in an erroneous decision making process. SMC (2021)
Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret
Belief Revision Theory. Arch. Formal Proofs 2021 (2021)
Safouan Taha, Burkhart Wolff, Lina Ye
The HOL-CSP Refinement Toolkit. Arch. Formal Proofs 2020 (2020)
Vassil Todorov, Safouan Taha, Frédéric Boulanger
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking. NFM (2020)
Safouan Taha, Burkhart Wolff, Lina Ye
Philosophers May Dine - Definitively! IFM (2020)
Safouan Taha, Lina Ye, Burkhart Wolff
HOL-CSP Version 2.0. Arch. Formal Proofs 2019 (2019)
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
Improved Invariant Generation for Industrial Software Model Checking of Time Properties. QRS (2019)
Vassil Todorov, Frédéric Boulanger, Safouan Taha
Formal verification of automotive embedded software. FormaliSE@ICSE (2018)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye
Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS (2015)
Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso
A compositional automata-based semantics and preserving transformation rules for testing property patterns. Formal Aspects Comput. 27 (4) (2015)
Bilal Kanso, Safouan Taha
Specification of temporal properties with OCL. Sci. Comput. Program. 96 (2014)
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. ICST (2013)
Hamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha
Modeling and Verification of Redundancy Policies. ACES-MB@MoDELS (2013)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha
A Compositional Automata-Based Semantics for Property Patterns. IFM (2013)
Bilal Kanso, Safouan Taha
Temporal Constraint Support for OCL. SLE (2012)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS (2011)
Safouan Taha, Ansgar Radermacher, Sébastien Gérard
An Entirely Model-Based Framework for Hardware Design and Simulation. DIPES/BICC (2010)
Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard
Extending the Standard Execution Model of UML for Real-Time Systems. DIPES/BICC (2010)
Sebastien Revol, Safouan Taha, François Terrier, Alain Clouard, Sébastien Gérard, Ansgar Radermacher, Jean-Luc Dekeyser
Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT. DIPES (2008)
Safouan Taha, Ansgar Radermacher, Sébastien Gérard, Jean-Luc Dekeyser
MARTE: UML-based Hardware Design from Modelling to Simulation. FDL (2007)
Safouan Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser
An Open Framework for Detailed Hardware Modeling. SIES (2007)