103 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. Revisiting MITL to Fix Decision Procedures
11. HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata
12. DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
13. Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata
14. Modular Verification of Protocol Equivalence in the Presence of Randomness
15. Optimal Translation of LTL to Limit Deterministic Automata
16. Extending Parikh’s Theorem to Weighted and Probabilistic Context-Free Grammars
17. Composing Protocols with Randomized Actions
18. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
19. Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics
20. Parsimonious, Simulation Based Verification of Linear Systems
21. Decidable and Expressive Classes of Probabilistic Automata
22. Limit Deterministic and Probabilistic Automata for LTL ∖ GU
23. Meeting a Powertrain Verification Challenge
24. Deciding Concurrent Planar Monotonic Linear Hybrid Systems
25. C2E2: A Verification Tool for Stateflow Models
26. Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol
27. Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints
28. Probabilistic Automata for Safety LTL Specifications
29. Decidable Problems for Unary PFAs
30. Quantitative Information Flow in Boolean Programs
31. Probabilistic Automata with Isolated Cut-Points
32. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
33. Conformance Testing of Boolean Programs with Multiple Faults
34. Reachability under Contextual Locking
35. Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
36. Complexity Bounds for the Verification of Real-Time Software
37. STORMED Hybrid Games
38. Power of Randomization in Automata on Infinite Strings
39. Query Automata for Nested Words
40. On Convergence of Concurrent Systems under Regular Interactions
41. Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
42. Least Upper Bounds for Probability Measures and Their Applications to Abstractions
43. LEVER: A Tool for Learning Based Verification
44. Propositional Tree Automata
45. Model-Checking Markov Chains in the Presence of Uncertainties
46. Model Checking Multithreaded Programs with Asynchronous Atomic Methods
47. Minimization, Learning, and Conformance Testing of Boolean Programs
48. Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC Language
49. Using Language Inference to Verify Omega-Regular Properties
50. Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.