Year |
Citation |
Score |
2020 |
Mathur U, Bauer MS, Chadha R, Sistla AP, Viswanathan M. Exact quantitative probabilistic model checking through rational search Formal Methods in System Design. 1-37. DOI: 10.1007/S10703-020-00348-Y |
0.339 |
|
2019 |
Ben Y, Chadha R, Sistla AP, Viswanathan M. Decidable and expressive classes of probabilistic automata Journal of Computer and System Sciences. 100: 70-95. DOI: 10.1016/J.Jcss.2018.09.002 |
0.304 |
|
2016 |
Wang Y, Roohi N, West M, Viswanathan M, Dullerud GE. A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems Ifac-Papersonline. 48: 263-273. DOI: 10.1016/J.Ifacol.2015.11.186 |
0.336 |
|
2015 |
Prabhakar P, Dullerud G, Viswanathan M. Stability Preserving Simulations and Bisimulations for Hybrid Systems Ieee Transactions On Automatic Control. 60: 3210-3225. DOI: 10.1109/Tac.2015.2422431 |
0.353 |
|
2015 |
Prabhakar P, Vladimerou V, Viswanathan M, Dullerud G. A decidable class of planar linear hybrid systems Theoretical Computer Science. 574: 1-17. DOI: 10.1016/J.Tcs.2014.11.018 |
0.332 |
|
2015 |
Legay A, Viswanathan M. Statistical model checking: Challenges and perspectives International Journal On Software Tools For Technology Transfer. 17: 369-376. DOI: 10.1007/S10009-015-0384-Z |
0.378 |
|
2015 |
Roohi N, Viswanathan M. Statistical model checking for unbounded until formulas International Journal On Software Tools For Technology Transfer. 17: 417-427. DOI: 10.1007/S10009-015-0368-Z |
0.348 |
|
2014 |
Chadha R, Viswanathan M, Viswanathan R. Least upper bounds for probability measures and their applications to abstractions Information and Computation. 234: 68-106. DOI: 10.1016/J.Ic.2013.12.003 |
0.33 |
|
2013 |
Bonnet R, Chadha R, Madhusudan P, Viswanathan M. Reachability under contextual locking Logical Methods in Computer Science. 9. DOI: 10.2168/Lmcs-9(3:21)2013 |
0.306 |
|
2012 |
Vladimerou V, Prabhakar P, Viswanathan M, Dullerud G. Verification of bounded discrete horizon hybrid automata Ieee Transactions On Automatic Control. 57: 1445-1455. DOI: 10.1109/Tac.2011.2178319 |
0.341 |
|
2010 |
Chadha R, Viswanathan M. A counterexample-guided abstraction-refinement framework for markov decision processes Acm Transactions On Computational Logic. 12. DOI: 10.1145/1838552.1838553 |
0.349 |
|
2009 |
Chadha R, Sistla AP, Viswanathan M. On the expressiveness and complexity of randomization in finite state monitors Journal of the Acm. 56: 26. DOI: 10.1145/1552285.1552287 |
0.371 |
|
2009 |
Chadha R, Viswanathan M. Deciding branching time properties for asynchronous programs Theoretical Computer Science. 410: 4169-4179. DOI: 10.1016/J.Tcs.2009.01.021 |
0.383 |
|
2003 |
Feigenbaum J, Kannan S, Strauss MJ, Viswanathan M. An approximate L1-difference algorithm for massive data streams Siam Journal On Computing. 32: 131-151. DOI: 10.1137/S0097539799361701 |
0.321 |
|
2002 |
Bhargavan K, Gunter CA, Kim M, Lee I, Obradovic D, Sokolsky O, Viswanathan M. Verisim: Formal analysis of network simulations Ieee Transactions On Software Engineering. 28: 129-145. DOI: 10.1109/32.988495 |
0.496 |
|
2000 |
Ergün F, Kannan S, Kumar SR, Rubinfeld R, Viswanathan M. Spot-checkers Journal of Computer and System Sciences. 60: 717-751. DOI: 10.1006/Jcss.1999.1692 |
0.355 |
|
Show low-probability matches. |