| Flash devices with raid AK Kulkarni, M Sanvido US Patent App. 11/968,147, 2009 | 266 | 2009 |
| From control models to real-time code using Giotto TA Henzinger, CM Kirsch, MAA Sanvido, W Pree IEEE Control Systems Magazine 23 (1), 50-64, 2003 | 215 | 2003 |
| Indirection systems for shingled-recording disk drives Y Cassuto, MAA Sanvido, C Guyot, DR Hall, ZZ Bandic 2010 IEEE 26th Symposium on Mass Storage Systems and Technologies (MSST), 1-14, 2010 | 133 | 2010 |
| Extreme model checking TA Henzinger, R Jhala, R Majumdar, MAA Sanvido Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the …, 2003 | 128 | 2003 |
| Event-driven programming with logical execution times A Ghosal, TA Henzinger, CM Kirsch, MAA Sanvido International Workshop on Hybrid Systems: Computation and Control, 357-371, 2004 | 111 | 2004 |
| Combo drive: Optimizing cost and performance in a heterogeneous storage device H Payer, MA Sanvido, ZZ Bandic, CM Kirsch First Workshop on Integrating Solid-state Memory into the Storage Hierarchy …, 2009 | 110 | 2009 |
| Techniques for storing shingle blocks in a cache memory using a data storage device M Sanvido, C Guyot, AK Kulkarni, Z Bandic, M Chen US Patent 7,965,465, 2011 | 93 | 2011 |
| Implementing secure erase for solid state drives C Guyot, ZZ Bandic, Y Cassuto, AM Espeseth, M Sanvido US Patent 8,250,380, 2012 | 89 | 2012 |
| nand Flash Memory and Its Role in Storage Architectures MAA Sanvido, FR Chu, A Kulkarni, R Selinger Proceedings of the IEEE 96 (11), 1864-1874, 2008 | 77 | 2008 |
| Disk drive with cache having volatile and nonvolatile memory AK Kulkarni, M Sanvido US Patent 7,568,068, 2009 | 60 | 2009 |
| Disk drive with variable incremented counting of writes to the data tracks for minimizing the effect of far track erasure ZZ Bandic, M Sanvido, BA Wilson US Patent 8,531,793, 2013 | 56 | 2013 |
| Storage system and method for opportunistic write-verify C Han, AK Kulkarni, RMH New, M Sanvido US Patent 7,774,540, 2010 | 56 | 2010 |
| A programmable microkernel for real-time systems CM Kirsch, MAA Sanvido, TA Henzinger Proceedings of the 1st ACM/USENIX international conference on Virtual …, 2005 | 56 | 2005 |
| A Giotto-based helicopter control system CM Kirsch, MAA Sanvido, TA Henzinger, W Pree Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002 | 47 | 2002 |
| Storage device with write barrier sensitive write commands and write barrier insensitive commands JC De Souza, FR Chu, C Han, AK Kulkarni, DJ Molaro, RMH New, ... US Patent 8,006,047, 2011 | 38 | 2011 |
| Techniques for encrypting data on storage devices using an intermediate key M Sanvido, AK Kulkarni, C Guyot, RMH New, JC De Souza US Patent 8,315,394, 2012 | 37 | 2012 |
| Disk drive having multiple disk surfaces accessible by a read/write head and nonvolatile memory for continuous data transfer ZZ Bandic, M Sanvido US Patent 8,112,580, 2012 | 34 | 2012 |
| Data storage systems that implement sector sets M Sanvido US Patent 7,694,105, 2010 | 34 | 2010 |
| Disk drive with adaptive counting of writes to the data tracks for minimizing the effect of adjacent track encroachment M Sanvido US Patent 8,014,097, 2011 | 30 | 2011 |
| Incremental RAID stripe update parity calculation T Brennan, M Sanvido, C Sapuntzakis US Patent 10,417,092, 2019 | 29 | 2019 |
