Conferences in DBLP

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

1. Cinzia Bernardeschi, Nicoletta De Francesco
   Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2002, pp:1-15 [Conf]
   
2. Riccardo Focardi, Carla Piazza, Sabina Rossi
   Proofs Methods for Bisimulation Based Information Flow Security. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2002, pp:16-31 [Conf]
   
3. Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa
   A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2002, pp:32-45 [Conf]
   
4. R. K. Shyamasundar
   Analyzing Cryptographic Protocols in a Reactive Framework. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2002, pp:46-64 [Conf]
   
5. Li Tan
   An Abstract Schema for Equivalence-Checking Games. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2002, pp:65-78 [Conf]
   
6. Natalia Sidorova, Martin Steffen
   Synchronous Closing of Timed SDL Systems for Model Checking. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2002, pp:79-93 [Conf]
   
7. Marco Faella, Salvatore La Torre, Aniello Murano
   Automata-Theoretic Decision of Timed Games. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2002, pp:94-108 [Conf]
   
8. Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
   Compositional Termination Analysis of Symbolic Forward Analysis. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2002, pp:109-125 [Conf]
   
9. Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon
   Combining Norms to Prove Termination. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2002, pp:126-138 [Conf]
   
10. Andrzej S. Murawski, Kwangkeun Yi
    Static Monotonicity Analysis for lambda-definable Functions over Lattices. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:139-153 [Conf]
    
11. Patricia M. Hill, Fausto Spoto
    A Refinement of the Escape Property. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:154-166 [Conf]
    
12. Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
    Storage Size Reduction by In-place Mapping of Arrays. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:167-181 [Conf]
    
13. Sava Krstic, John Matthews
    Verifying BDD Algorithms through Monadic Interpretation. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:182-195 [Conf]
    
14. Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani
    Improving the Encoding of LTL Model Checking into SAT. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:196-207 [Conf]
    
15. Lenore D. Zuck, Amir Pnueli, Yonit Kesten
    Automatic Verification of Probabilistic Free Choice. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:208-224 [Conf]
    
16. Roberta Gori, Giorgio Levi
    An Experiment in Type Inference and Verification by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:225-239 [Conf]
    
17. Salvatore La Torre, Aniello Murano, Margherita Napoli
    Weak Muller Acceptance Conditions for Tree Automata. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:240-254 [Conf]
    
18. Mario Coppo, Mariangiola Dezani-Ciancaglini
    A Fully Abstract Model for Higher-Order Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:255-271 [Conf]
    
19. Ferucio Laurentiu Tiplea, Aurora Tiplea
    A Simulation Preorder for Abstraction of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:272-288 [Conf]
    
20. Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
    Approximating ATL^* in ATL. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:289-301 [Conf]
    
21. Michael Huth
    Model Checking Modal Transition Systems Using Kripke Structures. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:302-316 [Conf]
    
22. Kai Baukus, Yassine Lakhnech, Karsten Stahl
    Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:317-330 [Conf]