36 results on '"Viswanathan, Mahesh"'
Search Results
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.