VMCAI 2010

27 papers

1. Abstract Interpretation-Based Protection · Roberto Giacobazzi
2. Abstract Threads · Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
3. Advances in Probabilistic Model Checking · Joost-Pieter Katoen
4. An Abstract Domain to Discover Interval Linear Equalities · Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
5. An Analysis of Permutations in Arrays · Valentin Perrelle, Nicolas Halbwachs
6. Analysis of Systems with Stochastic Process Creation · Javier Esparza
7. Automatic Abstraction for Congruences · Andy King, Harald Søndergaard
8. Best Probabilistic Transformers · Björn Wachter, Lijun Zhang
9. Building a Calculus of Data Structures · Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies
10. Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing · Jori Dubrovin
11. Collections, Cardinalities, and Relations · Kuat Yessenov, Ruzica Piskac, Viktor Kuncak
12. Complexity Bounds for the Verification of Real-Time Software · Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan
13. Considerate Reasoning and the Composite Design Pattern · Alexander J. Summers, Sophia Drossopoulou
14. Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction · Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi
15. Improved Model Checking of Hierarchical Systems · Benjamin Aminof, Orna Kupferman, Aniello Murano
16. Interpolant Strength · Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher
17. Invariant and Type Inference for Matrices · Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov
18. Model-Checking In-Lined Reference Monitors · Meera Sridhar, Kevin W. Hamlen
19. Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming · Lei Bu, Jianhua Zhao, Xuandong Li
20. RGSep Action Inference · Viktor Vafeiadis
21. Regular Linear Temporal Logic with Past · César Sánchez, Martin Leucker
22. Shape Analysis in the Absence of Pointers and Structure · Matthew Might
23. Shape Analysis of Low-Level C with Overlapping Structures · Jörg Kreiker, Helmut Seidl, Vesal Vojdani
24. Shape Analysis with Reference Set Relations · Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur
25. Static Timing Analysis for Hard Real-Time Systems · Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke + 2 more
26. Temporal Reasoning for Procedural Programs · Rajeev Alur, Swarat Chaudhuri
27. Verifying Concurrent Programs with Chalice · K. Rustan M. Leino