|
|
Conferences in DBLP
- Andreas Podelski
Software Model Checking with Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:1-3 [Conf]
- Amir Pnueli, Lenore D. Zuck
Model-Checking and Abstraction to the Aid of Parameterized Systems. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:4- [Conf]
- Bernhard Steffen, Hardi Hungar
Behavior-Based Model Construction. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:5-19 [Conf]
- Patrick Cousot
Automatic Verification by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:20-24 [Conf]
- A. Prasad Sistla
Symmetry Reductions in Model-Checking. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:25- [Conf]
- Néstor Cataño, Marieke Huisman
CHASE: A Static Checker for JML's Assignable Clause. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:26-40 [Conf]
- Xavier Rival
Abstract Interpretation-Based Certification of Assembly Code. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:41-55 [Conf]
- Damien Massé
Property Checking Driven Abstract Interpretation-Based Static Analysis. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:56-69 [Conf]
- Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
Optimized Live Heap Bound Analysis. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:70-85 [Conf]
- Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
Complexity of Nesting Analysis in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:86-101 [Conf]
- Francesca Levi
Types for Evolving Communication in Safe Ambients. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:102-115 [Conf]
- Ping Yang, C. R. Ramakrishnan, Scott A. Smolka
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:116-131 [Conf]
- Roberta Gori, Giorgio Levi
Properties of a Type Abstract Interpreter. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:132-145 [Conf]
- Roberto Giacobazzi, Isabella Mastroeni
Domain Compression for Complete Abstractions. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:146-160 [Conf]
- David Monniaux
Abstraction of Expectation Functions Using Gaussian Distributions. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:161-173 [Conf]
- Kedar S. Namjoshi
Lifting Temporal Proofs through Abstractions. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:174-188 [Conf]
- Farn Wang
Efficient Verification of Timed Automata with BDD-Like Data-Structures. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:189-205 [Conf]
- Patrice Godefroid, Radha Jagadeesan
On the Expressiveness of 3-Valued Models. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:206-222 [Conf]
- Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Bisimulation and Unwinding for Verifying Possibilistic Security Properties. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:223-237 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Formal Verification of the Horn-Preneel Micropayment Protocol. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:238-252 [Conf]
- Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher
Action Refinement from a Logical Point of View. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:253-267 [Conf]
- B. Meenakshi, Ramaswamy Ramanujam
Reasoning about Layered Message Passing Systems. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:268-282 [Conf]
- Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
Using Simulated Execution in Verifying Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:283-297 [Conf]
- Daniel Kroening, Ofer Strichman
Efficient Computation of Recurrence Diameters. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:298-309 [Conf]
- Dennis Dams, Kedar S. Namjoshi
Shape Analysis through Predicate Abstraction and Model Checking. [Citation Graph (0, 0)][DBLP]
VMCAI, 2003, pp:310-324 [Conf]
|
