Mahesh Viswanathan

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 85

Top Venues

CoRR

Proc. ACM Program. Lang.

CAV (1)

HSCC

Publications

Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Deciding branching hyperproperties for real time systems. CoRR (2024)
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra
Optimal Runtime Assurance via Reinforcement Learning. ICCPS (2024)
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
RTAEval: A framework for evaluating runtime assurance logic. CoRR (2023)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
Sound Dynamic Deadlock Prediction in Linear Time. CoRR (2023)
Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
Dynamic Race Detection with O(1) Samples. Proc. ACM Program. Lang. 7 (POPL) (2023)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CCS (2023)
Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Stack-Aware Hyperproperties. CoRR (2023)
Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Sound Dynamic Deadlock Prediction in Linear Time. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Stack-Aware Hyperproperties. TACAS (1) (2023)
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 (2023)
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA (2023)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CoRR (2023)
Mahesh Viswanathan
Automata column. ACM SIGLOG News 9 (3) (2022)
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) (2022)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs. ITiCSE (1) (2022)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
A tree clock data structure for causal orderings in concurrent executions. ASPLOS (2022)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. CoRR (2022)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Evaluating proof blocks problems as exam questions. Inroads 13 (1) (2022)
Mahesh Viswanathan
Automata Column. ACM SIGLOG News 9 (4) (2022)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Evaluating Proof Blocks Problems as Exam Questions. ICER (2021)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. CoRR (2021)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Optimal prediction of synchronization-preserving races. Proc. ACM Program. Lang. 5 (POPL) (2021)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Proof Blocks: Autogradeable Scaffolding Activities for Learning to Write Proofs. CoRR (2021)
Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
Deciding accuracy of differential privacy schemes. Proc. ACM Program. Lang. 5 (POPL) (2021)
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) (2021)
Minjian Zhang, Umang Mathur, Mahesh Viswanathan
Checking LTL[F, G, X] on compressed traces in polynomial time. ESEC/SIGSOFT FSE (2021)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. LICS (2021)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
The Complexity of Dynamic Data Race Prediction. LICS (2020)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
The Complexity of Dynamic Data Race Prediction. CoRR (2020)
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) (2020)
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) (2020)
Umang Mathur, Mahesh Viswanathan
Atomicity Checking in Linear Time using Vector Clocks. CoRR (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. CoRR (2020)
Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan
Deciding Differential Privacy for Programs with Finite Inputs and Outputs. LICS (2020)
Umang Mathur, Mahesh Viswanathan
Atomicity Checking in Linear Time using Vector Clocks. ASPLOS (2020)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Optimal Prediction of Synchronization-Preserving Races. CoRR (2020)
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
Modelchecking Safety Properties in Randomized Security Protocols. Logic, Language, and Security (2020)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
What's Decidable About Program Verification Modulo Axioms? TACAS (2) (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CoRR (2020)
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
STMC: Statistical Model Checker with Stratified and Antithetic Sampling. CAV (2) (2020)
Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
Deciding Accuracy of Differential Privacy Schemes. CoRR (2020)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Decidable Synthesis of Programs with Uninterpreted Functions. CAV (2) (2020)
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)
Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV (2019)
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
Deciding Memory Safety for Forest Datastructures. CoRR (2019)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Decidable Synthesis of Programs with Uninterpreted Functions. CoRR (2019)
Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Decidable and expressive classes of probabilistic automata. J. Comput. Syst. Sci. 100 (2019)
Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan
Automated Methods for Checking Differential Privacy. CoRR (2019)
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) (2019)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
What's Decidable About Program Verification Modulo Axioms? CoRR (2019)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
Decidable verification of uninterpreted programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Nima Roohi, Mahesh Viswanathan
Revisiting MITL to Fix Decision Procedures. CoRR (2019)
Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) (2018)
Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Model Checking Indistinguishability of Randomized Security Protocols. CAV (2) (2018)
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
A Decidable Fragment of Second Order Logic With Applications to Synthesis. CSL (2018)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
Decidable Verification of Uninterpreted Programs. CoRR (2018)
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) (2018)
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Data Race Detection on Compressed Traces. CoRR (2018)
Umang Mathur, Dileep Kini, Mahesh Viswanathan
What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection. CoRR (2018)
Nima Roohi, Mahesh Viswanathan
Revisiting MITL to Fix Decision Procedures. VMCAI (2018)
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Data race detection on compressed traces. ESEC/SIGSOFT FSE (2018)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Approximating Probabilistic Automata by Regular Languages. CSL (2018)
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
Relating Syntactic and Semantic Perturbations of Hybrid Automata. CONCUR (2018)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical Verification of PCTL Using Stratified Samples. ADHS (2018)
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
Robust Model Checking of Timed Automata under Clock Drifts. HSCC (2017)
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
Modular Verification of Protocol Equivalence in the Presence of Randomness. ESORICS (1) (2017)
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
Statistical Verification of the Toyota Powertrain Control Verification Benchmark. HSCC (2017)
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
A Decidable Fragment of Second Order Logic With Applications to Synthesis. CoRR (2017)
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Dynamic race prediction in linear time. PLDI (2017)
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) (2017)
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) (2017)
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Dynamic Race Prediction in Linear Time. CoRR (2017)
Dileep Kini, Mahesh Viswanathan
Complexity of Model Checking MDPs against LTL Specifications. FSTTCS (2017)
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR (2017)
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. TACAS (1) (2017)
Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Exact quantitative probabilistic model checking through rational search. FMCAD (2017)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. FoSSaCS (2017)
Dileep Kini, Mahesh Viswanathan
Optimal Translation of LTL to Limit Deterministic Automata. TACAS (2) (2017)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Verification of randomized security protocols. LICS (2017)
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) (2016)
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
Composing Protocols with Randomized Actions. POST (2016)
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)
Parasara Sridhar Duggirala, Mahesh Viswanathan
Parsimonious, Simulation Based Verification of Linear Systems. CAV (1) (2016)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. CDC (2016)
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. TACAS (2016)
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
A decidable class of planar linear hybrid systems. Theor. Comput. Sci. 574 (2015)
Dileep Kini, Mahesh Viswanathan
Limit Deterministic and Probabilistic Automata for LTL ∖ GU. TACAS (2015)
Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek (2015)
Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. 46 (2) (2015)
Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan
Deciding Concurrent Planar Monotonic Linear Hybrid Systems. FORMATS (2015)
Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan
C2E2: a tool for verifying annotated hybrid systems. HSCC (2015)
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) (2015)
Axel Legay, Mahesh Viswanathan
Statistical model checking: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical verification of dynamical systems using set oriented methods. HSCC (2015)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben
Decidable and Expressive Classes of Probabilistic Automata. FoSSaCS (2015)
Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan
Meeting a Powertrain Verification Challenge. CAV (1) (2015)
Nima Roohi, Mahesh Viswanathan
Statistical model checking for unbounded until formulas. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok
C2E2: A Verification Tool for Stateflow Models. TACAS (2015)
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)
Parasara Sridhar Duggirala, Mahesh Viswanathan
Analyzing Real Time Linear Control Systems Using Software Verification. RTSS (2015)

Mahesh Viswanathan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mahesh Viswanathan