List of Accepted Papers

VMCAI 2004 - Venice, Italy

Title Corresponding
Constructing Quantified Invariants via Predicate Abstraction Lahiri, Shuvendu K. Randal E. Bryant 
Why AI + ILP is good for WCET, but MC is not, nor ILP alone Reinhard Wilhelm  
Approximate Probabilistic Model Checking Peyronnet, Sylvain Thomas Herault, Richard Lassaigne, Frederic Magniette 
Invariance Kernels of Polygonal Differential Inclusions Pace, Gordon Gerardo Schneider 
Completeness and Complexity of Bounded Model Checking Strichman, Ofer Edmund Clarke, Daniel Kroening, Joel Ouaknine 
Applying Jlint to Space Exploration Software Artho, Cyrille Klaus Havelund 
Rule-Based Runtime Verification Sen, Koushik Howard Barringer, Allen Goldberg, Klaus Havelund 
Checking Interval Based Properties for Reactive Systems Pei Yu Xu Qiwen 
Boolean Algebra of Shape Analysis Constraints Kuncak, Viktor Martin Rinard 
Automatic Inference of Class Invariants Logozzo, Francesco  
Security Types Preserving Compilation Rezk, Tamara Barthe, Gilles Basu, Amitabh Rezk 
Model Checking for Object Specifications in Hidden Algebra Lucanu, Dorel Gabriel Ciobanu 
Widening Operators for Powerset Domains Bagnara, Roberto Patricia M. Hill, Enea Zaffanella 
Analysis of recursive game graphs using data flow equations Etessami, Kousha  
A Complete Method for Synthesis of Linear Ranking Funktions Rybalchenko, Andrey Andreas Podelski 
Symbolic Implementation of the Best Transformer Yorsh, Greta Thomas Reps, Mooly Sagiv 
History-Dependent Scheduling for Cryptographic Processes Vanackere, Vincent  
Liveness with Invisible Ranking Pnueli, Amir Yi Fang, Nir Piterman, Lenore Zuck 
Type Inference for Parameterized Race-Free Java Agarwal, Rahul Scott D. Stoller 
Certifying Temporal Properties for Compiled C Programs Xia, Songtao James Hook 
Verifying Atomicity Specifications for Concurrent Object-Oriented Software using Model-Checking Hatcliff, John Robby, Matthew B. Dwyer 
Construction of a Semantic Model for a Typed Assembly Language Tan, Gang Andrew W. Appel, Kedar N. Swadi, Dinghao Wu