- Online First™
Deadlock-freedom in component systems with architectural constraints
Moritz Martens and Mila Majster-Cederbaum
Online First™, 16 May 2012
- Online First™
Symbolic backward reachability with effectively propositional logic
Applications to security policy analysis
Silvio Ranise
Online First™, 16 May 2012
- Online First™
SMT-based scenario verification for hybrid systems
Alessandro Cimatti, Sergio Mover and Stefano Tonetta
Online First™, 16 May 2012
- Online First™
Temporal property verification as a program analysis task
Extended Version
Byron Cook, Eric Koskinen and Moshe Vardi
Online First™, 27 April 2012
- Online First™
Counterexample-guided abstraction refinement for symmetric concurrent programs
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig and Thomas Wahl
Online First™, 25 April 2012
- Online First™
Unified QBF certification and its applications
Valeriy Balabanov and Jie-Hong R. Jiang
Online First™, 17 April 2012
- Online First™
A divide-and-conquer approach for analysing overlaid data structures
Oukseh Lee, Hongseok Yang and Rasmus Petersen
Online First™, 12 April 2012
- Online First™
Recognizing malicious software behaviors with tree automata inference
Domagoj Babić, Daniel Reynaud and Dawn Song
Online First™, 10 April 2012
- Online First™
Forest automata for verification of heap manipulation
Peter Habermehl, Lukáš Holík, Adam Rogalewicz, Jiří Šimáček and Tomáš Vojnar
Online First™, 10 April 2012
- Online First™
2011 CAV award announcement
Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur and Marta Kwiatkowska
Online First™, 5 April 2012