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

Madan Musuvathi

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

2008
5EESumit Gulwani, Madan Musuvathi: Cover Algorithms and Their Combination. ESOP 2008: 193-207
4EEMadan Musuvathi: Systematic concurrency testing using CHESS. PADTAD 2008: 10
3EENikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi: Modular difference logic is hard CoRR abs/0811.0987: (2008)
2006
2EEMadan Musuvathi, Shaz Qadeer: CHESS: Systematic Stress Testing of Concurrent Software. LOPSTR 2006: 15-16
2005
1EEK. 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

Coauthor Index

1Nikolaj Bjørner [3]
2Andreas Blass [3]
3Sumit Gulwani [5]
4Yuri Gurevich [3]
5K. Rustan M. Leino [1]
6Xinming Ou [1]
7Shaz Qadeer [2]

Colors in the list of coauthors

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