Mahesh Viswanathan

According to our database1, Mahesh Viswanathan authored at least 140 papers between 1998 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Decidable verification of uninterpreted programs.
PACMPL, 2019

Decidable and expressive classes of probabilistic automata.
J. Comput. Syst. Sci., 2019

Deciding Memory Safety for Forest Datastructures.
CoRR, 2019

A Retrospective Look at the Monitoring and Checking (MaC) Framework.
Proceedings of the Runtime Verification - 19th International Conference, 2019

2018
What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection.
PACMPL, 2018

Decidable Verification of Uninterpreted Programs.
CoRR, 2018

What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection.
CoRR, 2018

Data Race Detection on Compressed Traces.
CoRR, 2018

Revisiting MITL to Fix Decision Procedures.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Data race detection on compressed traces.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

A Decidable Fragment of Second Order Logic With Applications to Synthesis.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Approximating Probabilistic Automata by Regular Languages.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Relating Syntactic and Semantic Perturbations of Hybrid Automata.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Model Checking Indistinguishability of Randomized Security Protocols.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Statistical Verification of PCTL Using Stratified Samples.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Stability Analysis of Switched Linear Systems Defined by Regular Languages.
IEEE Trans. Automat. Contr., 2017

A Decidable Fragment of Second Order Logic With Applications to Synthesis.
CoRR, 2017

Dynamic Race Prediction in Linear Time.
CoRR, 2017

DRYVR: Data-driven verification and compositional reasoning for automotive systems.
CoRR, 2017

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Optimal Translation of LTL to Limit Deterministic Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Dynamic race prediction in linear time.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Verification of randomized security protocols.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Statistical Verification of the Toyota Powertrain Control Verification Benchmark.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Robust Model Checking of Timed Automata under Clock Drifts.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Complexity of Model Checking MDPs against LTL Specifications.
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

Exact quantitative probabilistic model checking through rational search.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Modular Verification of Protocol Equivalence in the Presence of Randomness.
Proceedings of the Computer Security - ESORICS 2017, 2017

DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Composing Protocols with Randomized Actions.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Parsimonious, Simulation Based Verification of Linear Systems.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015
How Can Automatic Feedback Help Students Construct Automata?
ACM Trans. Comput.-Hum. Interact., 2015

A decidable class of planar linear hybrid systems.
Theor. Comput. Sci., 2015

Stability Preserving Simulations and Bisimulations for Hybrid Systems.
IEEE Trans. Automat. Contr., 2015

Statistical model checking for unbounded until formulas.
STTT, 2015

Statistical model checking: challenges and perspectives.
STTT, 2015

Hybrid automata-based CEGAR for rectangular hybrid systems.
Formal Methods in System Design, 2015

Limit Deterministic and Probabilistic Automata for LTL ∖ GU.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

C2E2: A Verification Tool for Stateflow Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Analyzing Real Time Linear Control Systems Using Software Verification.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Statistical verification of dynamical systems using set oriented methods.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

C2E2: a tool for verifying annotated hybrid systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Decidable and Expressive Classes of Probabilistic Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2015

Deciding Concurrent Planar Monotonic Linear Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Progress on Powertrain Verification Challenge with C2E2.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Meeting a Powertrain Verification Challenge.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Least upper bounds for probability measures and their applications to abstractions.
Inf. Comput., 2014

Probabilistic Automata for Safety LTL Specifications.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Decidable Problems for Unary PFAs.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Quantitative Information Flow in Boolean Programs.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.
Proceedings of the FM 2014: Formal Methods, 2014

Stability of linear autonomous systems under regular switching sequences.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Reachability under Contextual Locking.
Logical Methods in Computer Science, 2013

Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems.
Proceedings of the Verification, 2013

Probabilistic Automata with Isolated Cut-Points.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Automated Grading of DFA Constructions.
Proceedings of the IJCAI 2013, 2013

On the decidability of stability of hybrid systems.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Verification of annotated models from executions.
Proceedings of the International Conference on Embedded Software, 2013

2012
Verification of Bounded Discrete Horizon Hybrid Automata.
IEEE Trans. Automat. Contr., 2012

Reachability under Contextual Locking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Pre-orders for reasoning about stability.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Conformance Testing of Boolean Programs with Multiple Faults.
Proceedings of the Formal Techniques for Distributed Systems, 2012

2011
Specifications for decidable hybrid games.
Theor. Comput. Sci., 2011

Power of Randomization in Automata on Infinite Strings
Logical Methods in Computer Science, 2011

Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Model Checking MDPs with a Unique Compact Invariant Set of Distributions.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

A dynamic algorithm for approximate flow computations.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010
A counterexample-guided abstraction-refinement framework for markov decision processes.
ACM Trans. Comput. Log., 2010

Assertion Checking in J-Sim Simulation Models of Network Protocols.
Simulation, 2010

Complexity Bounds for the Verification of Real-Time Software.
Proceedings of the Verification, 2010

Reasoning about MDPs as Transformers of Probability Distributions.
Proceedings of the QEST 2010, 2010

Model Checking Concurrent Programs with Nondeterminism and Randomization.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009
Deciding branching time properties for asynchronous programs.
Theor. Comput. Sci., 2009

On the expressiveness and complexity of randomization in finite state monitors.
J. ACM, 2009

Verifying Tolerant Systems Using Polynomial Approximations.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems.
Proceedings of the QEST 2009, 2009

Query Automata for Nested Words.
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

STORMED Hybrid Games.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

On Convergence of Concurrent Systems under Regular Interactions.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Power of Randomization in Automata on Infinite Strings.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
CoRR, 2008

On the Expressiveness and Complexity of Randomization in Finite State Monitors.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

Incremental state-space exploration for programs with dynamically allocated data.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

STORMED Hybrid Systems.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

A Decidable Class of Planar Linear Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Least Upper Bounds for Probability Measures and Their Applications to Abstractions.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Learning to verify branching time properties.
Formal Methods in System Design, 2007

Visibly pushdown automata for streaming XML.
Proceedings of the 16th International Conference on World Wide Web, 2007

J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
Model-Checking Markov Chains in the Presence of Uncertainties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Propositional Tree Automata.
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

Minimization, Learning, and Conformance Testing of Boolean Programs.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

LEVER: A Tool for Learning Based Verification.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Model Checking Multithreaded Programs with Asynchronous Atomic Methods.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
On the Complexity of Error Explanation.
Proceedings of the Verification, 2005

Using Language Inference to Verify Omega-Regular Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Conformance testing in the presence of multiple faults.
Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2005

VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Learning to verify branching time properties.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.
Proceedings of the Formal Methods and Software Engineering, 2005

Congruences for Visibly Pushdown Languages.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

On Statistical Model Checking of Stochastic Systems.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Java-MaC: A Run-Time Assurance Approach for Java Programs.
Formal Methods in System Design, 2004

Learning Continuous Time Markov Chains from Sample Executions.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Check and simulate: a case for incorporating model checking in network simulation.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language.
Proceedings of the Theoretical Aspects of Computing, 2004

Learning to Verify Safety Properties.
Proceedings of the Formal Methods and Software Engineering, 2004

Actively Learning to Verify Safety for FIFO Automata.
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

A Higher Order Modal Fixed Point Logic.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Statistical Model Checking of Black-Box Probabilistic Systems.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
Preface.
Electr. Notes Theor. Comput. Sci., 2003

Testing Extended Regular Language Membership Incrementally by Rewriting.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002
Verisim: Formal Analysis of Network Simulations.
IEEE Trans. Software Eng., 2002

An Approximate L1-Difference Algorithm for Massive Data Streams.
SIAM J. Comput., 2002

Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC.
Electr. Notes Theor. Comput. Sci., 2002

Testing and Spot-Checking of Data Streams.
Algorithmica, 2002

2001
Java-MaC: a Run-time Assurance Tool for Java Programs.
Electr. Notes Theor. Comput. Sci., 2001

Foundations for Circular Compositional Reasoning.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

2000
Spot-Checkers.
J. Comput. Syst. Sci., 2000

Testing and spot-checking of data streams (extended abstract).
Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000

Verisim: Formal analysis of network simulations.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

The Relationship between Public Key Encryption and Oblivious Transfer.
Proceedings of the 41st Annual Symposium on Foundations of Computer Science, 2000

1999
The Complexity of Problems on Graphs Represented as OBDDs.
Chicago J. Theor. Comput. Sci., 1999

Steering of real-time systems based on monitoring and checking.
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Runtime Assurance Based On Formal Specifications.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

An Approximate L1-Difference Algorithm for Massive Data Streams.
Proceedings of the 40th Annual Symposium on Foundations of Computer Science, 1999

Formally specified monitoring of temporal properties.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998
Spot-Checkers.
Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing, 1998

Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract).
Proceedings of the STACS 98, 1998

Membership Questions for Timed and Hybrid Automata.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998


  Loading...