Hakim Kahlouche

According to our database, Hakim Kahlouche authored at least 6 papers between 1996 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Hardware Testing Using a Communication Protocol Conformance Testing Tool.

Hakim Kahlouche, César Viho, Massimo Zendri

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol.

Hakim Kahlouche, César Viho, Massimo Zendri

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

Towards Automatic Distribution of Testers for Distributed Conformance Testing.

Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997

Méthodologie de développement de protocoles de communication et des applications réparties. Vers une approche de synthèse. (A Computer-Aided Methodology for the Development of Communication Protocols and Distributed Applications. Towards a Synthetic Approach).

Hakim Kahlouche

PhD thesis, 1997

STEPS: A Software Tool-set for automatEd Protocol Synthesis.

Hakim Kahlouche

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

1996

A Stepwise Refinement Based Approach for Synthesizing Protocol Specifications in an Interpreted Petri Net Model.

Hakim Kahlouche, Jean-Jacques Girardot

Proceedings of the Proceedings IEEE INFOCOM '96, 1996