Marco A. A. Sanvido

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Yuval Cassuto, Marco A. A. Sanvido, Cyril Guyot, David R. Hall, Zvonimir Bandic
Indirection systems for shingled-recording disk drives. MSST (2010)
Marco A. A. Sanvido, Frank R. Chu, Anand Kulkarni, Robert Selinger
Flash Memory and Its Role in Storage Architectures. Proc. IEEE 96 (11) (2008)
Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger
A programmable microkernel for real-time systems. VEE (2005)
Arkadeb Ghosal, J. Carlos Zavala J., Marco A. A. Sanvido, J. Karl Hedrick
Implementation of AFR controller in an event-driven real-time language. ACC (2005)
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido
Event-Driven Programming with Logical Execution Times. HSCC (2004)
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido
Extreme Model Checking. Verification: Theory and Practice (2003)
Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree
A Giotto-Based Helicopter Control System. EMSOFT (2002)