Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Taha, Safouan
65  Ergebnisse:
Personensuche X
?
1

An Incremental Diagnosis Algorithm of Human Erroneous Decis..:

, In: Lecture Notes in Computer Science; Human and Artificial Rationalities,
Fouillard, Valentin ; Sabouret, Nicolas ; Taha, Safouan. - p. 48-63 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Modeling and analysing Cyber–Physical Systems in HOL-CSP:

Crisafulli, Paolo ; Taha, Safouan ; Wolff, Burkhart
Robotics and Autonomous Systems.  170 (2023)  - p. 104549 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Philosophers May Dine - Definitively!:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Taha, Safouan ; Wolff, Burkhart ; Ye, Lina - p. 419-439 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Specification Quality Metrics Based on Mutation and Inducti..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Todorov, Vassil ; Taha, Safouan ; Boulanger, Frédéric - p. 187-203 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Formal verification of automotive embedded software:

, In: Proceedings of the 6th Conference on Formal Methods in Software Engineering,
Todorov, Vassil ; Boulanger, Frédéric ; Taha, Safouan - p. 84-87 , 2018
Link: https://dl.acm.org/doi/1..
 
?
6

A compositional automata-based semantics and preserving tra..:

Taha, Safouan ; Julliand, Jacques ; Dadeau, Frédéric..
Formal Aspects of Computing.  27 (2015)  4 - p. 641-664 , 2015
Link: https://doi.org/10.1007/..
 
?
7

Specification of temporal properties with OCL:

Kanso, Bilal ; Taha, Safouan
Science of Computer Programming.  96 (2014)  - p. 527-551 , 2014
Link: https://doi.org/10.1016/..
 
?
8

An Open Framework for Detailed Hardware Modeling:

, In: 2007 International Symposium on Industrial Embedded Systems,
Taha, Safouan ; Radermache, Ansgar ; Gerard, Sebastien. - p. None , 2007
Link: https://doi.org/10.1109/..
 
?
9

Unifying HW Analysis and SoC Design Flows by Bridging Two K..:

, In: Distributed Embedded Systems: Design, Middleware and Resources; IFIP – The International Federation for Information Processing,
Revol, Sebastien ; Taha, Safouan ; Terrier, François... - p. 69-78 ,
Link: https://doi.org/10.1007/..
 
?
10

An incremental diagnosis algorithm of human erroneous decis..:

Fouillard, Valentin ; Sabouret, Nicolas ; Taha, Safouan.
hal-04188221.  , 2023
Link: https://hal.science/hal-..
 
?
11

An incremental diagnosis algorithm of human erroneous decis..:

Fouillard, Valentin ; Sabouret, Nicolas ; Taha, Safouan.
hal-04188221.  , 2023
Link: https://hal.science/hal-..
 
?
12

An incremental diagnosis algorithm of human erroneous decis..:

Fouillard, Valentin ; Sabouret, Nicolas ; Taha, Safouan.
hal-04188221.  , 2023
Link: https://hal.science/hal-..
 
?
13

Le problème du décor revisité : un modèle logique pour le d..:

Fouillard, Valentin ; Sabouret, Nicolas ; Taha, Safouan.
hal-03752151.  , 2022
Link: https://hal.science/hal-..
 
?
14

Le problème du décor revisité : un modèle logique pour le d..:

Fouillard, Valentin ; Sabouret, Nicolas ; Taha, Safouan.
hal-03752151.  , 2022
Link: https://hal.science/hal-..
 
?
15

Le problème du décor revisité : un modèle logique pour le d..:

Fouillard, Valentin ; Sabouret, Nicolas ; Taha, Safouan.
hal-03819739.  , 2022
Link: https://hal.science/hal-..
 
1-15