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.
- Hybrid automata-based CEGAR for rectangular
hybrid systems, P. Prabhakar, P.S. Duggirala, S. Mitra,
M. Viswanathan. International Conference on Verification, Model
Checking, and Abstract Interpretation (VMCAI), 2013.
- Verification of bounded discrete horizon
hybrid automata, V. Vladimerou, P. Prabhakar, M. Viswanathan,
G.E. Dullerud. IEEE Transactions on Automatic Control, 2012.
- Conformance testing of Boolean programs
with multiple faults, P. Prabhakar, M. Viswanathan.
FMOODS/FORTE, 2012.
- Pre-orders for reasoning about stability,
P. Prabhakar, G.E. Dullerud, M. Viswanathan. ACM/IEEE
International Conference on Hybrid Systems: Computation and
Control (HSCC), 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.
- A dynamic algorithm for approximate flow
computation, P. Prabhakar, M. Viswanathan. ACM/IEEE
International Conference on Hybrid Systems: Computation and
Control (HSCC), 2011.
- 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.
- Assertion Checking in J-Sim Simulation
Models of Network Protocols, A. Sobeih, M. d'Amorim, M. Viswanathan,
D. Marinov, J.C. Hou. Simulation, 2010.
- A counterexample-guided abstraction-refinement
for Markov Decision Processes, R. Chadha, M. Viswanathan.
ACM Transaction on Computational Logic (TOCL), 2010.
- 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.
- On Convergence of Concurrent Systems
under Regular interactions, P. Prabhakar, S. Mitra,
M. Viswanathan. International Conference on Concurrency Theory
(CONCUR), 2009.
- Query automata for nested words,
P. Madhusudan, M. Viswanathan. International Symposium
on the Mathematical Foundations of Computer Science (MFCS) 2009.
- Verifying Tolerant Systems using Polynomial
Approximations, P. Prabhakar, V. Vladimerou, M. Viswanathan,
G.E. Dullerud. IEEE Real-Time Systems Symposium (RTSS), 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.
- Least Upper Bounds for Probability Measures
and their applications to abstractions, R. Chadha, M. Viswanathan,
R. Viswanathan. International Conference on Concurrency Theory
(CONCUR), 2008.
- Modular preservation of safety properties by
cookie-based DoS-protection wrappers, R. Chadha, C.A. Gunter,
J. Meseguer, R. Shankesi, M. Viswanathan. International Conference
on Formal Methods for Open Object-Based Distributed Systems (FMOODS),
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.
- Incremental State-Space Exploration for
Programs with Dynamically Allocated Data, S. Lauterberg,
A. Sobeih, D. Marinov, M. Viswanathan. International Conference on
Software Engineering (ICSE), 2008.
- Learning to verify branching time properties,
A. Vardhan, M. Viswanathan. Formal Methods in System Design
(FMSD), 2007.
- Decidability Results for Well-Structured
Transition Systems with Auxiliary Storage, R. Chadha,
M. Viswanathan. International Conference on Concurrency Theory
(CONCUR), 2007.
- J-Sim: An Integrated Environment for
Simulation and Model Checking of Network Protocols,
A. Sobeih, M. Viswanathan, D. Marinov, J.C. Hou. IEEE
International Parallel and Distributed Processing Symposium (IPDPS),
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.
- LEVER: A Tool for Learning based
Verification, A. Vardhan,
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.
- Model Checking Markov Chains in the
presence of Uncertainities, K. Sen, M. Viswanathan,
G.Agha. International Conference on Tools and Algorithms for
the Construction and Analysis of Systems (TACAS), 2006.
- Learning to verify branching time
properties, A. Vardhan, M. Viswanathan. IEEE/ACM
International Conference on Automated Software Engineering (ASE),
2005.
- On Statistical Model Checking of
Stochastic Systems, K. Sen, M. Viswanathan,
G. Agha. International Conference on Computer-Aided
Verification (CAV), 2005.
- Congruences for Visibly Pushdown Languages,
R. Alur, V. Kumar, P. Madhusudan,
M. Viswanathan. International Colloquim on Automata,
Languages and Programming (ICALP), 2005.
- Finding bugs in networks protocols using
Simulation Code and Protocol specific heuristics,
A. Sobeih, M. Viswanathan, D. Marinov,
J. Hou. International Conference on Formal Engineering
Methods (ICFEM), 2005.
- VESTA: A Statistical Model Checker and Analyzer
for Probabilistic Systems, K. Sen, M. Viswanathan,
G. Agha. International Conference on Quantitative Evaluation
of Systems (QEST), 2005.
- Conformance Testing in the Presence of
Multiple Faults, V. Kumar, M. Viswanathan. ACM-SIAM
Symposium on Discrete Algorithms (SODA), 2005.
- Using Language Inference to Verify
Omega-Regular Properties, A. Vardhan, K. Sen,
M. Viswanathan, G. Agha. International Conference on Tools
and Algorithms for the Construction and Analysis of Systems
(TACAS), 2005.
- On the Complexity of Error
Explanation, N. Kumar, V. Kumar,
M. Viswanathan. International Conference on Verification,
Model Checking, and Abstract Interpretation (VMCAI), 2005.
- Actively Learning to Verify Safety
roperties of FIFO Automata, A. Vardhan, K. Sen,
M. Viswanathan, G. Agha. International Conference on the
Foundations of Software Technology and Theoretical Computer
Science (FSTTCS), 2004.
- Learning to Verify Safety
Properties, A. Vardhan, K. Sen, M. Viswanathan,
G. Agha. International Conference on Formal Engineering
Methods (ICFEM), 2004.
- A Higher Order Modal Fixed Point Logic,
M. Viswanathan, R. Viswanathan. International Conference
on Concurrency Theory (CONCUR), 2004.
- Foundations for the Runtime Monitoring of
Reactive Systems - Fundamentals of the MaC Language, M. Kim,
M. Viswanathan. International Colloquim on the Theoretical
Aspects of Computing (ICTAC), 2004.
- Learning Continuous Time Markov Chains
from Sample Executions, K. Sen, M. Viswanathan,
G. Agha. International Conference on Quantitative Evaluation
of Systems (QEST), 2004.
- Statistical Model Checking of Black-Box
Probabilistic Systems, K. Sen, M. Viswanathan,
G. Agha. International Conference on Computer-Aided
Verification (CAV), 2004.
- Check and Simulate: A Case for
Incorporating Model Checking in Network Simulation,
A. Sobeih, M. Viswanathan, J. Hou. ACM/IEEE International
Conference on Formal Methods and Models for Codesign (MEMOCODE),
2004.
- Verification of Asynchronous Systems with
Unbounded and Unordered Message Buffers, P. Thati,
M. Viswanathan. Workshop on Automated Verification of
Infinite State Systems (AVIS), 2004.
- Java-MaC: A Run-time Assurance Approach for
Java Programs, M. Kim, M. Viswanathan, S. Kannan, I. Lee,
O. Sokolsky. Formal Methods in System Design 24(2), 2004.
- Testing Extended Regular Language Membership
Incrementally by rewriting, G. Rosu, M. Viswanathan,
International Conference on Rewriting Techniques and Applications
(RTA), 2003.
- Computational Analysis of Runtime Monitoring,
M. Kim, S. Kannan, I. Lee, O. Sokolsky,
M. Viswanathan. Workshop on Runtime Verification, 2002.
- Testing and Spot-Checking of Data
Streams, J. Feigenbaum, S. Kannan, M. Strauss,
M. Viswanathan. Algorithmica 34(1), 2002. Subsumes earlier
paper in ACM-SIAM Symposium on Discrete Algorithms (SODA)
2000.
- An Approximate L1-Difference
Algorithm for Massive Data Streams, J. Feigenbaum,
S. Kannan, M. Strauss, M. Viswanathan. SIAM Journal on
Computing 32(1), 2002. Subsumes earlier paper in IEEE Symposium on
Foundations of Computer Science (FOCS) 1999.
- Verisim: Formal Analysis of Network
Simulation, K. Bhargavan, C.A. Gunter, M. Kim, I. Lee,
D. Obradovic, O. Sokolsky, M. Viswanathan. IEEE transactions
on Software Engineering 28(2), 2002. Subsumes earlier paper in ACM
International Symposium on Software Testing and Analysis (ISSTA)
2000.
- Java-MaC: A Runtime Assurance Tool for Java
Programs, M. Kim, S. Kannan, I. Lee, O. Sokolsky,
M. Viswanathan. Workshop on Runtime Verification (RV), 2001.
- Foundations of Circular Compositional
Reasoning, M. Viswanathan,
R. Viswanathan. International Colloquium on Automata,
Languages and Programming (ICALP), 2001.
- The Relationship between Public Key Encryption and
Oblivious Transfer, Y. Gertner, S. Kannan, T. Malkin,
O. Reingold, M. Viswanathan. IEEE Symposium on Foundations of
Computer Science (FOCS) 2000.
- Spot-Checkers, F. Ergun, S. Kannan,
S.R. Kumar, R. Rubinfeld, M. Viswanathan. Journal of Computer
and System Sciences. Subsumes earlier paper in ACM Symposium on
Theory of Computation (STOC), 1998.
- Steering of Real-Time Systems based on Monitoring
and Checking, O. Sokolsky, S. Kannan, M. Kim, I. Lee,
M. Viswanathan. Workshop on Object Oriented Real-Time
Dependable Systems, 1999.
- Runtime Assurance Based on Formal
Specifications, I. Lee, S. Kannan, M. Kim, O. Sokolsky,
M. Viswanathan. International Conference on Parallel and
Distributed Processing Techniques and Applications, 1999.
- Formally Specified Monitoring of
Temporal Properties, M. Kim, M. Viswanathan,
H.B.-Abdullah, S. Kannan, I. Lee, O. Sokolsky. IEEE Euromicro
Conference on Real-time Systems, 1999.
- Complexity of Problems on Graphs
Represented as OBDDs, J. Feigenbaum, S. Kannan, M. Vardi,
M. Viswanathan. Chicago Journal on Theoretical Computer
Science, 1999. Subsumes earlier paper in Symposium on Theoretical
Aspects of Computer Science (STACS), 1998.
- Membership Questions for Timed and Hybrid
Automata, R. Alur, R.P. Kurshan,
M/. Viswanathan. IEEE Real-Time Systems Symposium (RTSS),
1998.