Mahesh Viswanathan

204 papers A* 25A 14B 25C 6Misc 2Journal 74Unranked 57

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Efficient Dynamic Algorithms to Predict Short Races. CoRR Minjian Zhang, Mahesh Viswanathan
2025	A*	`conf`	Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions. CCS Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2025	J	`jnl`	Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions. CoRR Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2025	J	`jnl`	Checking δ-Satisfiability of Reals with Integrals. Proc. ACM Program. Lang. Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2025	J	`jnl`	Dynamic Race Detection With O(1) Samples. CoRR Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
2025	J	`jnl`	Efficient Timestamping for Sampling-Based Race Detection. Proc. ACM Program. Lang. Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan
2025	J	`jnl`	Efficient Timestamping for Sampling-based Race Detection. CoRR Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan
2025	J	`jnl`	The Decision Problem for Regular First Order Theories. Proc. ACM Program. Lang. Umang Mathur, David Mestel, Mahesh Viswanathan
2024	A	`conf`	Deciding Branching Hyperproperties for Real Time Systems. CSF Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2024	J	`jnl`	Deciding branching hyperproperties for real time systems. CoRR Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2024	—	`conf`	Optimal Runtime Assurance via Reinforcement Learning. ICCPS Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra
2024	J	`jnl`	Optimizing Rewards while meeting $\omega$-regular Constraints. RLJ Christopher K. Zeitler, Kristina Miller, Sayan Mitra, John Schierman, Mahesh Viswanathan
2024	J	`jnl`	The Decision Problem for Regular First-Order Theories. CoRR Umang Mathur, David Mestel, Mahesh Viswanathan
2023	A*	`conf`	Deciding Differential Privacy of Online Algorithms with Multiple Variables. CCS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
2023	J	`jnl`	Deciding Differential Privacy of Online Algorithms with Multiple Variables. CoRR Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
2023	J	`jnl`	Dynamic Race Detection with O(1) Samples. Proc. ACM Program. Lang. Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
2023	B	`conf`	RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
2023	J	`jnl`	RTAEval: A framework for evaluating runtime assurance logic. CoRR Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
2023	J	`jnl`	Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. CoRR Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan
2023	J	`jnl`	Sound Dynamic Deadlock Prediction in Linear Time. CoRR Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
2023	J	`jnl`	Sound Dynamic Deadlock Prediction in Linear Time. Proc. ACM Program. Lang. Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2023	—	`conf`	Stack-Aware Hyperproperties. TACAS (1) Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2023	J	`jnl`	Stack-Aware Hyperproperties. CoRR Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2022	J	`jnl`	A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. CoRR Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
2022	A*	`conf`	A tree clock data structure for causal orderings in concurrent executions. ASPLOS Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
2022	J	`jnl`	Automata Column. ACM SIGLOG News Mahesh Viswanathan
2022	J	`jnl`	Automata column. ACM SIGLOG News Mahesh Viswanathan
2022	J	`jnl`	Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan
2022	J	`jnl`	Evaluating proof blocks problems as exam questions. Inroads Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
2022	—	`conf`	Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs. ITiCSE (1) Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
2021	—	`conf`	Checking LTL[F, G, X] on compressed traces in polynomial time. ESEC/SIGSOFT FSE Minjian Zhang, Umang Mathur, Mahesh Viswanathan
2021	J	`jnl`	Deciding accuracy of differential privacy schemes. Proc. ACM Program. Lang. Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
2021	A	`conf`	Evaluating Proof Blocks Problems as Exam Questions. ICER Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
2021	A*	`conf`	On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. LICS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2021	J	`jnl`	On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. CoRR Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2021	J	`jnl`	Optimal prediction of synchronization-preserving races. Proc. ACM Program. Lang. Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2021	J	`jnl`	Proof Blocks: Autogradeable Scaffolding Activities for Learning to Write Proofs. CoRR Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
2021	J	`jnl`	Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. ACM Trans. Embed. Comput. Syst. Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2020	A*	`conf`	Atomicity Checking in Linear Time using Vector Clocks. ASPLOS Umang Mathur, Mahesh Viswanathan
2020	J	`jnl`	Atomicity Checking in Linear Time using Vector Clocks. CoRR Umang Mathur, Mahesh Viswanathan
2020	—	`conf`	Decidable Synthesis of Programs with Uninterpreted Functions. CAV (2) Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
2020	J	`jnl`	Deciding Accuracy of Differential Privacy Schemes. CoRR Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
2020	A*	`conf`	Deciding Differential Privacy for Programs with Finite Inputs and Outputs. LICS Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan
2020	J	`jnl`	Deciding memory safety for single-pass heap-manipulating programs. Proc. ACM Program. Lang. Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
2020	J	`jnl`	Exact quantitative probabilistic model checking through rational search. Formal Methods Syst. Des. Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2020	—	`conf`	Modelchecking Safety Properties in Randomized Security Protocols. Logic, Language, and Security Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
2020	J	`jnl`	Optimal Prediction of Synchronization-Preserving Races. CoRR Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2020	—	`conf`	STMC: Statistical Model Checker with Stratified and Antithetic Sampling. CAV (2) Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
2020	—	`conf`	Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CDC Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2020	J	`jnl`	Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CoRR Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2020	A*	`conf`	The Complexity of Dynamic Data Race Prediction. LICS Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2020	J	`jnl`	The Complexity of Dynamic Data Race Prediction. CoRR Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
2020	J	`jnl`	Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. CoRR Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2020	—	`conf`	What's Decidable About Program Verification Modulo Axioms? TACAS (2) Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2019	B	`conf`	A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
2019	J	`jnl`	Automated Methods for Checking Differential Privacy. CoRR Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan
2019	J	`jnl`	Decidable Synthesis of Programs with Uninterpreted Functions. CoRR Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
2019	J	`jnl`	Decidable and expressive classes of probabilistic automata. J. Comput. Syst. Sci. Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2019	J	`jnl`	Decidable verification of uninterpreted programs. Proc. ACM Program. Lang. Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2019	J	`jnl`	Deciding Memory Safety for Forest Datastructures. CoRR Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
2019	J	`jnl`	Revisiting MITL to Fix Decision Procedures. CoRR Nima Roohi, Mahesh Viswanathan
2019	J	`jnl`	Statistical verification of PCTL using antithetic and stratified samples. Formal Methods Syst. Des. Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2019	J	`jnl`	What's Decidable About Program Verification Modulo Axioms? CoRR Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2018	B	`conf`	A Decidable Fragment of Second Order Logic With Applications to Synthesis. CSL P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
2018	B	`conf`	Approximating Probabilistic Automata by Regular Languages. CSL Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2018	—	`conf`	Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
2018	J	`jnl`	Data Race Detection on Compressed Traces. CoRR Dileep Kini, Umang Mathur, Mahesh Viswanathan
2018	—	`conf`	Data race detection on compressed traces. ESEC/SIGSOFT FSE Dileep Kini, Umang Mathur, Mahesh Viswanathan
2018	J	`jnl`	Decidable Verification of Uninterpreted Programs. CoRR Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2018	—	`conf`	Model Checking Indistinguishability of Randomized Security Protocols. CAV (2) Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2018	B	`conf`	Relating Syntactic and Semantic Perturbations of Hybrid Automata. CONCUR Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2018	B	`conf`	Revisiting MITL to Fix Decision Procedures. VMCAI Nima Roohi, Mahesh Viswanathan
2018	—	`conf`	Statistical Verification of PCTL Using Stratified Samples. ADHS Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2018	J	`jnl`	What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection. CoRR Umang Mathur, Dileep Kini, Mahesh Viswanathan
2018	J	`jnl`	What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection. Proc. ACM Program. Lang. Umang Mathur, Dileep Kini, Mahesh Viswanathan
2017	J	`jnl`	A Decidable Fragment of Second Order Logic With Applications to Synthesis. CoRR P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
2017	—	`conf`	Complexity of Model Checking MDPs against LTL Specifications. FSTTCS Dileep Kini, Mahesh Viswanathan
2017	J	`jnl`	DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
2017	—	`conf`	DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
2017	J	`jnl`	Dynamic Race Prediction in Linear Time. CoRR Dileep Kini, Umang Mathur, Mahesh Viswanathan
2017	A*	`conf`	Dynamic race prediction in linear time. PLDI Dileep Kini, Umang Mathur, Mahesh Viswanathan
2017	B	`conf`	Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. FoSSaCS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2017	B	`conf`	Exact quantitative probabilistic model checking through rational search. FMCAD Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2017	—	`conf`	Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars. QEST Vijay Bhattiprolu, Spencer Gordon, Mahesh Viswanathan
2017	—	`conf`	HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. TACAS (1) Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2017	—	`conf`	Modular Verification of Protocol Equivalence in the Presence of Randomness. ESORICS (1) Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
2017	—	`conf`	Optimal Translation of LTL to Limit Deterministic Automata. TACAS (2) Dileep Kini, Mahesh Viswanathan
2017	—	`conf`	Robust Model Checking of Timed Automata under Clock Drifts. HSCC Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2017	J	`jnl`	Stability Analysis of Switched Linear Systems Defined by Regular Languages. IEEE Trans. Autom. Control. Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan
2017	—	`conf`	Statistical Verification of the Toyota Powertrain Control Verification Benchmark. HSCC Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
2017	A*	`conf`	Verification of randomized security protocols. LICS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2016	—	`conf`	Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
2016	—	`conf`	Composing Protocols with Randomized Actions. POST Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
2016	A	`conf`	Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. TACAS Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2016	—	`conf`	Parsimonious, Simulation Based Verification of Linear Systems. CAV (1) Parasara Sridhar Duggirala, Mahesh Viswanathan
2016	C	`conf`	Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA 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
2016	—	`conf`	Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. CDC Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2015	—	`conf`	A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. ADHS Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2015	J	`jnl`	A decidable class of planar linear hybrid systems. Theor. Comput. Sci. Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2015	A	`conf`	Analyzing Real Time Linear Control Systems Using Software Verification. RTSS Parasara Sridhar Duggirala, Mahesh Viswanathan
2015	A	`conf`	C2E2: A Verification Tool for Stateflow Models. TACAS Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok
2015	—	`conf`	C2E2: a tool for verifying annotated hybrid systems. HSCC Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan
2015	B	`conf`	Decidable and Expressive Classes of Probabilistic Automata. FoSSaCS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben
2015	—	`conf`	Deciding Concurrent Planar Monotonic Linear Hybrid Systems. FORMATS Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan
2015	—	`conf`	Floating Time Transition System: More Efficient Analysis of Timed Actors. FACS Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi
2015	C	`ed.`	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 FORTE Susanne Graf, Mahesh Viswanathan
2015	J	`jnl`	How Can Automatic Feedback Help Students Construct Automata? ACM Trans. Comput. Hum. Interact. Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
2015	J	`jnl`	Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2015	A	`conf`	Limit Deterministic and Probabilistic Automata for LTL ∖ GU. TACAS Dileep Kini, Mahesh Viswanathan
2015	—	`conf`	Meeting a Powertrain Verification Challenge. CAV (1) Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan
2015	—	`conf`	Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2015	J	`jnl`	Stability Preserving Simulations and Bisimulations for Hybrid Systems. IEEE Trans. Autom. Control. Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan
2015	J	`jnl`	Statistical model checking for unbounded until formulas. Int. J. Softw. Tools Technol. Transf. Nima Roohi, Mahesh Viswanathan
2015	J	`jnl`	Statistical model checking: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. Axel Legay, Mahesh Viswanathan
2015	—	`conf`	Statistical verification of dynamical systems using set oriented methods. HSCC Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2014	—	`conf`	Decidable Problems for Unary PFAs. QEST Rohit Chadha, Dileep Kini, Mahesh Viswanathan
2014	J	`jnl`	Least upper bounds for probability measures and their applications to abstractions. Inf. Comput. Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan
2014	B	`conf`	Probabilistic Automata for Safety LTL Specifications. VMCAI Dileep Kini, Mahesh Viswanathan
2014	—	`conf`	Quantitative Information Flow in Boolean Programs. POST Rohit Chadha, Dileep Kini, Mahesh Viswanathan
2014	—	`conf`	Stability of linear autonomous systems under regular switching sequences. CDC Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan
2014	B	`conf`	Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. FM Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz
2014	—	`conf`	Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints. FORMATS Nima Roohi, Mahesh Viswanathan
2013	A*	`conf`	Automated Grading of DFA Constructions. IJCAI Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
2013	B	`conf`	Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2013	—	`conf`	On the decidability of stability of hybrid systems. HSCC Pavithra Prabhakar, Mahesh Viswanathan
2013	B	`conf`	Probabilistic Automata with Isolated Cut-Points. MFCS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2013	J	`jnl`	Reachability under Contextual Locking. Log. Methods Comput. Sci. Rémi Bonnet, Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
2013	Misc	`conf`	Verification of annotated models from executions. EMSOFT Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2012	—	`conf`	Conformance Testing of Boolean Programs with Multiple Faults. FMOODS/FORTE Pavithra Prabhakar, Mahesh Viswanathan
2012	—	`conf`	Pre-orders for reasoning about stability. HSCC Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan
2012	A	`conf`	Reachability under Contextual Locking. TACAS Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
2012	J	`jnl`	Verification of Bounded Discrete Horizon Hybrid Automata. IEEE Trans. Autom. Control. Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2011	—	`conf`	A dynamic algorithm for approximate flow computations. HSCC Pavithra Prabhakar, Mahesh Viswanathan
2011	—	`conf`	Model Checking MDPs with a Unique Compact Invariant Set of Distributions. QEST Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon
2011	J	`jnl`	Power of Randomization in Automata on Infinite Strings Log. Methods Comput. Sci. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2011	B	`conf`	Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. VMCAI Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2011	J	`jnl`	Specifications for decidable hybrid games. Theor. Comput. Sci. Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2010	J	`jnl`	A counterexample-guided abstraction-refinement framework for markov decision processes. ACM Trans. Comput. Log. Rohit Chadha, Mahesh Viswanathan
2010	J	`jnl`	Assertion Checking in J-Sim Simulation Models of Network Protocols. Simul. Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
2010	B	`conf`	Complexity Bounds for the Verification of Real-Time Software. VMCAI Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan
2010	—	`conf`	Model Checking Concurrent Programs with Nondeterminism and Randomization. FSTTCS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2010	—	`conf`	Reasoning about MDPs as Transformers of Probability Distributions. QEST Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon
2009	J	`jnl`	Deciding branching time properties for asynchronous programs. Theor. Comput. Sci. Rohit Chadha, Mahesh Viswanathan
2009	B	`conf`	On Convergence of Concurrent Systems under Regular Interactions. CONCUR Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan
2009	J	`jnl`	On the expressiveness and complexity of randomization in finite state monitors. J. ACM Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2009	B	`conf`	Power of Randomization in Automata on Infinite Strings. CONCUR Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2009	B	`conf`	Query Automata for Nested Words. MFCS P. Madhusudan, Mahesh Viswanathan
2009	—	`conf`	STORMED Hybrid Games. HSCC Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2009	—	`conf`	Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. QEST Axel Legay, Mahesh Viswanathan
2009	A	`conf`	Verifying Tolerant Systems Using Polynomial Approximations. RTSS Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2008	J	`jnl`	A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes CoRR Rohit Chadha, Mahesh Viswanathan
2008	—	`conf`	A Decidable Class of Planar Linear Hybrid Systems. HSCC Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2008	B	`ed.`	Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings ATVA Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
2008	A*	`conf`	Incremental state-space exploration for programs with dynamically allocated data. ICSE Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan
2008	B	`conf`	Least Upper Bounds for Probability Measures and Their Applications to Abstractions. CONCUR Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan
2008	—	`conf`	Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan
2008	A*	`conf`	On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
2008	—	`conf`	STORMED Hybrid Systems. ICALP (2) Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2007	B	`conf`	Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. CONCUR Rohit Chadha, Mahesh Viswanathan
2007	A	`conf`	J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. IPDPS Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
2007	J	`jnl`	Learning to verify branching time properties. Formal Methods Syst. Des. Abhay Vardhan, Mahesh Viswanathan
2007	A*	`conf`	Visibly pushdown automata for streaming XML. WWW Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
2006	A*	`conf`	LEVER: A Tool for Learning Based Verification. CAV Abhay Vardhan, Mahesh Viswanathan
2006	B	`conf`	Minimization, Learning, and Conformance Testing of Boolean Programs. CONCUR Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
2006	A*	`conf`	Model Checking Multithreaded Programs with Asynchronous Atomic Methods. CAV Koushik Sen, Mahesh Viswanathan
2006	A	`conf`	Model-Checking Markov Chains in the Presence of Uncertainties. TACAS Koushik Sen, Mahesh Viswanathan, Gul Agha
2006	—	`conf`	Propositional Tree Automata. RTA Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan
2005	A*	`conf`	Conformance testing in the presence of multiple faults. SODA Viraj Kumar, Mahesh Viswanathan
2005	A*	`conf`	Congruences for Visibly Pushdown Languages. ICALP Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
2005	C	`conf`	Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. ICFEM Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
2005	A*	`conf`	Learning to verify branching time properties. ASE Abhay Vardhan, Mahesh Viswanathan
2005	A*	`conf`	On Statistical Model Checking of Stochastic Systems. CAV Koushik Sen, Mahesh Viswanathan, Gul Agha
2005	B	`conf`	On the Complexity of Error Explanation. VMCAI Nirman Kumar, Viraj Kumar, Mahesh Viswanathan
2005	A	`conf`	Using Language Inference to Verify Omega-Regular Properties. TACAS Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
2005	—	`conf`	VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST Koushik Sen, Mahesh Viswanathan, Gul A. Agha
2004	B	`conf`	A Higher Order Modal Fixed Point Logic. CONCUR Mahesh Viswanathan, Ramesh Viswanathan
2004	—	`conf`	Actively Learning to Verify Safety for FIFO Automata. FSTTCS Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
2004	C	`conf`	Check and simulate: a case for incorporating model checking in network simulation. MEMOCODE Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou
2004	C	`conf`	Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC Mahesh Viswanathan, Moonzoo Kim
2004	J	`jnl`	Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods Syst. Des. Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky
2004	—	`conf`	Learning Continuous Time Markov Chains from Sample Executions. QEST Koushik Sen, Mahesh Viswanathan, Gul Agha
2004	C	`conf`	Learning to Verify Safety Properties. ICFEM Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
2004	A*	`conf`	Statistical Model Checking of Black-Box Probabilistic Systems. CAV Koushik Sen, Mahesh Viswanathan, Gul Agha
2003	—	`conf`	Preface. RV@CAV Oleg Sokolsky, Mahesh Viswanathan
2003	—	`conf`	Testing Extended Regular Language Membership Incrementally by Rewriting. RTA Grigore Rosu, Mahesh Viswanathan
2003	—	`ed.`	Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003 RV@CAV Oleg Sokolsky, Mahesh Viswanathan
2002	J	`jnl`	An Approximate L1-Difference Algorithm for Massive Data Streams. SIAM J. Comput. Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan
2002	—	`conf`	Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. RV@FLoC Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
2002	J	`jnl`	Testing and Spot-Checking of Data Streams. Algorithmica Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan
2002	J	`jnl`	Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
2001	A*	`conf`	Foundations for Circular Compositional Reasoning. ICALP Mahesh Viswanathan, Ramesh Viswanathan
2001	—	`conf`	Java-MaC: a Run-time Assurance Tool for Java Programs. RV@CAV Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
2000	J	`jnl`	Spot-Checkers. J. Comput. Syst. Sci. Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan
2000	A*	`conf`	Testing and spot-checking of data streams (extended abstract). SODA Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan
2000	A*	`conf`	The Relationship between Public Key Encryption and Oblivious Transfer. FOCS Yael Gertner, Sampath Kannan, Tal Malkin, Omer Reingold, Mahesh Viswanathan
2000	A	`conf`	Verisim: Formal analysis of network simulations. ISSTA Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
1999	A*	`conf`	An Approximate L FOCS Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan
1999	B	`conf`	Formally specified monitoring of temporal properties. ECRTS Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky
1999	Misc	`conf`	Runtime Assurance Based On Formal Specifications. PDPTA Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan
1999	—	`conf`	Steering of real-time systems based on monitoring and checking. WORDS (Fall) Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan
1999	J	`jnl`	The Complexity of Problems on Graphs Represented as OBDDs. Chic. J. Theor. Comput. Sci. Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan
1998	A	`conf`	Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan
1998	A	`conf`	Membership Questions for Timed and Hybrid Automata. RTSS Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan
1998	A*	`conf`	Spot-Checkers. STOC Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan