mahesh viswanathan
- Minimization, Learning, and Conformance
Testing of Boolean Programs, V. Kumar, P. Madhusudan,
M.Viswanathan. International Conference on Concurrency Theory
(CONCUR), 2006.
- Model Checking Multi-threaded
programs with Asynchronous Atomic Methods, K. Sen,
M. Viswanathan. International Conference on Computer-Aided
Verification (CAV), 2006.
- Propositional Tree Automata,
J. Hendrix, H. Ohsaki, M. Viswanathan. International
Conference on Rewriting Techniques and Applications (RTA),
2006.
- Congruences for Visibly Pushdown Languages,
R. Alur, V. Kumar, P. Madhusudan,
M. Viswanathan. International Colloquim on Automata,
Languages and Programming (ICALP), 2005.
- Verification of Asynchronous Systems with
Unbounded and Unordered Message Buffers, P. Thati,
M. Viswanathan. Workshop on Automated Verification of
Infinite State Systems (AVIS), 2004.
- Membership Questions for Timed and Hybrid
Automata, R. Alur, R.P. Kurshan,
M/. Viswanathan. IEEE Real-Time Systems Symposium (RTSS),
1998.