mahesh viswanathan
- 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.
- 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.
- 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.
- 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.
- On the Complexity of Error
Explanation, N. Kumar, V. Kumar,
M. Viswanathan. International Conference on Verification,
Model Checking, and Abstract Interpretation (VMCAI), 2005.
- A Higher Order Modal Fixed Point Logic,
M. Viswanathan, R. Viswanathan. International Conference
on Concurrency Theory (CONCUR), 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.
- 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.
- 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.