| 1 | -- | 2 | Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska. 2011 CAV award announcement |
| 3 | -- | 0 | Ganesh Gopalakrishnan, Shaz Qadeer. Preface |
| 4 | -- | 24 | Oukseh Lee, Hongseok Yang, Rasmus Petersen. A divide-and-conquer approach for analysing overlaid data structures |
| 25 | -- | 44 | Alastair F. Donaldson, Alexander Kaiser 0001, Daniel Kroening, Michael Tautschnig, Thomas Wahl. Counterexample-guided abstraction refinement for symmetric concurrent programs |
| 45 | -- | 65 | Valeriy Balabanov, Jie-Hong R. Jiang. Unified QBF certification and its applications |
| 66 | -- | 82 | Byron Cook, Eric Koskinen, Moshe Y. Vardi. Temporal property verification as a program analysis task - Extended Version |
| 83 | -- | 106 | Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar. Forest automata for verification of heap manipulation |
| 107 | -- | 128 | Domagoj Babic, Daniel Reynaud, Dawn Song. Recognizing malicious software behaviors with tree automata inference |