Search the dblp DataBase

Publications of Author

1. Michael Emmi, Rupak Majumdar
   Decision Problems for the Verification of Real-Time Software. [Citation Graph (0, 0)][DBLP]
   HSCC, 2006, pp:200-211 [Conf]
   
2. Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar
   Lock allocation. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:291-296 [Conf]
   
3. Michael Emmi, Rupak Majumdar, Koushik Sen
   Dynamic test input generation for database applications. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2007, pp:151-162 [Conf]
   
4. 
   Assume-Guarantee Verification for Interface Automata. [Citation Graph (, )][DBLP]
   
   
5. 
   Type-preserving compilation for large-scale optimizing object-oriented compilers. [Citation Graph (, )][DBLP]
   
   
6. 
   Parameterized verification of transactional memories. [Citation Graph (, )][DBLP]
   
   
7. 
   Verifying Reference Counting Implementations. [Citation Graph (, )][DBLP]
   
   
8. 
   Verifying Compensating Transactions. [Citation Graph (, )][DBLP]