Conferences in DBLP

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

1. Peter Schachte, Harald Søndergaard
   Closure Operators for ROBDDs. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:1-16 [Conf]
   
2. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
   A CLP Method for Compositional and Intermittent Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:17-32 [Conf]
   
3. Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham
   Combining Shape Analyses by Intersecting Abstractions. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:33-48 [Conf]
   
4. Pierre Ganty, Jean-François Raskin, Laurent Van Begin
   A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:49-64 [Conf]
   
5. Laura Bozzelli
   Complexity Results on Branching-Time Pushdown Model Checking. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:65-79 [Conf]
   
6. Gang Tan, Andrew W. Appel
   A Compositional Logic for Control Flow. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:80-94 [Conf]
   
7. Stefano Rossignoli, Fausto Spoto
   Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:95-110 [Conf]
   
8. Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna
   Efficient Strongly Relational Polyhedral Analysis. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:111-125 [Conf]
   
9. Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
   Environment Abstraction for Parameterized Verification. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:126-141 [Conf]
   
10. Håkan L. S. Younes
    Error Control for Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:142-156 [Conf]
    
11. Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard
    Field Constraint Analysis. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:157-173 [Conf]
    
12. Bor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula
    A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:174-189 [Conf]
    
13. Katia Hristova, Yanhong A. Liu
    Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:190-206 [Conf]
    
14. Jesse D. Bingham, Zvonimir Rakamaric
    A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:207-221 [Conf]
    
15. A. Prasad Sistla, Min Zhou, Lenore D. Zuck
    Monitoring Off-the-Shelf Components. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:222-236 [Conf]
    
16. Shahid Jabbar, Stefan Edelkamp
    Parallel External Directed Model Checking with Linear I/O. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:237-251 [Conf]
    
17. Naghmeh Ghafari, Richard J. Trefler
    Piecewise FIFO Channels Are Analyzable. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:252-266 [Conf]
    
18. Ittai Balaban, Ariel Cohen 0002, Amir Pnueli
    Ranking Abstraction of Recursive Programs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:267-281 [Conf]
    
19. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    Relative Safety. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:282-297 [Conf]
    
20. Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    Resource Usage Analysis for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:298-312 [Conf]
    
21. Francesco Logozzo, Agostino Cortesi
    Semantic Hierarchy Refactoring by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:313-331 [Conf]
    
22. Francesco Ranzato, Francesco Tapparo
    Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:332-347 [Conf]
    
23. Antoine Miné
    Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:348-363 [Conf]
    
24. Nir Piterman, Amir Pnueli, Yaniv Sa'ar
    Synthesis of Reactive(1) Designs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:364-380 [Conf]
    
25. Arie Gurfinkel, Ou Wei, Marsha Chechik
    Systematic Construction of Abstractions for Model-Checking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:381-397 [Conf]
    
26. K. Subramani
    Totally Clairvoyant Scheduling with Relative Timing Constraints. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:398-411 [Conf]
    
27. Laura Bozzelli, Salvatore La Torre, Adriano Peron
    Verification of Well-Formed Communicating Recursive State Machines. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:412-426 [Conf]
    
28. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    What's Decidable About Arrays? [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:427-442 [Conf]