Safouan Taha

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