80 results on '"Viswanathan, Mahesh"'
Search Results
2. Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.
3. Controller Synthesis for Linear System With Reach-Avoid Specifications.
4. Exact quantitative probabilistic model checking through rational search.
5. On the Expressiveness and Complexity of Randomization in Finite State Monitors.
6. Statistical verification of PCTL using antithetic and stratified samples.
7. Parsimonious, Simulation Based Verification of Linear Systems.
8. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2.
9. Floating Time Transition System: More Efficient Analysis of Timed Actors.
10. Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.
11. Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics.
12. Composing Protocols with Randomized Actions.
13. Dynamic race prediction in linear time.
14. Statistical verification of dynamical systems using set oriented methods.
15. Limit Deterministic and Probabilistic Automata for LTL \ GU.
16. C2E2: A Verification Tool for Stateflow Models.
17. Decidable and Expressive Classes of Probabilistic Automata.
18. Experiences with Building Disaster Recovery for Enterprise-Class Clouds.
19. Analyzing Real Time Linear Control Systems Using Software Verification.
20. Deciding Concurrent Planar Monotonic Linear Hybrid Systems.
21. Meeting a Powertrain Verification Challenge.
22. Decidable Problems for Unary PFAs.
23. Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints.
24. Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.
25. Probabilistic Automata for Safety LTL Specifications.
26. Stability of linear autonomous systems under regular switching sequences.
27. Quantitative Information Flow in Boolean Programs.
28. Stability Analysis of Switched Linear Systems Defined by Regular Languages.
29. Statistical model checking for unbounded until formulas.
30. Statistical model checking: challenges and perspectives.
31. Hybrid automata-based CEGAR for rectangular hybrid systems.
32. How Can Automatic Feedback Help Students Construct Automata?
33. On the decidability of stability of hybrid systems.
34. Verification of annotated models from executions.
35. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems.
36. Probabilistic Automata with Isolated Cut-Points.
37. Pre-orders for reasoning about stability.
38. Reachability under Contextual Locking.
39. Automation System for Validation of Configuration and Security Compliance in Managed Cloud Services.
40. Conformance Testing of Boolean Programs with Multiple Faults.
41. A dynamic algorithm for approximate flow computations.
42. Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds.
43. Complexity Bounds for the Verification of Real-Time Software.
44. STORMED Hybrid Games.
45. Query Automata for Nested Words.
46. On Convergence of Concurrent Systems under Regular Interactions.
47. Power of Randomization in Automata on Infinite Strings.
48. Incremental state-space exploration for programs with dynamically allocated data.
49. Incremental state-space exploration for programs with dynamically allocated data.
50. Incremental state-space exploration for programs with dynamically allocated data.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.