46 results on '"Viswanathan, Mahesh"'
Search Results
2. Stack-Aware Hyperproperties
3. Decidable Synthesis of Programs with Uninterpreted Functions
4. STMC: Statistical Model Checker with Stratified and Antithetic Sampling
5. What’s Decidable About Program Verification Modulo Axioms?
6. Modelchecking Safety Properties in Randomized Security Protocols
7. A Retrospective Look at the Monitoring and Checking (MaC) Framework
8. Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
9. Model Checking Indistinguishability of Randomized Security Protocols
10. HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata
11. DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
12. Modular Verification of Protocol Equivalence in the Presence of Randomness
13. Optimal Translation of LTL to Limit Deterministic Automata
14. Extending Parikh’s Theorem to Weighted and Probabilistic Context-Free Grammars
15. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
16. Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics
17. Parsimonious, Simulation Based Verification of Linear Systems
18. Limit Deterministic and Probabilistic Automata for LTL ∖ GU
19. Meeting a Powertrain Verification Challenge
20. C2E2: A Verification Tool for Stateflow Models
21. Decidable Problems for Unary PFAs
22. Probabilistic Automata with Isolated Cut-Points
23. Conformance Testing of Boolean Programs with Multiple Faults
24. Reachability under Contextual Locking
25. STORMED Hybrid Games
26. Power of Randomization in Automata on Infinite Strings
27. Query Automata for Nested Words
28. On Convergence of Concurrent Systems under Regular Interactions
29. Least Upper Bounds for Probability Measures and Their Applications to Abstractions
30. LEVER: A Tool for Learning Based Verification
31. Model-Checking Markov Chains in the Presence of Uncertainties
32. Model Checking Multithreaded Programs with Asynchronous Atomic Methods
33. Minimization, Learning, and Conformance Testing of Boolean Programs
34. Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC Language
35. Using Language Inference to Verify Omega-Regular Properties
36. Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
37. On Statistical Model Checking of Stochastic Systems
38. Congruences for Visibly Pushdown Languages
39. A Higher Order Modal Fixed Point Logic
40. Statistical Model Checking of Black-Box Probabilistic Systems
41. Actively Learning to Verify Safety for FIFO Automata
42. Learning to Verify Safety Properties
43. Testing Extended Regular Language Membership Incrementally by Rewriting
44. Foundations for Circular Compositional Reasoning
45. STORMED Hybrid Systems
46. A Decidable Class of Planar Linear Hybrid Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.