Safouan Taha - RankMe

24 papers A 1B 4C 3Journal 7Unranked 9

Year	Rank	Type	Title / 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