Conferences in DBLP

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

1. 
   Model Checking: Progress and Problems. [Citation Graph (, )][DBLP]
   
   
2. 
   Model Checking Concurrent Programs. [Citation Graph (, )][DBLP]
   
   
3. 
   Thread-Modular Shape Analysis. [Citation Graph (, )][DBLP]
   
   
4. 
   Advances in Program Termination and Liveness. [Citation Graph (, )][DBLP]
   
   
5. 
   Verification of Security Protocols. [Citation Graph (, )][DBLP]
   
   
6. 
   Towards Automatic Stability Analysis for Rely-Guarantee Proofs. [Citation Graph (, )][DBLP]
   
   
7. 
   Mostly-Functional Behavior in Java Programs. [Citation Graph (, )][DBLP]
   
   
8. 
   The Higher-Order Aggregate Update Problem. [Citation Graph (, )][DBLP]
   
   
9. 
   An Abort-Aware Model of Transactional Programming. [Citation Graph (, )][DBLP]
   
   
10. 
    Model-Checking the Linux Virtual File System. [Citation Graph (, )][DBLP]
    
    
11. 
    LTL Generalized Model Checking Revisited. [Citation Graph (, )][DBLP]
    
    
12. 
    Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Constraint-Based Invariant Inference over Predicate Abstraction. [Citation Graph (, )][DBLP]
    
    
14. 
    Reducing Behavioural to Structural Properties of Programs with Procedures. [Citation Graph (, )][DBLP]
    
    
15. 
    Query-Driven Program Testing. [Citation Graph (, )][DBLP]
    
    
16. 
    Average-Price-per-Reward Games on Hybrid Automata with Strong Resets. [Citation Graph (, )][DBLP]
    
    
17. 
    Abstraction Refinement for Probabilistic Software. [Citation Graph (, )][DBLP]
    
    
18. 
    Finding Concurrency-Related Bugs Using Random Isolation. [Citation Graph (, )][DBLP]
    
    
19. 
    An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. [Citation Graph (, )][DBLP]
    
    
20. 
    SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. [Citation Graph (, )][DBLP]
    
    
21. 
    Deciding Extensions of the Theories of Vectors and Bags. [Citation Graph (, )][DBLP]
    
    
22. 
    A PosterioriSoundness for Non-deterministic Abstract Interpretations. [Citation Graph (, )][DBLP]
    
    
23. 
    An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking. [Citation Graph (, )][DBLP]
    
    
24. 
    A Scalable Memory Model for Low-Level Code. [Citation Graph (, )][DBLP]
    
    
25. 
    Synthesizing Switching Logic Using Constraint Solving. [Citation Graph (, )][DBLP]
    
    
26. 
    Extending Symmetry Reduction by Exploiting System Architecture. [Citation Graph (, )][DBLP]
    
    
27. 
    Shape-Value Abstraction for Verifying Linearizability. [Citation Graph (, )][DBLP]
    
    
28. 
    Mixed Transition Systems Revisited. [Citation Graph (, )][DBLP]
    
    
29. 
    Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. [Citation Graph (, )][DBLP]