A Giotto-Based Helicopter Control System. - Christoph M. Kirsch; Marco A. A. Sanvido; Thomas A. Henzinger; Wolfgang Pree (EMSOFT, 2002)

Hardware-in-the-loop simulation framework. - Marco A. A. Sanvido (2002)

Extreme Model Checking. - Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar; Marco A. A. Sanvido (Verification: Theory and Practice, 2003)

Event-Driven Programming with Logical Execution Times. - Arkadeb Ghosal; Thomas A. Henzinger; Christoph M. Kirsch; Marco A. A. Sanvido (HSCC, 2004)

Implementation of AFR controller in an event-driven real-time language. - Arkadeb Ghosal; J. Carlos Zavala J.; Marco A. A. Sanvido; J. Karl Hedrick (ACC, 2005)

A programmable microkernel for real-time systems. - Christoph M. Kirsch; Marco A. A. Sanvido; Thomas A. Henzinger (VEE, 2005)

nand Flash Memory and Its Role in Storage Architectures. - Marco A. A. Sanvido; Frank R. Chu; Anand Kulkarni; Robert Selinger (Proc. IEEE, 2008)

Indirection systems for shingled-recording disk drives. - Yuval Cassuto; Marco A. A. Sanvido; Cyril Guyot; David R. Hall; Zvonimir Bandic (MSST, 2010)