dblp.uni-trier.dewww.uni-trier.de

Marco A. A. Sanvido

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
4EEChristoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger: A programmable microkernel for real-time systems. VEE 2005: 35-45
2004
3EEArkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido: Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371
2003
2EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking. Verification: Theory and Practice 2003: 332-358
2002
1EEChristoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree: A Giotto-Based Helicopter Control System. EMSOFT 2002: 46-60

Coauthor Index

1Arkadeb Ghosal [3]
2Thomas A. Henzinger [1] [2] [3] [4]
3Ranjit Jhala [2]
4Christoph M. Kirsch (Christoph Meyer) [1] [3] [4]
5Rupak Majumdar [2]
6Wolfgang Pree [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)