![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Mahesh Viswanathan 0001
Person information
- affiliation: University of Illinois at Urbana-Champaign, Champaign, IL, USA
Other persons with the same name
- Mahesh Viswanathan 0002 — IBM Watson Research Center
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c125]Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra:
Optimal Runtime Assurance via Reinforcement Learning. ICCPS 2024: 67-76 - [i27]Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan:
Deciding branching hyperproperties for real time systems. CoRR abs/2405.12104 (2024) - 2023
- [j38]Hünkar Can Tunç
, Umang Mathur
, Andreas Pavlogiannis
, Mahesh Viswanathan
:
Sound Dynamic Deadlock Prediction in Linear Time. Proc. ACM Program. Lang. 7(PLDI): 1733-1758 (2023) - [j37]Mosaad Al Thokair
, Minjian Zhang
, Umang Mathur
, Mahesh Viswanathan
:
Dynamic Race Detection with O(1) Samples. Proc. ACM Program. Lang. 7(POPL): 1308-1337 (2023) - [c124]Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra:
RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA 2023: 302-313 - [c123]Rohit Chadha
, A. Prasad Sistla
, Mahesh Viswanathan
, Bishnu Bhusal
:
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CCS 2023: 1761-1775 - [c122]Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan:
Stack-Aware Hyperproperties. TACAS (1) 2023: 308-325 - [i26]Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan:
Stack-Aware Hyperproperties. CoRR abs/2301.11521 (2023) - [i25]Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan:
Sound Dynamic Deadlock Prediction in Linear Time. CoRR abs/2304.03692 (2023) - [i24]Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra:
RTAEval: A framework for evaluating runtime assurance logic. CoRR abs/2306.04585 (2023) - [i23]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal:
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CoRR abs/2309.06615 (2023) - [i22]Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan:
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. CoRR abs/2310.04288 (2023) - 2022
- [j36]Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West:
Evaluating proof blocks problems as exam questions. Inroads 13(1): 41-51 (2022) - [j35]Mahesh Viswanathan:
Automata column. ACM SIGLOG News 9(3): 5 (2022) - [j34]Mahesh Viswanathan:
Automata Column. ACM SIGLOG News 9(4): 4 (2022) - [j33]Chuchu Fan
, Zengyi Qin
, Umang Mathur
, Qiang Ning
, Sayan Mitra
, Mahesh Viswanathan
:
Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. 67(4): 1713-1727 (2022) - [c121]Umang Mathur, Andreas Pavlogiannis
, Hünkar Can Tunç
, Mahesh Viswanathan:
A tree clock data structure for causal orderings in concurrent executions. ASPLOS 2022: 710-725 - [c120]Seth Poulsen
, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West:
Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs. ITiCSE (1) 2022: 428-434 - [i21]Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan:
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. CoRR abs/2201.06325 (2022) - 2021
- [j32]Umang Mathur
, Andreas Pavlogiannis
, Mahesh Viswanathan:
Optimal prediction of synchronization-preserving races. Proc. ACM Program. Lang. 5(POPL): 1-29 (2021) - [j31]Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan:
Deciding accuracy of differential privacy schemes. Proc. ACM Program. Lang. 5(POPL): 1-30 (2021) - [j30]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. ACM Trans. Embed. Comput. Syst. 20(6): 113:1-113:27 (2021) - [c119]Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West:
Evaluating Proof Blocks Problems as Exam Questions. ICER 2021: 157-168 - [c118]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. LICS 2021: 1-13 - [c117]Minjian Zhang
, Umang Mathur
, Mahesh Viswanathan:
Checking LTL[F, G, X] on compressed traces in polynomial time. ESEC/SIGSOFT FSE 2021: 131-143 - [i20]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. CoRR abs/2104.14519 (2021) - [i19]Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West:
Proof Blocks: Autogradeable Scaffolding Activities for Learning to Write Proofs. CoRR abs/2106.11032 (2021) - 2020
- [j29]Umang Mathur
, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Exact quantitative probabilistic model checking through rational search. Formal Methods Syst. Des. 56(1): 90-126 (2020) - [j28]Umang Mathur
, Adithya Murali
, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan:
Deciding memory safety for single-pass heap-manipulating programs. Proc. ACM Program. Lang. 4(POPL): 35:1-35:29 (2020) - [c116]Umang Mathur
, Mahesh Viswanathan:
Atomicity Checking in Linear Time using Vector Clocks. ASPLOS 2020: 183-199 - [c115]Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan:
Modelchecking Safety Properties in Randomized Security Protocols. Logic, Language, and Security 2020: 167-183 - [c114]Nima Roohi
, Yu Wang
, Matthew West, Geir E. Dullerud, Mahesh Viswanathan:
STMC: Statistical Model Checker with Stratified and Antithetic Sampling. CAV (2) 2020: 448-460 - [c113]Paul Krogmeier
, Umang Mathur
, Adithya Murali
, P. Madhusudan, Mahesh Viswanathan:
Decidable Synthesis of Programs with Uninterpreted Functions. CAV (2) 2020: 634-657 - [c112]Yu Wang
, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CDC 2020: 1392-1397 - [c111]Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan:
Deciding Differential Privacy for Programs with Finite Inputs and Outputs. LICS 2020: 141-154 - [c110]Umang Mathur
, Andreas Pavlogiannis
, Mahesh Viswanathan:
The Complexity of Dynamic Data Race Prediction. LICS 2020: 713-727 - [c109]Umang Mathur
, P. Madhusudan, Mahesh Viswanathan:
What's Decidable About Program Verification Modulo Axioms? TACAS (2) 2020: 158-177 - [i18]Umang Mathur, Mahesh Viswanathan:
Atomicity Checking in Linear Time using Vector Clocks. CoRR abs/2001.04961 (2020) - [i17]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CoRR abs/2004.00273 (2020) - [i16]Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan:
The Complexity of Dynamic Data Race Prediction. CoRR abs/2004.14931 (2020) - [i15]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. CoRR abs/2009.07649 (2020) - [i14]Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan:
Optimal Prediction of Synchronization-Preserving Races. CoRR abs/2010.16385 (2020) - [i13]Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan:
Deciding Accuracy of Differential Privacy Schemes. CoRR abs/2011.06404 (2020)
2010 – 2019
- 2019
- [j27]Yu Wang
, Nima Roohi, Matthew West
, Mahesh Viswanathan, Geir E. Dullerud:
Statistical verification of PCTL using antithetic and stratified samples. Formal Methods Syst. Des. 54(2): 145-163 (2019) - [j26]Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Decidable and expressive classes of probabilistic automata. J. Comput. Syst. Sci. 100: 70-95 (2019) - [j25]Umang Mathur
, P. Madhusudan, Mahesh Viswanathan:
Decidable verification of uninterpreted programs. Proc. ACM Program. Lang. 3(POPL): 46:1-46:29 (2019) - [c108]Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV 2019: 1-14 - [i12]Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan:
Deciding Memory Safety for Forest Datastructures. CoRR abs/1907.00298 (2019) - [i11]Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan:
Automated Methods for Checking Differential Privacy. CoRR abs/1910.04137 (2019) - [i10]Nima Roohi, Mahesh Viswanathan:
Revisiting MITL to Fix Decision Procedures. CoRR abs/1910.04216 (2019) - [i9]Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan:
Decidable Synthesis of Programs with Uninterpreted Functions. CoRR abs/1910.09744 (2019) - [i8]Umang Mathur, P. Madhusudan, Mahesh Viswanathan:
What's Decidable About Program Verification Modulo Axioms? CoRR abs/1910.10889 (2019) - 2018
- [j24]Umang Mathur
, Dileep Kini, Mahesh Viswanathan:
What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection. Proc. ACM Program. Lang. 2(OOPSLA): 145:1-145:29 (2018) - [c107]Yu Wang
, Nima Roohi, Matthew West
, Mahesh Viswanathan, Geir E. Dullerud:
Statistical Verification of PCTL Using Stratified Samples. ADHS 2018: 85-90 - [c106]Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Model Checking Indistinguishability of Randomized Security Protocols. CAV (2) 2018: 117-135 - [c105]Chuchu Fan
, Umang Mathur
, Sayan Mitra
, Mahesh Viswanathan:
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) 2018: 347-366 - [c104]Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan:
Relating Syntactic and Semantic Perturbations of Hybrid Automata. CONCUR 2018: 26:1-26:16 - [c103]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Approximating Probabilistic Automata by Regular Languages. CSL 2018: 14:1-14:23 - [c102]P. Madhusudan, Umang Mathur
, Shambwaditya Saha, Mahesh Viswanathan:
A Decidable Fragment of Second Order Logic With Applications to Synthesis. CSL 2018: 31:1-31:19 - [c101]Dileep Kini, Umang Mathur
, Mahesh Viswanathan:
Data race detection on compressed traces. ESEC/SIGSOFT FSE 2018: 26-37 - [c100]Nima Roohi, Mahesh Viswanathan:
Revisiting MITL to Fix Decision Procedures. VMCAI 2018: 474-494 - [i7]Dileep Kini, Umang Mathur, Mahesh Viswanathan:
Data Race Detection on Compressed Traces. CoRR abs/1807.08427 (2018) - [i6]Umang Mathur, Dileep Kini, Mahesh Viswanathan:
What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection. CoRR abs/1808.00185 (2018) - [i5]Umang Mathur, P. Madhusudan, Mahesh Viswanathan:
Decidable Verification of Uninterpreted Programs. CoRR abs/1811.00192 (2018) - 2017
- [j23]Yu Wang
, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan:
Stability Analysis of Switched Linear Systems Defined by Regular Languages. IEEE Trans. Autom. Control. 62(5): 2568-2575 (2017) - [c99]Chuchu Fan
, Bolun Qi, Sayan Mitra
, Mahesh Viswanathan:
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) 2017: 441-461 - [c98]Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan:
Modular Verification of Protocol Equivalence in the Presence of Randomness. ESORICS (1) 2017: 187-205 - [c97]Matthew S. Bauer, Umang Mathur
, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Exact quantitative probabilistic model checking through rational search. FMCAD 2017: 92-99 - [c96]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. FoSSaCS 2017: 231-247 - [c95]Dileep Kini, Mahesh Viswanathan:
Complexity of Model Checking MDPs against LTL Specifications. FSTTCS 2017: 35:1-35:13 - [c94]Nima Roohi, Yu Wang
, Matthew West
, Geir E. Dullerud, Mahesh Viswanathan:
Statistical Verification of the Toyota Powertrain Control Verification Benchmark. HSCC 2017: 65-70 - [c93]Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan:
Robust Model Checking of Timed Automata under Clock Drifts. HSCC 2017: 153-162 - [c92]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Verification of randomized security protocols. LICS 2017: 1-12 - [c91]Dileep Kini, Umang Mathur
, Mahesh Viswanathan:
Dynamic race prediction in linear time. PLDI 2017: 157-170 - [c90]Vijay Bhattiprolu, Spencer Gordon, Mahesh Viswanathan:
Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars. QEST 2017: 3-19 - [c89]Dileep Kini, Mahesh Viswanathan:
Optimal Translation of LTL to Limit Deterministic Automata. TACAS (2) 2017: 113-129 - [c88]Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan:
HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. TACAS (1) 2017: 573-588 - [i4]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR abs/1702.06902 (2017) - [i3]Dileep Kini, Umang Mathur, Mahesh Viswanathan:
Dynamic Race Prediction in Linear Time. CoRR abs/1704.02432 (2017) - [i2]P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan:
A Decidable Fragment of Second Order Logic With Applications to Synthesis. CoRR abs/1712.05513 (2017) - 2016
- [c87]Parasara Sridhar Duggirala, Chuchu Fan
, Matthew Potok, Bolun Qi, Sayan Mitra
, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov
, Taylor T. Johnson
, Luan Viet Nguyen
, Christian Schilling
, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
:
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA 2016: 1024-1029 - [c86]Parasara Sridhar Duggirala, Mahesh Viswanathan:
Parsimonious, Simulation Based Verification of Linear Systems. CAV (1) 2016: 477-494 - [c85]Chuchu Fan
, Bolun Qi, Sayan Mitra
, Mahesh Viswanathan, Parasara Sridhar Duggirala:
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) 2016: 531-538 - [c84]Yu Wang
, Nima Roohi, Matthew West
, Mahesh Viswanathan, Geir E. Dullerud:
Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. CDC 2016: 3012-3017 - [c83]Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan:
Composing Protocols with Randomized Actions. POST 2016: 189-210 - [c82]Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan:
Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. TACAS 2016: 752-769 - 2015
- [j22]Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra
, Mahesh Viswanathan:
Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. 46(2): 105-134 (2015) - [j21]Axel Legay, Mahesh Viswanathan:
Statistical model checking: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. 17(4): 369-376 (2015) - [j20]Nima Roohi, Mahesh Viswanathan:
Statistical model checking for unbounded until formulas. Int. J. Softw. Tools Technol. Transf. 17(4): 417-427 (2015) - [j19]Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan:
Stability Preserving Simulations and Bisimulations for Hybrid Systems. IEEE Trans. Autom. Control. 60(12): 3210-3225 (2015) - [j18]Pavithra Prabhakar
, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
A decidable class of planar linear hybrid systems. Theor. Comput. Sci. 574: 1-17 (2015) - [j17]Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann:
How Can Automatic Feedback Help Students Construct Automata? ACM Trans. Comput. Hum. Interact. 22(2): 9:1-9:24 (2015) - [c81]Yu Wang
, Nima Roohi, Matthew West
, Mahesh Viswanathan, Geir E. Dullerud:
A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. ADHS 2015: 267-273 - [c80]Parasara Sridhar Duggirala, Chuchu Fan
, Sayan Mitra
, Mahesh Viswanathan:
Meeting a Powertrain Verification Challenge. CAV (1) 2015: 536-543 - [c79]Chuchu Fan
, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek 2015: 207-212 - [c78]Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi:
Floating Time Transition System: More Efficient Analysis of Timed Actors. FACS 2015: 237-255 - [c77]Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan:
Deciding Concurrent Planar Monotonic Linear Hybrid Systems. FORMATS 2015: 256-269 - [c76]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben:
Decidable and Expressive Classes of Probabilistic Automata. FoSSaCS 2015: 200-214 - [c75]Yu Wang
, Nima Roohi, Matthew West
, Mahesh Viswanathan, Geir E. Dullerud:
Statistical verification of dynamical systems using set oriented methods. HSCC 2015: 169-178 - [c74]Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra
, Mahesh Viswanathan:
C2E2: a tool for verifying annotated hybrid systems. HSCC 2015: 307-308 - [c73]Parasara Sridhar Duggirala, Mahesh Viswanathan:
Analyzing Real Time Linear Control Systems Using Software Verification. RTSS 2015: 216-226 - [c72]Parasara Sridhar Duggirala, Sayan Mitra
, Mahesh Viswanathan, Matthew Potok:
C2E2: A Verification Tool for Stateflow Models. TACAS 2015: 68-82 - [c71]Dileep Kini, Mahesh Viswanathan:
Limit Deterministic and Probabilistic Automata for LTL ∖ GU. TACAS 2015: 628-642 - [e3]Susanne Graf, Mahesh Viswanathan:
Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science 9039, Springer 2015, ISBN 978-3-319-19194-2 [contents] - 2014
- [j16]Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan:
Least upper bounds for probability measures and their applications to abstractions. Inf. Comput. 234: 68-106 (2014) - [c70]Yu Wang
, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan:
Stability of linear autonomous systems under regular switching sequences. CDC 2014: 5445-5450 - [c69]Parasara Sridhar Duggirala, Le Wang, Sayan Mitra
, Mahesh Viswanathan, César A. Muñoz:
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. FM 2014: 215-229 - [c68]Nima Roohi, Mahesh Viswanathan:
Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints. FORMATS 2014: 191-205 - [c67]Rohit Chadha, Dileep Kini, Mahesh Viswanathan:
Quantitative Information Flow in Boolean Programs. POST 2014: 103-119 - [c66]Rohit Chadha, Dileep Kini, Mahesh Viswanathan:
Decidable Problems for Unary PFAs. QEST 2014: 329-344 - [c65]Dileep Kini, Mahesh Viswanathan:
Probabilistic Automata for Safety LTL Specifications. VMCAI 2014: 118-136 - 2013
- [j15]Rémi Bonnet, Rohit Chadha, P. Madhusudan, Mahesh Viswanathan:
Reachability under Contextual Locking. Log. Methods Comput. Sci. 9(3) (2013) - [c64]Parasara Sridhar Duggirala, Sayan Mitra
, Mahesh Viswanathan:
Verification of annotated models from executions. EMSOFT 2013: 26:1-26:10 - [c63]Pavithra Prabhakar, Mahesh Viswanathan:
On the decidability of stability of hybrid systems. HSCC 2013: 53-62 - [c62]Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan:
Automated Grading of DFA Constructions. IJCAI 2013: 1976-1982 - [c61]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Probabilistic Automata with Isolated Cut-Points. MFCS 2013: 254-265 - [c60]Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra
, Mahesh Viswanathan:
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI 2013: 48-67 - 2012
- [j14]Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
Verification of Bounded Discrete Horizon Hybrid Automata. IEEE Trans. Autom. Control. 57(6): 1445-1455 (2012) - [c59]Pavithra Prabhakar, Mahesh Viswanathan:
Conformance Testing of Boolean Programs with Multiple Faults. FMOODS/FORTE 2012: 101-117 - [c58]Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan:
Pre-orders for reasoning about stability. HSCC 2012: 197-206 - [c57]Rohit Chadha, P. Madhusudan, Mahesh Viswanathan:
Reachability under Contextual Locking. TACAS 2012: 437-450 - 2011
- [j13]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Power of Randomization in Automata on Infinite Strings. Log. Methods Comput. Sci. 7(3) (2011) - [j12]Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
Specifications for decidable hybrid games. Theor. Comput. Sci. 412(48): 6770-6785 (2011) - [c56]Pavithra Prabhakar, Mahesh Viswanathan:
A dynamic algorithm for approximate flow computations. HSCC 2011: 133-142 - [c55]Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon:
Model Checking MDPs with a Unique Compact Invariant Set of Distributions. QEST 2011: 121-130 - [c54]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. VMCAI 2011: 103-117 - 2010
- [j11]Ahmed Sobeih, Marcelo d'Amorim
, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
Assertion Checking in J-Sim Simulation Models of Network Protocols. Simul. 86(11): 651-673 (2010) - [j10]Rohit Chadha, Mahesh Viswanathan:
A counterexample-guided abstraction-refinement framework for markov decision processes. ACM Trans. Comput. Log. 12(1): 1:1-1:49 (2010) - [c53]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Model Checking Concurrent Programs with Nondeterminism and Randomization. FSTTCS 2010: 364-375 - [c52]Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon:
Reasoning about MDPs as Transformers of Probability Distributions. QEST 2010: 199-208 - [c51]Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan:
Complexity Bounds for the Verification of Real-Time Software. VMCAI 2010: 95-111
2000 – 2009
- 2009
- [j9]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On the expressiveness and complexity of randomization in finite state monitors. J. ACM 56(5): 26:1-26:44 (2009) - [j8]Rohit Chadha, Mahesh Viswanathan:
Deciding branching time properties for asynchronous programs. Theor. Comput. Sci. 410(42): 4169-4179 (2009) - [c50]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Power of Randomization in Automata on Infinite Strings. CONCUR 2009: 229-243 - [c49]Pavithra Prabhakar, Sayan Mitra
, Mahesh Viswanathan:
On Convergence of Concurrent Systems under Regular Interactions. CONCUR 2009: 527-541 - [c48]Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
STORMED Hybrid Games. HSCC 2009: 480-484 - [c47]P. Madhusudan, Mahesh Viswanathan:
Query Automata for Nested Words. MFCS 2009: 561-573 - [c46]Axel Legay, Mahesh Viswanathan:
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. QEST 2009: 3 - [c45]Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
Verifying Tolerant Systems Using Polynomial Approximations. RTSS 2009: 181-190 - 2008
- [c44]Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan:
Least Upper Bounds for Probability Measures and Their Applications to Abstractions. CONCUR 2008: 264-278 - [c43]Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan:
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS 2008: 39-58 - [c42]Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
A Decidable Class of Planar Linear Hybrid Systems. HSCC 2008: 401-414 - [c41]Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
STORMED Hybrid Systems. ICALP (2) 2008: 136-147 - [c40]Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan:
Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300 - [c39]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS 2008: 18-29 - [e2]Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan:
Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Lecture Notes in Computer Science 5311, Springer 2008, ISBN 978-3-540-88386-9 [contents] - [i1]Rohit Chadha, Mahesh Viswanathan:
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes. CoRR abs/0807.1173 (2008) - 2007
- [j7]Abhay Vardhan, Mahesh Viswanathan:
Learning to verify branching time properties. Formal Methods Syst. Des. 31(1): 35-61 (2007) - [c38]Rohit Chadha, Mahesh Viswanathan:
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. CONCUR 2007: 136-150 - [c37]Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. IPDPS 2007: 1-6 - [c36]Viraj Kumar
, P. Madhusudan, Mahesh Viswanathan:
Visibly pushdown automata for streaming XML. WWW 2007: 1053-1062 - 2006
- [c35]Koushik Sen, Mahesh Viswanathan:
Model Checking Multithreaded Programs with Asynchronous Atomic Methods. CAV 2006: 300-314 - [c34]Abhay Vardhan, Mahesh Viswanathan:
LEVER: A Tool for Learning Based Verification. CAV 2006: 471-474 - [c33]Viraj Kumar
, P. Madhusudan, Mahesh Viswanathan:
Minimization, Learning, and Conformance Testing of Boolean Programs. CONCUR 2006: 203-217 - [c32]Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan:
Propositional Tree Automata. RTA 2006: 50-65 - [c31]Koushik Sen, Mahesh Viswanathan, Gul Agha:
Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410 - 2005
- [c30]Koushik Sen, Mahesh Viswanathan, Gul Agha:
On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280 - [c29]Rajeev Alur, Viraj Kumar
, P. Madhusudan, Mahesh Viswanathan:
Congruences for Visibly Pushdown Languages. ICALP 2005: 1102-1114 - [c28]Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. ICFEM 2005: 235-250 - [c27]Abhay Vardhan, Mahesh Viswanathan:
Learning to verify branching time properties. ASE 2005: 325-328 - [c26]Koushik Sen, Mahesh Viswanathan, Gul A. Agha:
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252 - [c25]Viraj Kumar, Mahesh Viswanathan:
Conformance testing in the presence of multiple faults. SODA 2005: 1136-1145 - [c24]Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60 - [c23]Nirman Kumar, Viraj Kumar
, Mahesh Viswanathan:
On the Complexity of Error Explanation. VMCAI 2005: 448-464 - 2004
- [j6]Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky:
Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods Syst. Des. 24(2): 129-155 (2004) - [c22]Koushik Sen, Mahesh Viswanathan, Gul Agha:
Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215 - [c21]Mahesh Viswanathan, Ramesh Viswanathan:
A Higher Order Modal Fixed Point Logic. CONCUR 2004: 512-528 - [c20]Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505 - [c19]Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Learning to Verify Safety Properties. ICFEM 2004: 274-289 - [c18]Mahesh Viswanathan, Moonzoo Kim:
Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC 2004: 543-556 - [c17]Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou:
Check and simulate: a case for incorporating model checking in network simulation. MEMOCODE 2004: 27-36 - [c16]Koushik Sen, Mahesh Viswanathan, Gul Agha:
Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155 - 2003
- [c15]Grigore Rosu, Mahesh Viswanathan:
Testing Extended Regular Language Membership Incrementally by Rewriting. RTA 2003: 499-514 - [c14]Oleg Sokolsky, Mahesh Viswanathan:
Preface. RV@CAV 2003: 246-247 - [e1]Oleg Sokolsky, Mahesh Viswanathan:
Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 89(2), Elsevier 2003 [contents] - 2002
- [j5]Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan:
Testing and Spot-Checking of Data Streams. Algorithmica 34(1): 67-80 (2002) - [j4]Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan:
An Approximate L1-Difference Algorithm for Massive Data Streams. SIAM J. Comput. 32(1): 131-151 (2002) - [j3]Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28(2): 129-145 (2002) - [c13]Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky
, Mahesh Viswanathan:
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. RV@FLoC 2002: 80-94 - 2001
- [c12]Mahesh Viswanathan, Ramesh Viswanathan:
Foundations for Circular Compositional Reasoning. ICALP 2001: 835-847 - [c11]Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
Java-MaC: a Run-time Assurance Tool for Java Programs. RV@CAV 2001: 218-235 - 2000
- [j2]Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan:
Spot-Checkers. J. Comput. Syst. Sci. 60(3): 717-751 (2000) - [c10]Yael Gertner, Sampath Kannan, Tal Malkin, Omer Reingold, Mahesh Viswanathan:
The Relationship between Public Key Encryption and Oblivious Transfer. FOCS 2000: 325-335 - [c9]Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13 - [c8]Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan:
Testing and spot-checking of data streams (extended abstract). SODA 2000: 165-174
1990 – 1999
- 1999
- [j1]Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan:
The Complexity of Problems on Graphs Represented as OBDDs. Chic. J. Theor. Comput. Sci. 1999 (1999) - [c7]Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah
, Sampath Kannan, Insup Lee, Oleg Sokolsky:
Formally specified monitoring of temporal properties. ECRTS 1999: 114-122 - [c6]Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan:
An Approximate L1-Difference Algorithm for Massive Data Streams. FOCS 1999: 501-511 - [c5]Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan:
Runtime Assurance Based On Formal Specifications. PDPTA 1999: 279-287 - [c4]Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan:
Steering of real-time systems based on monitoring and checking. WORDS (Fall) 1999: 11-18 - 1998
- [c3]Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan:
Membership Questions for Timed and Hybrid Automata. RTSS 1998: 254-263 - [c2]Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan:
Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226 - [c1]Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan:
Spot-Checkers. STOC 1998: 259-268
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint