Luca Zanolin

Model Checking Programmable Router Configurations

Cecilia Mascolo, Wolfgang Emmerich, Luca Zanolin, 2010, Graph Transformations and Model-Driven Engineering.

Modeling and Validation of Publish/Subscribe Architectures

Luciano Baresi, Carlo Ghezzi, Luca Zanolin, 2005 .

An Approach to Model and Validate Publish/Subscribe Architectures

Luciano Baresi, Carlo Ghezzi, Luca Zanolin, 2003 .

XMILE: An XML Based Approach for Incremental Code Mobility and Update

Cecilia Mascolo, Wolfgang Emmerich, Luca Zanolin, 2002, Automated Software Engineering.

Model Checking Programmable Router Configurations with Spin

Cecilia Mascolo, Wolfgang Emmerich, Luca Zanolin, 2002 .