Safouan Taha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2007–2021
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SMC | Catching cognitive biases in an erroneous decision making process. | Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frdric Boulanger |
| 2020 | IFM | Philosophers May Dine - Definitively! | Safouan Taha, Burkhart Wolff, Lina Ye |
| 2019 | QRS | Improved Invariant Generation for Industrial Software Model Checking of Time Properties. | Vassil Todorov, Safouan Taha, Frdric Boulanger, Armando Hernndez |
| 2018 | ICSE | Formal verification of automotive embedded software. | Vassil Todorov, Frdric Boulanger, Safouan Taha |
| 2015 | MODELS | Towards a Formal Semantics of the TESL Specification Language. | Hai Nguyen Van, Thibaut Balabonski, Frdric Boulanger, Safouan Taha, Benot Valiron, Burkhart Wolff, Lina Ye |
| 2013 | ICST | Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. | Frdric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germn Vega, Julien Botella, Safouan Taha |
| 2013 | IFM | A Compositional Automata-Based Semantics for Property Patterns. | Kalou Cabrera Castillos, Frdric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha |
| 2013 | MODELS | Modeling and Verification of Redundancy Policies. | Hamza Chouh, Charlotte Callon, Ghita Jalal, Frdric Boulanger, Safouan Taha |
| 2012 | SLE | Temporal Constraint Support for OCL. | Bilal Kanso, Safouan Taha |
| 2007 | FDL | MARTE: UML-based Hardware Design from Modelling to Simulation. | Safouan Taha, Ansgar Radermacher, Sbastien Grard, Jean-Luc Dekeyser |