팔로우
Mahesh Viswanathan
제목
인용
인용
연도
Statistical model checking of black-box probabilistic systems
K Sen, M Viswanathan, G Agha
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
3402004
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
3362002
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
3062004
On statistical model checking of stochastic systems
K Sen, M Viswanathan, G Agha
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
2992005
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
2941998
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
2552001
Runtime assurance based on formal specifications
I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan
Departmental Papers (CIS), 294, 1999
2431999
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
2222000
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
2132005
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
1921999
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
1882015
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
1342006
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
1262002
Model checking multithreaded programs with asynchronous atomic methods
K Sen, M Viswanathan
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
1222006
Verification of annotated models from executions
PS Duggirala, S Mitra, M Viswanathan
2013 Proceedings of the International Conference on Embedded Software …, 2013
1172013
Congruences for visibly pushdown languages
R Alur, V Kumar, P Madhusudan, M Viswanathan
Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005
882005
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
872013
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
862017
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
862007
Foundations for the run-time analysis of software systems
M Viswanathan
University of Pennsylvania, 2000
862000
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20