| Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 349 | 2004 |
| 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 | 338 | 2002 |
| 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, 129-155, 2004 | 310 | 2004 |
| On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 303 | 2005 |
| Spot-checkers F Ergün, S Kannan, SR Kumar, R Rubinfeld, M Viswanathan Proceedings of the thirtieth annual ACM symposium on Theory of computing …, 1998 | 296 | 1998 |
| 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 | 259 | 2001 |
| Runtime assurance based on formal specifications I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan Departmental Papers (CIS), 294, 1999 | 246 | 1999 |
| 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 | 223 | 2000 |
| 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 | 214 | 2005 |
| 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 | 193 | 1999 |
| C2E2: A verification tool for stateflow models PS Duggirala, S Mitra, M Viswanathan, M Potok Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 189 | 2015 |
| Model-checking Markov chains in the presence of uncertainties K Sen, M Viswanathan, G Agha Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006 | 138 | 2006 |
| 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 | 126 | 2002 |
| Model checking multithreaded programs with asynchronous atomic methods K Sen, M Viswanathan Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 124 | 2006 |
| Verification of annotated models from executions PS Duggirala, S Mitra, M Viswanathan 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 117 | 2013 |
| DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems C Fan, B Qi, S Mitra, M Viswanathan Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 92 | 2017 |
| Automated grading of DFA constructions R Alur, L D’Antoni, S Gulwani, D Kini IJCAI'13 Proceedings of the Twenty-Third international joint conference on …, 2013 | 91 | 2013 |
| Congruences for visibly pushdown languages R Alur, V Kumar, P Madhusudan, M Viswanathan Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005 | 90 | 2005 |
| 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 | 88 | 2007 |
| Automatic reachability analysis for nonlinear hybrid models with C2E2 C Fan, B Qi, S Mitra, M Viswanathan, PS Duggirala Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 87 | 2016 |
