| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 5 |      | 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 | | 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] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page