default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMahesh 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
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
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]