Conferences in DBLP

Automated Technology for Verification and Analysis (atva)
2008 (conf/atva/2008)

1. 
   Tests, Proofs and Refinements. [Citation Graph (, )][DBLP]
   
   
2. 
   Formal Verification and Biology. [Citation Graph (, )][DBLP]
   
   
3. 
   Trust and Automation in Verification Tools. [Citation Graph (, )][DBLP]
   
   
4. 
   CTLModel-Checking with Graded Quantifiers. [Citation Graph (, )][DBLP]
   
   
5. 
   Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. [Citation Graph (, )][DBLP]
   
   
6. 
   Computation Tree Regular Logic for Genetic Regulatory Networks. [Citation Graph (, )][DBLP]
   
   
7. 
   Compositional Verification for Component-Based Systems and Application. [Citation Graph (, )][DBLP]
   
   
8. 
   A Direct Algorithm for Multi-valued Bounded Model Checking. [Citation Graph (, )][DBLP]
   
   
9. 
   Model Checking Recursive Programs with Exact Predicate Abstraction. [Citation Graph (, )][DBLP]
   
   
10. 
    Loop Summarization Using Abstract Transformers. [Citation Graph (, )][DBLP]
    
    
11. 
    Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. [Citation Graph (, )][DBLP]
    
    
12. 
    Automating Algebraic Specifications of Non-freely Generated Data Types. [Citation Graph (, )][DBLP]
    
    
13. 
    Interpolants for Linear Arithmetic in SMT. [Citation Graph (, )][DBLP]
    
    
14. 
    SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
15. 
    SMELS: Satisfiability Modulo Equality with Lazy Superposition. [Citation Graph (, )][DBLP]
    
    
16. 
    Controllable Test Cases for the Distributed Test Architecture. [Citation Graph (, )][DBLP]
    
    
17. 
    Goanna: Syntactic Software Model Checking. [Citation Graph (, )][DBLP]
    
    
18. 
    A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. [Citation Graph (, )][DBLP]
    
    
19. 
    CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. [Citation Graph (, )][DBLP]
    
    
20. 
    DiVinE Multi-Core - A Parallel LTL Model-Checker. [Citation Graph (, )][DBLP]
    
    
21. 
    Alaska. [Citation Graph (, )][DBLP]
    
    
22. 
    NetQi: A Model Checker for Anticipation Game. [Citation Graph (, )][DBLP]
    
    
23. 
    Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. [Citation Graph (, )][DBLP]
    
    
24. 
    Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. [Citation Graph (, )][DBLP]
    
    
25. 
    Decidable Compositions of O-Minimal Automata. [Citation Graph (, )][DBLP]
    
    
26. 
    On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies. [Citation Graph (, )][DBLP]
    
    
27. 
    Model Based Importance Analysis for Minimal Cut Sets. [Citation Graph (, )][DBLP]
    
    
28. 
    Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. [Citation Graph (, )][DBLP]
    
    
29. 
    Tree Pattern Rewriting Systems. [Citation Graph (, )][DBLP]
    
    
30. 
    Deciding Bisimilarity of Full BPA Processes Locally. [Citation Graph (, )][DBLP]
    
    
31. 
    Optimal Strategy Synthesis in Request-Response Games. [Citation Graph (, )][DBLP]
    
    
32. 
    Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. [Citation Graph (, )][DBLP]
    
    
33. 
    Impartial Anticipation in Runtime-Verification. [Citation Graph (, )][DBLP]
    
    
34. 
    Run-Time Monitoring of Electronic Contracts. [Citation Graph (, )][DBLP]
    
    
35. 
    Practical Efficient Modular Linear-Time Model-Checking. [Citation Graph (, )][DBLP]
    
    
36. 
    Passive Testing of Timed Systems. [Citation Graph (, )][DBLP]