Conferences in DBLP

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

1. 
   Analysis of Systems with Stochastic Process Creation. [Citation Graph (, )][DBLP]
   
   
2. 
   Verifying Concurrent Programs with Chalice. [Citation Graph (, )][DBLP]
   
   
3. 
   Static Timing Analysis for Hard Real-Time Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Abstract Interpretation-Based Protection. [Citation Graph (, )][DBLP]
   
   
5. 
   Advances in Probabilistic Model Checking. [Citation Graph (, )][DBLP]
   
   
6. 
   Building a Calculus of Data Structures. [Citation Graph (, )][DBLP]
   
   
7. 
   Temporal Reasoning for Procedural Programs. [Citation Graph (, )][DBLP]
   
   
8. 
   Improved Model Checking of Hierarchical Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. [Citation Graph (, )][DBLP]
   
   
10. 
    Complexity Bounds for the Verification of Real-Time Software. [Citation Graph (, )][DBLP]
    
    
11. 
    An Abstract Domain to Discover Interval Linear Equalities. [Citation Graph (, )][DBLP]
    
    
12. 
    Interpolant Strength. [Citation Graph (, )][DBLP]
    
    
13. 
    Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing. [Citation Graph (, )][DBLP]
    
    
14. 
    Invariant and Type Inference for Matrices. [Citation Graph (, )][DBLP]
    
    
15. 
    Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. [Citation Graph (, )][DBLP]
    
    
16. 
    Automatic Abstraction for Congruences. [Citation Graph (, )][DBLP]
    
    
17. 
    Shape Analysis of Low-Level C with Overlapping Structures. [Citation Graph (, )][DBLP]
    
    
18. 
    Abstract Threads. [Citation Graph (, )][DBLP]
    
    
19. 
    Shape Analysis with Reference Set Relations. [Citation Graph (, )][DBLP]
    
    
20. 
    Shape Analysis in the Absence of Pointers and Structure. [Citation Graph (, )][DBLP]
    
    
21. 
    An Analysis of Permutations in Arrays. [Citation Graph (, )][DBLP]
    
    
22. 
    Regular Linear Temporal Logic with Past. [Citation Graph (, )][DBLP]
    
    
23. 
    Model-Checking In-Lined Reference Monitors. [Citation Graph (, )][DBLP]
    
    
24. 
    Considerate Reasoning and the Composite Design Pattern. [Citation Graph (, )][DBLP]
    
    
25. 
    RGSep Action Inference. [Citation Graph (, )][DBLP]
    
    
26. 
    Best Probabilistic Transformers. [Citation Graph (, )][DBLP]
    
    
27. 
    Collections, Cardinalities, and Relations. [Citation Graph (, )][DBLP]