mahesh viswanathan
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Membership Questions for Timed and Hybrid
Automata, R. Alur, R.P. Kurshan,
M/. Viswanathan. IEEE Real-Time Systems Symposium (RTSS),
1998.