VMCAI 2015

25 papers

1. A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets · Khalil Ghorbal, Andrew Sogokon, André Platzer
2. A Model for Industrial Real-Time Systems · Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie
3. Abstracting Induction by Extrapolation and Interpolation · Patrick Cousot
4. Abstracting and Counting Synchronizing Processes · Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
5. Abstraction of Arrays Based on Non Contiguous Partitions · Jiangchao Liu, Xavier Rival
6. Abstraction-Based Computation of Reward Measures for Markov Automata · Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
7. An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer · Maria Christakis, Peter Müller, Valentin Wüstholz
8. Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction · Peter Backes, Jan Reineke
9. Automatic Inference of Heap Properties Exploiting Value Domains · Pietro Ferrara, Peter Müller, Milos Novácek
10. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs · Assalé Adjé, Pierre-Loïc Garoche
11. Bounded Implementations of Replicated Data Types · Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
12. Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications · Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
13. Debugging Process Algebra Specifications · Gwen Salaün, Lina Ye
14. Dependent Array Type Inference from Tests · He Zhu, Aditya V. Nori, Suresh Jagannathan
15. Distributed Markov Chains · Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan
16. Effective Abstractions for Verification under Relaxed Memory Models · Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
17. Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems · Pavithra Prabhakar, Miriam Garcia Soto
18. From Verification to Optimizations · Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck
19. Induction for SMT Solvers · Andrew Reynolds, Viktor Kuncak
20. Path Sensitive Cache Analysis Using Cache Miss Paths · Kartik Nagar, Y. N. Srikant
21. Property Directed Polyhedral Abstraction · Nikolaj S. Bjørner, Arie Gurfinkel
22. Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation · Caterina Urban, Antoine Miné
23. Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing · Maria Christakis, Patrice Godefroid
24. Tree Automata-Based Refinement with Application to Horn Clause Verification · Bishoksan Kafle, John P. Gallagher
25. Variations on the Stochastic Shortest Path Problem · Mickael Randour, Jean-François Raskin, Ocan Sankur