A Stepwise Refinement Based Approach for Synthesizing Protocol Specifications in an Interpreted Petri Net Model. - Hakim Kahlouche; Jean-Jacques Girardot (INFOCOM, 1996)

STEPS: A Software Tool-set for automatEd Protocol Synthesis. - Hakim Kahlouche (ICCCN, 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 (1997)

Towards Automatic Distribution of Testers for Distributed Conformance Testing. - Claude Jard; Thierry Jéron; Hakim Kahlouche; César Viho (FORTE, 1998)

An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. - Hakim Kahlouche; César Viho; Massimo Zendri (IWTCS, 1998)

Hardware Testing Using a Communication Protocol Conformance Testing Tool. - Hakim Kahlouche; César Viho; Massimo Zendri (TACAS, 1999)