Conferences in DBLP

Verification, Model Checking and Abstract Interpretation (VMCAI) (vmcai)
2008 (conf/vmcai/2008)

1. 
   Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. [Citation Graph (, )][DBLP]
   
   
2. 
   CTL as an Intermediate Language. [Citation Graph (, )][DBLP]
   
   
3. 
   Multi-valued Logics, Automata, Simulations, and Games. [Citation Graph (, )][DBLP]
   
   
4. 
   Verification of Register Allocators. [Citation Graph (, )][DBLP]
   
   
5. 
   Program Analysis and Programming Languages for Security. [Citation Graph (, )][DBLP]
   
   
6. 
   An Improved Tight Closure Algorithm for Integer Octagonal Constraints. [Citation Graph (, )][DBLP]
   
   
7. 
   Handling Parameterized Systems with Non-atomic Global Conditions. [Citation Graph (, )][DBLP]
   
   
8. 
   Abstract Interpretation of the Physical Inputs of Embedded Programs. [Citation Graph (, )][DBLP]
   
   
9. 
   Diagnostic Information for Realizability. [Citation Graph (, )][DBLP]
   
   
10. 
    Approximation Refinement for Interpolation-Based Model Checking. [Citation Graph (, )][DBLP]
    
    
11. 
    Abstract Interpretation of Cellular Signalling Networks. [Citation Graph (, )][DBLP]
    
    
12. 
    Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? [Citation Graph (, )][DBLP]
    
    
13. 
    Model Checking for Action Abstraction. [Citation Graph (, )][DBLP]
    
    
14. 
    On Bridging Simulation and Formal Verification. [Citation Graph (, )][DBLP]
    
    
15. 
    Extending Model Checking with Dynamic Analysis. [Citation Graph (, )][DBLP]
    
    
16. 
    Deriving Bisimulations by Simplifying Partitions. [Citation Graph (, )][DBLP]
    
    
17. 
    Precise Set Sharing Analysis for Java-Style Programs. [Citation Graph (, )][DBLP]
    
    
18. 
    Sufficient Preconditions for Modular Assertion Checking. [Citation Graph (, )][DBLP]
    
    
19. 
    Runtime Checking for Separation Logic. [Citation Graph (, )][DBLP]
    
    
20. 
    Decision Procedures for Multisets with Cardinality Constraints. [Citation Graph (, )][DBLP]
    
    
21. 
    All You Need Is Compassion. [Citation Graph (, )][DBLP]
    
    
22. 
    A Forward-Backward Abstraction Refinement Algorithm. [Citation Graph (, )][DBLP]
    
    
23. 
    Internal and External Logics of Abstract Interpretations. [Citation Graph (, )][DBLP]
    
    
24. 
    From LTL to Symbolically Represented Deterministic Automata. [Citation Graph (, )][DBLP]
    
    
25. 
    Monitoring Temporal Properties of Stochastic Systems. [Citation Graph (, )][DBLP]
    
    
26. 
    A Hybrid Algorithm for LTL Games. [Citation Graph (, )][DBLP]