mahesh viswanathan
- On the decidability of stability of hybrid
systems, P. Prabhakar, M. Viswanathan. ACM/IEEE
International Conference on Hybrid Systems: Computation and
Control (HSCC), 2013.
- Conformance testing of Boolean programs
with multiple faults, P. Prabhakar, M. Viswanathan.
FMOODS/FORTE, 2012.
- Reachability under contextual locking,
R. Chadha, P. Madhusudan, M. Viswanathan. International
Conference on Tools and Algorithms for the Construction and Analysis
of Systems (TACAS), 2012.
- Specifications for decidable hybrid games,
V. Vladimerou, P. Prabhakar, M. Viswanathan, G.E. Dullerud.
Theoretical Computer Science (TCS), 2011.
- Power of Randomization in Automata on Infinite
Strings, R. Chadha, A.P. Sistla, M. Viswanathan. Logical
Methods in Computer Science (LMCS), 2011. Subsumes earlier paper in
International Conference on Concurrency Theory (CONCUR), 2009.
- Model checking MDPs with a unique compact
invariant set of distributions, R. Chadha, V.A. Korthikanti,
M. Viswanathan, G. Agha, Y. Kwon. IEEE International Conference
on the Quantitative Evaluation of Systems (QEST), 2011.
- Probabilistic Buchi automata with non-extremal
acceptance thresholds, R. Chadha, A.P. Sistla,
M. Viswanathan. International Conference on Verification, Model
Checking, and Abstract Interpretation (VMCAI), 2011.
- Model checking concurrent programs with
nondeterminism and randomization, R. Chadha, A.P. Sistla,
M. Viswanathan. International Conference on the Foundations of
Software Technology and Theoretical Computer Science (FSTTCS), 2010.
- Reasoning about MDPs as Transformers of
probability distributions, V.A. Korthikanti, M. Viswanathan,
G. Agha, Y. Kwon. IEEE International Conference on the Quantitative
Evaluation of Systems (QEST), 2010.
- Complexity bounds for the verification of
real-time software, R. Chadha, A. Legay, P. Prabhakar,
M. Viswanathan. International Conference on Verification, Model
Checking and Abstract Interpretation (VMCAI), 2010.
- Deciding branching time properties for
asynchronous programs, R. Chadha, M. Viswanathan.
Theoretical Computer Science (TCS), 2009.
- Query automata for nested words,
P. Madhusudan, M. Viswanathan. International Symposium
on the Mathematical Foundations of Computer Science (MFCS) 2009.
- On the expressiveness and complexity of
randomization in finite state monitors, R. Chadha, A.P. Sistla,
M. Viswanathan. Journal of the ACM (JACM), 2009. Subsumes earlier
paper in IEEE Symposium on Logic in Computer Science (LICS), 2008.
- A decidable class of planar linear hybrid
systems, P. Prabhakar, V. Vladimerou, M. Viswanathan,
G.E. Dullerud. International Conference on Hybrid Systems:
Computation and Control (HSCC), 2008.
- STORMED Hybrid Systems, V. Vladimerou,
P. Prabhakar, M. Viswanathan, G.E. Dullerud. International
Colloquium on Automata, Languages, and Programming (ICALP), 2008.
- Decidability Results for Well-Structured
Transition Systems with Auxiliary Storage, R. Chadha,
M. Viswanathan. International Conference on Concurrency Theory
(CONCUR), 2007.
- Visibly Pushdown Automata for Streaming XML,
V. Kumar, P.Madhusudan, M. Viswanathan. International
Conference on World Wide Web (WWW), 2007.
- 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.