Abderrazak Ghedamsi

Publication Activity (10 Years)

Years Active: 1991-2001
Publications (10 Years): 0

Publications

Rim Belhassine-Cherif, Abderrazak Ghedamsi
Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines. ISCC (2001)
Rim Belhassine-Cherif, Abderrazak Ghedamsi
Diagnostic Tests for Communicating Nondeterministic Finite State Machines. ISCC (2000)
Kamel Karoui, Abderrazak Ghedamsi, Rachida Dssouli
A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs. ISCC (1999)
Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. Protocol Test Systems (1993)
Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli
Diagnosis of Single Transition Faults in Communicating Finite State Machines. ICDCS (1993)
Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli
Multiple Fault Diagnostics for Finite State Machines. INFOCOM (1993)
Abderrazak Ghedamsi, Gregor von Bochmann
Test Result Analysis and Diagnostics for Finite State Machines. ICDCS (1992)
Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. Protocol Test Systems (1992)
Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo
Fault Models in Testing. Protocol Test Systems (1991)
Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi
Test Selection Based on Finite State Models. IEEE Trans. Software Eng. 17 (6) (1991)