Search

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

Search Constraints

Start Over You searched for: Author "Viswanathan, Mahesh" Remove constraint Author: "Viswanathan, Mahesh" Journal automated technology for verification and analysis : 6th international symposium, atva 2008, seoul, korea, october 20-23, 2008. proceedings Remove constraint Journal: automated technology for verification and analysis : 6th international symposium, atva 2008, seoul, korea, october 20-23, 2008. proceedings
36 results on '"Viswanathan, Mahesh"'

Search Results

1. Deciding Bisimilarity of Full BPA Processes Locally

2. On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies

3. Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions

4. Passive Testing of Timed Systems

5. Practical Efficient Modular Linear-Time Model-Checking

6. Decidable Compositions of O-Minimal Automata

7. Impartial Anticipation in Runtime-Verification

8. Run-Time Monitoring of Electronic Contracts

9. Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol

10. Optimal Strategy Synthesis in Request-Response Games

11. Tree Pattern Rewriting Systems

12. NetQi: A Model Checker for Anticipation Game

13. Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic

14. Model Based Importance Analysis for Minimal Cut Sets

15. Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT

16. Alaska : Antichains for Logic, Automata and Symbolic Kripke Structures Analysis

17. DiVinE Multi-Core – A Parallel LTL Model-Checker

18. Goanna: Syntactic Software Model Checking

19. Controllable Test Cases for the Distributed Test Architecture

20. CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications

21. A Dynamic Assertion-Based Verification Platform for Validation of UML Designs

22. SMELS: Satisfiability Modulo Equality with Lazy Superposition

23. Interpolants for Linear Arithmetic in SMT

24. SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

25. Compositional Verification for Component-Based Systems and Application

26. Model Checking Recursive Programs with Exact Predicate Abstraction

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

28. Automating Algebraic Specifications of Non-freely Generated Data Types

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

30. Loop Summarization Using Abstract Transformers

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

32. Computation Tree Regular Logic for Genetic Regulatory Networks

33. CTL Model-Checking with Graded Quantifiers

34. Trust and Automation in Verification Tools

35. Tests, Proofs and Refinements

36. Formal Verification and Biology

Catalog

Books, media, physical & digital resources