According to our database1, Massimo Zendri authored at least 3 papers between 1998 and 2001.
Legend:Book In proceedings Article PhD thesis Other
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation.
Int. J. Softw. Tools Technol. Transf., 2001
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol.
Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998