Hakim Kahlouche

STEPS: a software tool-set for automated protocol synthesis

Hakim Kahlouche, 1997, Proceedings of Sixth International Conference on Computer Communications and Networks.

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

César Viho, Hakim Kahlouche, Massimo Zendri, 1998, IWTCS.

Hardware Testing Using a Communication Protocol Conformance Testing Tool

César Viho, Hakim Kahlouche, Massimo Zendri, 1999, TACAS.

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, H. Kahlouche, 1997 .

A stepwise refinement based approach for synthesizing protocol specifications in an interpreted Petri net model

Jean-Jacques Girardot, Hakim Kahlouche, 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

Towards Automatic Distribution of Testers for Distributed Conformance Testing

Thierry Jéron, Claude Jard, César Viho, 1998, FORTE.