| 2011 | Litmus: Running Tests against Hardware. | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
| 2010 | Model Checking Interactive Markov Chains. | Lijun Zhang, Martin R. Neuhuer |
| 2010 | Stranger: An Automata-Based String Analysis Tool for PHP. | Fang Yu, Muath Alkhalaf, Tevfik Bultan |
| 2010 | Trace-Based Symbolic Analysis for Atomicity Violations. | Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta |
| 2010 | Tracking Heaps That Hop with Heap-Hop. | Jules Villard, tienne Lozes, Cristiano Calcagno |
| 2010 | Simple | Antti Valmari, Giuliana Franceschinis |
| 2010 | Embedded Systems Design - Scientific Challenges and Work Directions. | Joseph Sifakis |
| 2010 | Efficient Detection of Errors in Java Components Using Random Environment and Restarts. | Pavel Parzek, Tomas Kalibera |
| 2010 | Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. | Matthieu Moy, Karine Altisen |
| 2010 | SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. | Janusz Malinowski, Peter Niebert |
| 2010 | A Polymorphic Intermediate Verification Language: Design and Logical Encoding. | K. Rustan M. Leino, Philipp Rmmer |
| 2010 | Approximating the Pareto Front of Multi-criteria Optimization Problems. | Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler |
| 2010 | Assume-Guarantee Verification for Probabilistic Systems. | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2010 | Code Mutation in Verification and Automatic Code Correction. | Gal Katz, Doron A. Peled |
| 2010 | Blocked Clause Elimination. | Matti Jrvisalo, Armin Biere, Marijn Heule |
| 2010 | Fairness for Dynamic Control. | Jochen Hoenicke, Ernst-Rdiger Olderog, Andreas Podelski |
| 2010 | PASS: Abstraction Refinement for Infinite Probabilistic Models. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2010 | Optimal Tableau Algorithms for Coalgebraic Logics. | Rajeev Gor, Clemens Kupke, Dirk Pattinson |
| 2010 | Efficient Bchi Universality Checking. | Seth Fogarty, Moshe Y. Vardi |
| 2010 | Rational Synthesis. | Dana Fisman, Orna Kupferman, Yoad Lustig |
| 2010 | Simplifying Linearizability Proofs with Reduction and Abstraction. | Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran |
| 2010 | SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. | Klaus Drger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim |
| 2010 | Antichain Algorithms for Finite Automata. | Laurent Doyen, Jean-Franois Raskin |
| 2010 | Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. | Alastair F. Donaldson, Daniel Kroening, Philipp Rmmer |
| 2010 | Ranking Function Synthesis for Bit-Vector Relations. | Byron Cook, Daniel Kroening, Philipp Rmmer, Christoph M. Wintersteiger |