| |
| 1999 | ||
|---|---|---|
| 5 | EE | Hakim Kahlouche, César Viho, Massimo Zendri: Hardware Testing Using a Communication Protocol Conformance Testing Tool. TACAS 1999: 315-329 |
| 1998 | ||
| 4 | Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho: Towards Automatic Distribution of Testers for Distributed Conformance Testing. FORTE 1998: 353-368 | |
| 3 | Hakim Kahlouche, César Viho, Massimo Zendri: An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. IWTCS 1998: 211-226 | |
| 1997 | ||
| 2 | EE | Hakim Kahlouche: STEPS: A Software Tool-set for automatEd Protocol Synthesis. ICCCN 1997: 160-165 |
| 1996 | ||
| 1 | Hakim Kahlouche, Jean-Jacques Girardot: A Stepwise Refinement Based Approach for Synthesizing Protocol Specifications in an Interpreted Petri Net Model. INFOCOM 1996: 1165-1173 | |
| 1 | Jean-Jacques Girardot | [1] |
| 2 | Claude Jard | [4] |
| 3 | Thierry Jéron | [4] |
| 4 | César Viho | [3] [4] [5] |
| 5 | Massimo Zendri | [3] [5] |