1. M. Prevostini, K. Roy, F. Regazzoni, A. Ferrante, J. Wuttke
 Automatic Verification of UML-based System on Chip Design
 In collaboration with ALaRI
 Lugano, May 2007, (PDF)

2. M. Prevostini, E. Zamsha
 SysML Profile for SoC Design and SystemC Transformation
 In collaboration with ALaRI
 Lugano, May 2007, (PDF)

3. M. Prevostini, A. Mattiuz, M. Mura
 UML Profile for Wireless Networks: the case of 802.15.4 standard
 In collaboration with ALaRI
 Lugano, April 2007, (PDF)

4. M. Prevostini, D. Spanagel
 System-Level Design of a TinySec-based Secure Low-Power Protocol for a Remote Meter Reader
 In collaboration with ALaRI
 Lugano, January 2006, (PDF)