| 2001 | ||
|---|---|---|
| j1 | 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 | ||
| c2 | Hakim Kahlouche, César Viho, Massimo Zendri: Hardware Testing Using a Communication Protocol Conformance Testing Tool. TACAS 1999: 315-329 | |
| 1998 | ||
| c1 | 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 | |
| 1 | Hubert Garavel | |
| 2 | Hakim Kahlouche | |
| 3 | César Viho |
Data released under the ODC-BY 1.0 license — See also our legal information page