Hakim Kahlouche

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Jean Monnet University, Saint-Étienne, France (PHD)

Education History

Jean Monnet University, Saint-Étienne, France

PHD

Publications

Hakim Kahlouche, César Viho, Massimo Zendri
Hardware Testing Using a Communication Protocol Conformance Testing Tool. TACAS (1999)
Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho
Towards Automatic Distribution of Testers for Distributed Conformance Testing. FORTE (1998)
Hakim Kahlouche, César Viho, Massimo Zendri
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. IWTCS (1998)
Hakim Kahlouche
STEPS: A Software Tool-set for automatEd Protocol Synthesis. ICCCN (1997)
Hakim Kahlouche, Jean-Jacques Girardot
A Stepwise Refinement Based Approach for Synthesizing Protocol Specifications in an Interpreted Petri Net Model. INFOCOM (1996)