mahesh viswanathan
- 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.
- 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.