| 2001 |
|---|
| 3 | EE | Hubert Garavel,
César Viho,
Massimo Zendri:
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation.
STTT 3(3): 314-331 (2001) |
| 1999 |
|---|
| 2 | EE | Hakim Kahlouche,
César Viho,
Massimo Zendri:
Hardware Testing Using a Communication Protocol Conformance Testing Tool.
TACAS 1999: 315-329 |
| 1998 |
|---|
| 1 | | 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 |
