Abderrazak Ghedamsi

According to our database1, Abderrazak Ghedamsi authored at least 10 papers between 1991 and 2001.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines.
Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 2001

2000
Diagnostic Tests for Communicating Nondeterministic Finite State Machines.
Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 2000

1999
A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs.
Proceedings of the Fourth IEEE Symposium on Computers and Communications (ISCC 1999), 1999

1993
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports.
Proceedings of the Protocol Test Systems, 1993

Multiple Fault Diagnostics for Finite State Machines.
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

Diagnosis of Single Transition Faults in Communicating Finite State Machines.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

1992
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines.
Proceedings of the Protocol Test Systems, V, 1992

Test Result Analysis and Diagnostics for Finite State Machines.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

1991
Test Selection Based on Finite State Models.
IEEE Trans. Software Eng., 1991

Fault Models in Testing.
Proceedings of the Protocol Test Systems, IV, 1991


  Loading...