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.
- 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, 2001.
- Foundations of Circular Compositional
Reasoning, M. Viswanathan,
R. Viswanathan. International Colloquim 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.