| 2025 | CCS | Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions. | Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2023 | ATVA | RTAEval: A Framework for Evaluating Runtime Assurance Logic. | Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra |
| 2023 | CCS | Deciding Differential Privacy of Online Algorithms with Multiple Variables. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal |
| 2023 | TACAS | Stack-Aware Hyperproperties. | Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan |
| 2022 | ASPLOS | A tree clock data structure for causal orderings in concurrent executions. | Umang Mathur, Andreas Pavlogiannis, Hnkar Can Tun, Mahesh Viswanathan |
| 2022 | ITiCSE | Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs. | Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West |
| 2021 | ICER | Evaluating Proof Blocks Problems as Exam Questions. | Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West |
| 2021 | LICS | On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2020 | ASPLOS | Atomicity Checking in Linear Time using Vector Clocks. | Umang Mathur, Mahesh Viswanathan |
| 2020 | CAV | Decidable Synthesis of Programs with Uninterpreted Functions. | Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan |
| 2020 | CAV | STMC: Statistical Model Checker with Stratified and Antithetic Sampling. | Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan |
| 2020 | LICS | The Complexity of Dynamic Data Race Prediction. | Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan |
| 2020 | LICS | Deciding Differential Privacy for Programs with Finite Inputs and Outputs. | Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan |
| 2020 | TACAS | What's Decidable About Program Verification Modulo Axioms? | Umang Mathur, P. Madhusudan, Mahesh Viswanathan |
| 2019 | RV | A Retrospective Look at the Monitoring and Checking (MaC) Framework. | Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan |
| 2018 | CAV | Model Checking Indistinguishability of Randomized Security Protocols. | Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2018 | CAV | Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. | Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan |
| 2018 | CONCUR | Relating Syntactic and Semantic Perturbations of Hybrid Automata. | Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan |
| 2018 | CSL | Approximating Probabilistic Automata by Regular Languages. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2018 | CSL | A Decidable Fragment of Second Order Logic With Applications to Synthesis. | P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan |
| 2018 | VMCAI | Revisiting MITL to Fix Decision Procedures. | Nima Roohi, Mahesh Viswanathan |
| 2017 | CAV | DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. | Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan |
| 2017 | ESORICS | Modular Verification of Protocol Equivalence in the Presence of Randomness. | Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan |
| 2017 | FMCAD | Exact quantitative probabilistic model checking through rational search. | Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | FOSSACS | Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | LICS | Verification of randomized security protocols. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | PLDI | Dynamic race prediction in linear time. | Dileep Kini, Umang Mathur, Mahesh Viswanathan |
| 2017 | TACAS | Optimal Translation of LTL to Limit Deterministic Automata. | Dileep Kini, Mahesh Viswanathan |
| 2017 | TACAS | HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. | Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan |
| 2016 | CAV | Parsimonious, Simulation Based Verification of Linear Systems. | Parasara Sridhar Duggirala, Mahesh Viswanathan |
| 2016 | CAV | Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. | Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala |
| 2016 | TACAS | Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. | Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan |
| 2015 | CAV | Meeting a Powertrain Verification Challenge. | Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan |
| 2015 | DSN | Experiences with Building Disaster Recovery for Enterprise-Class Clouds. | Long Wang, Harigovind V. Ramasamy, Richard E. Harper, Mahesh Viswanathan, Edmond Plattier |
| 2015 | EuroSys | ResilientVM: high performance virtual machine recovery in the cloud. | Valentina Salapura, Richard E. Harper, Mahesh Viswanathan |
| 2015 | FOSSACS | Decidable and Expressive Classes of Probabilistic Automata. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben |
| 2015 | RTSS | Analyzing Real Time Linear Control Systems Using Software Verification. | Parasara Sridhar Duggirala, Mahesh Viswanathan |
| 2015 | TACAS | C2E2: A Verification Tool for Stateflow Models. | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok |
| 2015 | TACAS | Limit Deterministic and Probabilistic Automata for LTL ∖ GU. | Dileep Kini, Mahesh Viswanathan |
| 2014 | FM | Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. | Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, Csar A. Muoz |
| 2014 | VMCAI | Probabilistic Automata for Safety LTL Specifications. | Dileep Kini, Mahesh Viswanathan |
| 2013 | EMSOFT | Verification of annotated models from executions. | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan |
| 2013 | IJCAI | Automated Grading of DFA Constructions. | Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan |
| 2013 | MFCS | Probabilistic Automata with Isolated Cut-Points. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2013 | VMCAI | Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. | Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan |
| 2012 | FORTE | Conformance Testing of Boolean Programs with Multiple Faults. | Pavithra Prabhakar, Mahesh Viswanathan |
| 2012 | TACAS | Reachability under Contextual Locking. | Rohit Chadha, P. Madhusudan, Mahesh Viswanathan |
| 2011 | VMCAI | Probabilistic Bchi Automata with Non-extremal Acceptance Thresholds. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2010 | VMCAI | Complexity Bounds for the Verification of Real-Time Software. | Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan |
| 2009 | CONCUR | Power of Randomization in Automata on Infinite Strings. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2009 | CONCUR | On Convergence of Concurrent Systems under Regular Interactions. | Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan |
| 2009 | MFCS | Query Automata for Nested Words. | P. Madhusudan, Mahesh Viswanathan |
| 2009 | RTSS | Verifying Tolerant Systems Using Polynomial Approximations. | Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud |
| 2008 | CONCUR | Least Upper Bounds for Probability Measures and Their Applications to Abstractions. | Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan |
| 2008 | ICALP | STORMED Hybrid Systems. | Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud |
| 2008 | ICSE | Incremental state-space exploration for programs with dynamically allocated data. | Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan |
| 2008 | LICS | On the Expressiveness and Complexity of Randomization in Finite State Monitors. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2007 | CONCUR | Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. | Rohit Chadha, Mahesh Viswanathan |
| 2007 | WWW | Visibly pushdown automata for streaming XML. | Viraj Kumar, P. Madhusudan, Mahesh Viswanathan |
| 2006 | CAV | Model Checking Multithreaded Programs with Asynchronous Atomic Methods. | Koushik Sen, Mahesh Viswanathan |
| 2006 | CAV | LEVER: A Tool for Learning Based Verification. | Abhay Vardhan, Mahesh Viswanathan |
| 2006 | CONCUR | Minimization, Learning, and Conformance Testing of Boolean Programs. | Viraj Kumar, P. Madhusudan, Mahesh Viswanathan |
| 2006 | TACAS | Model-Checking Markov Chains in the Presence of Uncertainties. | Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2005 | CAV | On Statistical Model Checking of Stochastic Systems. | Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2005 | ICALP | Congruences for Visibly Pushdown Languages. | Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan |
| 2005 | ICFEM | Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. | Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou |
| 2005 | SODA | Conformance testing in the presence of multiple faults. | Viraj Kumar, Mahesh Viswanathan |
| 2005 | TACAS | Using Language Inference to Verify Omega-Regular Properties. | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2005 | VMCAI | On the Complexity of Error Explanation. | Nirman Kumar, Viraj Kumar, Mahesh Viswanathan |
| 2004 | CAV | Statistical Model Checking of Black-Box Probabilistic Systems. | Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | CONCUR | A Higher Order Modal Fixed Point Logic. | Mahesh Viswanathan, Ramesh Viswanathan |
| 2004 | ICFEM | Learning to Verify Safety Properties. | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | ICTAC | Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. | Mahesh Viswanathan, Moonzoo Kim |
| 2004 | MEMOCODE | Check and simulate: a case for incorporating model checking in network simulation. | Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou |
| 2003 | ICASSP | Recent improvements to the IBM trainable speech synthesis system. | Ellen Eide, Andrew Aaron, Raimo Bakis, Paul S. Cohen, Robert E. Donovan, Wael Hamza, T. Mathes, Michael Picheny, M. Polkosky, M. Smith, Mahesh Viswanathan |
| 2001 | ICALP | Foundations for Circular Compositional Reasoning. | Mahesh Viswanathan, Ramesh Viswanathan |
| 2000 | FOCS | The Relationship between Public Key Encryption and Oblivious Transfer. | Yael Gertner, Sampath Kannan, Tal Malkin, Omer Reingold, Mahesh Viswanathan |
| 2000 | ISSTA | Verisim: Formal analysis of network simulations. | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
| 2000 | SODA | Testing and spot-checking of data streams (extended abstract). | Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan |
| 1999 | ECRTS | Formally specified monitoring of temporal properties. | Moonjoo Kim, Mahesh Viswanathan, Hanne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky |
| 1999 | FOCS | An Approximate L | Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan |
| 1999 | ICDAR | Retrieval from Spoken Documents using Content and Speaker Information. | Mahesh Viswanathan, Homayoon S. M. Beigi, Satya Dharanipragada, Alain Tritschler |
| 1999 | PDPTA | Runtime Assurance Based On Formal Specifications. | Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan |
| 1998 | STOC | Spot-Checkers. | Funda Ergn, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan |
| 1998 | STACS | Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). | Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan |
| 1998 | RTSS | Membership Questions for Timed and Hybrid Automata. | Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan |
| 1987 | ICASSP | Low bit-rate image coding techniques. | K. S. Thyagarajan, Mahesh Viswanathan |