Massimo Zendri

According to our database, Massimo Zendri authored at least 3 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2001

System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation.

Hubert Garavel, César Viho, Massimo Zendri

Int. J. Softw. Tools Technol. Transf., 2001

1999

Hardware Testing Using a Communication Protocol Conformance Testing Tool.

Hakim Kahlouche, César Viho, Massimo Zendri

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol.

Hakim Kahlouche, César Viho, Massimo Zendri

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998