Search

Your search keyword '"Viswanathan, Mahesh"' showing total 114 results

Search Constraints

Start Over You searched for: Author "Viswanathan, Mahesh" Remove constraint Author: "Viswanathan, Mahesh" Publication Type eBooks Remove constraint Publication Type: eBooks
114 results on '"Viswanathan, Mahesh"'

Search Results

1. RTAEval: A Framework for Evaluating Runtime Assurance Logic

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