Design methodology for wireless sensor networks. - Marco Carloni (2006)

A Layered Approach to Modelling and Design of Cross-Layer Protocols in Ad-Hoc Wireless Networks. - Massimiliano D'Angelo; Marco Carloni; Alberto Ferrari; Fortunato Santucci (WCNC, 2008)

Scalable virtual prototyping of distributed embedded control in a modern elevator system. - Alberto Ferrari; Marco Carloni; Alessandro Mignogna; Francesco Menichelli; David Ginsberg; Eelco Scholte; Dang Nguyen 005 (SIES, 2012)

Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System. - Marco Carloni; Orlando Ferrante; Alberto Ferrari; Gianpaolo Massaroli; Antonio Orazzo; Ida Petrone; Luigi Velardi (SAFECOMP Workshops, 2014)

Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case. - Marco Carloni; Orlando Ferrante; Alberto Ferrari; Gianpaolo Massaroli; Antonio Orazzo; Luigi Velardi (SAFECOMP Workshops, 2015)

Wireless Channel Modeling Analysis and Evaluation for Single Pilot Operation. - Marco Carloni; Luca Manica (icWCSN, 2020)