Mahesh Viswanathan
TitleCited byYear
An approximate L 1-difference algorithm for massive data streams
J Feigenbaum, S Kannan, MJ Strauss, M Viswanathan
SIAM Journal on Computing 32 (1), 131-151, 2002
3052002
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), 129-155, 2004
2772004
Statistical model checking of black-box probabilistic systems
K Sen, M Viswanathan, G Agha
International Conference on Computer Aided Verification, 202-215, 2004
2612004
Spot-checkers
F ErgŁn, S Kannan, SR Kumar, R Rubinfeld, M Viswanathan
Journal of Computer and System Sciences 60 (3), 717-751, 2000
2582000
On statistical model checking of stochastic systems
K Sen, M Viswanathan, G Agha
International Conference on Computer Aided Verification, 266-280, 2005
2422005
Java-MaC: a run-time assurance tool for Java programs
M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan
Electronic Notes in Theoretical Computer Science 55 (2), 218-235, 2001
2372001
Runtime assurance based on formal specifications
I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan
Departmental Papers (CIS), 294, 1999
2181999
Vesta: A statistical model-checker and analyzer for probabilistic systems
K Sen, M Viswanathan, G Agha
Second International Conference on the Quantitative Evaluation of Systems†…, 2005
1882005
The relationship between public key encryption and oblivious transfer
Y Gertner, S Kannan, T Malkin, O Reingold, M Viswanathan
Proceedings 41st Annual Symposium on Foundations of Computer Science, 325-335, 2000
1832000
Formally specified monitoring of temporal properties
M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky
Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS†…, 1999
1671999
C2E2: A verification tool for stateflow models
PS Duggirala, S Mitra, M Viswanathan, M Potok
International Conference on Tools and Algorithms for the Construction and†…, 2015
1132015
Verisim: Formal analysis of network simulations
K Bhargavan, CA Gunter, M Kim, I Lee, D Obradovic, O Sokolsky, ...
IEEE Transactions on Software Engineering 28 (2), 129-145, 2002
1132002
Model-checking Markov chains in the presence of uncertainties
K Sen, M Viswanathan, G Agha
International Conference on Tools and Algorithms for the Construction and†…, 2006
1032006
Model checking multithreaded programs with asynchronous atomic methods
K Sen, M Viswanathan
International Conference on Computer Aided Verification, 300-314, 2006
992006
Verification of annotated models from executions
PS Duggirala, S Mitra, M Viswanathan
Proceedings of the Eleventh ACM International Conference on Embedded†…, 2013
952013
Foundations for the Run-time Analysis of Software systems
M Viswanathan
862000
Visibly pushdown automata for streaming XML
V Kumar, P Madhusudan, M Viswanathan
Proceedings of the 16th international conference on World Wide Web, 1053-1062, 2007
772007
Congruences for visibly pushdown languages
R Alur, V Kumar, P Madhusudan, M Viswanathan
International Colloquium on Automata, Languages, and Programming, 1102-1114, 2005
702005
Automated grading of DFA constructions
R Alur, L D'Antoni, S Gulwani, D Kini, M Viswanathan
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
632013
Testing and spot-checking of data streams
J Feigenbaum, S Kannan, M Strauss, M Viswanathan
Algorithmica 34 (1), 67-80, 2002
622002
The system can't perform the operation now. Try again later.
Articles 1–20