| |
| 2008 | ||
|---|---|---|
| 5 | EE | Sumit Gulwani, Madan Musuvathi: Cover Algorithms and Their Combination. ESOP 2008: 193-207 |
| 4 | EE | Madan Musuvathi: Systematic concurrency testing using CHESS. PADTAD 2008: 10 |
| 3 | EE | Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi: Modular difference logic is hard CoRR abs/0811.0987: (2008) |
| 2006 | ||
| 2 | EE | Madan Musuvathi, Shaz Qadeer: CHESS: Systematic Stress Testing of Concurrent Software. LOPSTR 2006: 15-16 |
| 2005 | ||
| 1 | EE | K. Rustan M. Leino, Madan Musuvathi, Xinming Ou: A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover. TACAS 2005: 334-348 |
| 1 | Nikolaj Bjørner | [3] |
| 2 | Andreas Blass | [3] |
| 3 | Sumit Gulwani | [5] |
| 4 | Yuri Gurevich | [3] |
| 5 | K. Rustan M. Leino | [1] |
| 6 | Xinming Ou | [1] |
| 7 | Shaz Qadeer | [2] |