| 2011 | Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. Sebastian Kupferschmid, Martin Wehrle |
| 2011 | Applying CEGAR to the Petri Net State Equation. Harro Wimmel, Karsten Wolf |
| 2011 | Biased Model Checking Using Flows. Muralidhar Talupur, HyoJung Han |
| 2011 | Boosting Lazy Abstraction for SystemC with Partial Order Reduction. Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
| 2011 | Büchi Store: An Open Repository of Büchi Automata. Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang |
| 2011 | CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe |
| 2011 | Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala |
| 2011 | Compositionality Entails Sequentializability. Pranav Garg, P. Madhusudan |
| 2011 | Confluence Reduction for Probabilistic Systems. Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol |
| 2011 | Efficient CTMC Model Checking of Linear Real-Time Objectives. Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
| 2011 | Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani |
| 2011 | Enforcing Structural Invariants Using Dynamic Frames. Diego Garbervetsky, Daniel Gorín, Ariel Neisen |
| 2011 | GAVS+: An Open Platform for the Research of Algorithmic Game Solving. Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl |
| 2011 | GameTime: A Toolkit for Timing Analysis of Software. Sanjit A. Seshia, Jonathan Kotker |
| 2011 | Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. Tino Teige, Martin Fränzle |
| 2011 | Invariant Generation in Vampire. Krystof Hoder, Laura Kovács, Andrei Voronkov |
| 2011 | Litmus: Running Tests against Hardware. Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
| 2011 | Loop Summarization and Termination Analysis. Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening |
| 2011 | Model Repair for Probabilistic Systems. Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka |
| 2011 | Modelling and Verification of Web Services Business Activity Protocol. Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio |
| 2011 | Next Generation LearnLib. Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria |
| 2011 | Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen |
| 2011 | On Probabilistic Parallel Programs with Process Creation and Synchronisation. Stefan Kiefer, Dominik Wojtczak |
| 2011 | Optimal Base Encodings for Pseudo-Boolean Constraints. Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp |
| 2011 | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi |
| 2011 | QUASY: Quantitative Synthesis Tool. Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh |
| 2011 | Quantitative Multi-objective Verification for Probabilistic Systems. Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2011 | Reliable Software Development: Analysis-Aware Design. Gerard J. Holzmann |
| 2011 | S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan |
| 2011 | Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. Jacob Burnim, Koushik Sen, Christos Stergiou |
| 2011 | Specification-Based Program Repair Using SAT. Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid |
| 2011 | The ACL2 Sedan Theorem Proving System. Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon |
| 2011 | Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings Parosh Aziz Abdulla, K. Rustan M. Leino |
| 2011 | Transition Invariants and Transition Predicate Abstraction for Program Termination. Andreas Podelski, Andrey Rybalchenko |
| 2011 | Unbeast: Symbolic Bounded Synthesis. Rüdiger Ehlers |