| 2011 | Transition Invariants and Transition Predicate Abstraction for Program Termination. | Andreas Podelski, Andrey Rybalchenko |
| 2011 | Next Generation LearnLib. | Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria |
| 2011 | Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. | Sebastian Kupferschmid, Martin Wehrle |
| 2011 | On Probabilistic Parallel Programs with Process Creation and Synchronisation. | Stefan Kiefer, Dominik Wojtczak |
| 2011 | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. | Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi |
| 2011 | Reliable Software Development: Analysis-Aware Design. | Gerard J. Holzmann |
| 2011 | Invariant Generation in Vampire. | Krystof Hoder, Laura Kovcs, Andrei Voronkov |
| 2011 | Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. | Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani |
| 2011 | Specification-Based Program Repair Using SAT. | Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid |
| 2011 | Compositionality Entails Sequentializability. | Pranav Garg, P. Madhusudan |
| 2011 | Enforcing Structural Invariants Using Dynamic Frames. | Diego Garbervetsky, Daniel Gorn, Ariel Neisen |
| 2011 | CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. | Hubert Garavel, Frdric Lang, Radu Mateescu, Wendelin Serwe |
| 2011 | Quantitative Multi-objective Verification for Probabilistic Systems. | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2011 | Unbeast: Symbolic Bounded Synthesis. | Rdiger Ehlers |
| 2011 | Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. | Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala |
| 2011 | Optimal Base Encodings for Pseudo-Boolean Constraints. | Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp |
| 2011 | Boosting Lazy Abstraction for SystemC with Partial Order Reduction. | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
| 2011 | GAVS+: An Open Platform for the Research of Algorithmic Game Solving. | Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl |
| 2011 | QUASY: Quantitative Synthesis Tool. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh |
| 2011 | The ACL2 Sedan Theorem Proving System. | Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon |
| 2011 | Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. | Jacob Burnim, Koushik Sen, Christos Stergiou |
| 2011 | Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. | Nathalie Bertrand, Thierry Jron, Amlie Stainer, Moez Krichen |
| 2011 | Model Repair for Probabilistic Systems. | Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka |
| 2011 | Efficient CTMC Model Checking of Linear Real-Time Objectives. | Benot Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
| 2011 | S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. | Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan |