10. VMCAI 2009:
Savannah,
GA,
USA
Neil D. Jones, Markus Müller-Olm (Eds.):
Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings.
Lecture Notes in Computer Science 5403 Springer 2009, ISBN 978-3-540-93899-6 BibTeX
Invited Talks
Invited Tutorials
Submitted Papers
- Hasan Amjad, Richard Bornat:
Towards Automatic Stability Analysis for Rely-Guarantee Proofs.
14-28
Electronic Edition (link) BibTeX
- William C. Benton, Charles N. Fischer:
Mostly-Functional Behavior in Java Programs.
29-43
Electronic Edition (link) BibTeX
- Christos Dimoulas, Mitchell Wand:
The Higher-Order Aggregate Update Problem.
44-58
Electronic Edition (link) BibTeX
- Kousha Etessami, Patrice Godefroid:
An Abort-Aware Model of Transactional Programming.
59-73
Electronic Edition (link) BibTeX
- Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu:
Model-Checking the Linux Virtual File System.
74-88
Electronic Edition (link) BibTeX
- Patrice Godefroid, Nir Piterman:
LTL Generalized Model Checking Revisited.
89-104
Electronic Edition (link) BibTeX
- Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla:
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems.
105-119
Electronic Edition (link) BibTeX
- Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan:
Constraint-Based Invariant Inference over Predicate Abstraction.
120-135
Electronic Edition (link) BibTeX
- Dilian Gurov, Marieke Huisman:
Reducing Behavioural to Structural Properties of Programs with Procedures.
136-150
Electronic Edition (link) BibTeX
- Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Query-Driven Program Testing.
151-166
Electronic Edition (link) BibTeX
- Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski:
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets.
167-181
Electronic Edition (link) BibTeX
- Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Abstraction Refinement for Probabilistic Software.
182-197
Electronic Edition (link) BibTeX
- Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri:
Finding Concurrency-Related Bugs Using Random Isolation.
198-213
Electronic Edition (link) BibTeX
- Johannes Kinder, Florian Zuleger, Helmut Veith:
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.
214-228
Electronic Edition (link) BibTeX
- Vincent Laviron, Francesco Logozzo:
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities.
229-244
Electronic Edition (link) BibTeX
- Patrick Maier:
Deciding Extensions of the Theories of Vectors and Bags.
245-259
Electronic Edition (link) BibTeX
- Matthew Might, Panagiotis Manolios:
A PosterioriSoundness for Non-deterministic Abstract Interpretations.
260-274
Electronic Edition (link) BibTeX
- Rotem Oshman:
An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.
275-289
Electronic Edition (link) BibTeX
- Zvonimir Rakamaric, Alan J. Hu:
A Scalable Memory Model for Low-Level Code.
290-304
Electronic Edition (link) BibTeX
- Ankur Taly, Sumit Gulwani, Ashish Tiwari:
Synthesizing Switching Logic Using Constraint Solving.
305-319
Electronic Edition (link) BibTeX
- Richard J. Trefler, Thomas Wahl:
Extending Symmetry Reduction by Exploiting System Architecture.
320-334
Electronic Edition (link) BibTeX
- Viktor Vafeiadis:
Shape-Value Abstraction for Verifying Linearizability.
335-348
Electronic Edition (link) BibTeX
- Ou Wei, Arie Gurfinkel, Marsha Chechik:
Mixed Transition Systems Revisited.
349-365
Electronic Edition (link) BibTeX
- Ralf Wimmer, Bettina Braitling, Bernd Becker:
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.
366-380
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:46:47 2009
by Michael Ley (ley@uni-trier.de)