Safouan Taha

According to our database, Safouan Taha authored at least 24 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Modeling and analysing Cyber-Physical Systems in HOL-CSP.

Paolo Crisafulli, Safouan Taha, Burkhart Wolff

Robotics Auton. Syst., December, 2023

HOL-CSPM - Architectural operators for HOL-CSP.

Benoît Ballenghien, Safouan Taha, Burkhart Wolff

Arch. Formal Proofs, 2023

An Incremental Diagnosis Algorithm of Human Erroneous Decision Making.

Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger

Proceedings of the Human and Artificial Rationalities - Second International Conference, 2023

2021

Belief Revision Theory.

Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret

Arch. Formal Proofs, 2021

Catching cognitive biases in an erroneous decision making process.

Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

2020

The HOL-CSP Refinement Toolkit.

Safouan Taha, Burkhart Wolff, Lina Ye

Arch. Formal Proofs, 2020

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking.

Vassil Todorov, Safouan Taha, Frédéric Boulanger

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Philosophers May Dine - Definitively!

Safouan Taha, Burkhart Wolff, Lina Ye

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2019

HOL-CSP Version 2.0.

Safouan Taha, Lina Ye, Burkhart Wolff

Arch. Formal Proofs, 2019

Improved Invariant Generation for Industrial Software Model Checking of Time Properties.

Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

2018

Formal verification of automotive embedded software.

Vassil Todorov, Frédéric Boulanger, Safouan Taha

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2015

A compositional automata-based semantics and preserving transformation rules for testing property patterns.

Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso

Formal Aspects Comput., 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

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

2014

Specification of temporal properties with OCL.

Bilal Kanso, Safouan Taha

Sci. Comput. Program., 2014

2013

Modeling and Verification of Redundancy Policies.

Hamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha

Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

A Compositional Automata-Based Semantics for Property Patterns.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha

Proceedings of the Integrated Formal Methods, 10th International Conference, 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, Germán Vega, Julien Botella, Safouan Taha

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Temporal Constraint Support for OCL.

Bilal Kanso, Safouan Taha

Proceedings of the Software Language Engineering, 5th International Conference, 2012

2011

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha

Proceedings of the Testing Software and Systems, 2011

2010

An Entirely Model-Based Framework for Hardware Design and Simulation.

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

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

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

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

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2008

Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT.

Sebastien Revol, Safouan Taha, François Terrier, Alain Clouard, Sébastien Gérard, Ansgar Radermacher, Jean-Luc Dekeyser

Proceedings of the Distributed Embedded Systems: Design, 2008

2007

An Open Framework for Detailed Hardware Modeling.

Safouan Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

MARTE: UML-based Hardware Design from Modelling to Simulation.

Safouan Taha, Ansgar Radermacher, Sébastien Gérard, Jean-Luc Dekeyser

Proceedings of the Forum on specification and Design Languages, 2007