Search

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

Search Constraints

Start Over You searched for: Author "Viswanathan, Mahesh" Remove constraint Author: "Viswanathan, Mahesh" Topic model check Remove constraint Topic: model check
23 results on '"Viswanathan, Mahesh"'

Search Results

1. Optimal Translation of LTL to Limit Deterministic Automata

2. Probabilistic Automata for Safety LTL Specifications

3. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems

4. Reachability under Contextual Locking

5. Complexity Bounds for the Verification of Real-Time Software

6. Model Checking Multithreaded Programs with Asynchronous Atomic Methods

7. Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics

8. Congruences for Visibly Pushdown Languages

9. On Statistical Model Checking of Stochastic Systems

10. On the Complexity of Error Explanation

11. A Higher Order Modal Fixed Point Logic

12. Statistical Model Checking of Black-Box Probabilistic Systems

13. Extending Testing Automata to All LTL

14. Difference Bound Constraint Abstraction for Timed Automata Reachability Checking

15. Faster Linearizability Checking via P-Compositionality

16. A Strategy for Automatic Verification of Stabilization of Distributed Algorithms

17. Practical Efficient Modular Linear-Time Model-Checking

18. Impartial Anticipation in Runtime-Verification

19. Goanna: Syntactic Software Model Checking

20. Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms

21. Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

22. A Direct Algorithm for Multi-valued Bounded Model Checking

23. Computation Tree Regular Logic for Genetic Regulatory Networks

Catalog

Books, media, physical & digital resources