158 results on '"Viswanathan, Mahesh"'
Search Results
2. Stack-Aware Hyperproperties
3. Deciding Differential Privacy of Online Algorithms with Multiple Variables
4. Decidable Synthesis of Programs with Uninterpreted Functions
5. STMC: Statistical Model Checker with Stratified and Antithetic Sampling
6. What’s Decidable About Program Verification Modulo Axioms?
7. Modelchecking Safety Properties in Randomized Security Protocols
8. Sound Dynamic Deadlock Prediction in Linear Time
9. A Retrospective Look at the Monitoring and Checking (MaC) Framework
10. Dynamic Race Detection with O(1) Samples
11. Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
12. Model Checking Indistinguishability of Randomized Security Protocols
13. Revisiting MITL to Fix Decision Procedures
14. Automata Column
15. Proof Blocks
16. Automata column
17. HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata
18. DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
19. Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata
20. Modular Verification of Protocol Equivalence in the Presence of Randomness
21. Optimal Translation of LTL to Limit Deterministic Automata
22. Extending Parikh’s Theorem to Weighted and Probabilistic Context-Free Grammars
23. A tree clock data structure for causal orderings in concurrent executions
24. Evaluating proof blocks problems as exam questions
25. Composing Protocols with Randomized Actions
26. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
27. Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics
28. Parsimonious, Simulation Based Verification of Linear Systems
29. Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction
30. Decidable and Expressive Classes of Probabilistic Automata
31. Limit Deterministic and Probabilistic Automata for LTL ∖ GU
32. Meeting a Powertrain Verification Challenge
33. Deciding Concurrent Planar Monotonic Linear Hybrid Systems
34. C2E2: A Verification Tool for Stateflow Models
35. Checking LTL[F,G,X] on compressed traces in polynomial time
36. Evaluating Proof Blocks Problems as Exam Questions
37. Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol
38. Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints
39. Probabilistic Automata for Safety LTL Specifications
40. Decidable Problems for Unary PFAs
41. Quantitative Information Flow in Boolean Programs
42. On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
43. Deciding accuracy of differential privacy schemes
44. Controller synthesis for linear system with reach-avoid specifications
45. Probabilistic Automata with Isolated Cut-Points
46. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
47. Software Artifact for Deciding Accuracy of Differential Privacy Schemes
48. Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
49. Conformance Testing of Boolean Programs with Multiple Faults
50. Reachability under Contextual Locking
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.