114 results on '"Viswanathan, Mahesh"'
Search Results
2. Stack-Aware Hyperproperties
3. Modelchecking Safety Properties in Randomized Security Protocols
4. STMC: Statistical Model Checker with Stratified and Antithetic Sampling
5. Decidable Synthesis of Programs with Uninterpreted Functions
6. What’s Decidable About Program Verification Modulo Axioms?
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. Revisiting MITL to Fix Decision Procedures
11. Optimal Translation of LTL to Limit Deterministic Automata
12. HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata
13. Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata
14. Modular Verification of Protocol Equivalence in the Presence of Randomness
15. Extending Parikh’s Theorem to Weighted and Probabilistic Context-Free Grammars
16. DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
17. Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics
18. Composing Protocols with Randomized Actions
19. Parsimonious, Simulation Based Verification of Linear Systems
20. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
21. Floating Time Transition System: More Efficient Analysis of Timed Actors
22. C2E2: A Verification Tool for Stateflow Models
23. Limit Deterministic and Probabilistic Automata for LTL ∖ GU
24. Decidable and Expressive Classes of Probabilistic Automata
25. Deciding Concurrent Planar Monotonic Linear Hybrid Systems
26. Meeting a Powertrain Verification Challenge
27. Quantitative Information Flow in Boolean Programs
28. Probabilistic Automata for Safety LTL Specifications
29. Decidable Problems for Unary PFAs
30. Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints
31. Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol
32. Probabilistic Automata with Isolated Cut-Points
33. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
34. Conformance Testing of Boolean Programs with Multiple Faults
35. Reachability under Contextual Locking
36. Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
37. Complexity Bounds for the Verification of Real-Time Software
38. On Convergence of Concurrent Systems under Regular Interactions
39. Power of Randomization in Automata on Infinite Strings
40. Query Automata for Nested Words
41. STORMED Hybrid Games
42. STORMED Hybrid Systems
43. Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
44. Least Upper Bounds for Probability Measures and Their Applications to Abstractions
45. A Decidable Class of Planar Linear Hybrid Systems
46. LEVER: A Tool for Learning Based Verification : (Tool Paper)
47. Model Checking Multithreaded Programs with Asynchronous Atomic Methods
48. Minimization, Learning, and Conformance Testing of Boolean Programs
49. Propositional Tree Automata
50. Model-Checking Markov Chains in the Presence of Uncertainties
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.