| 2010 | A Polymorphic Intermediate Verification Language: Design and Logical Encoding. K. Rustan M. Leino, Philipp Rümmer |
| 2010 | ACS: Automatic Converter Synthesis for SoC Bus Protocols. Karin Avnit, Arcot Sowmya, Jorgen Peddersen |
| 2010 | AlPiNA: An Algebraic Petri Net Analyzer. Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi |
| 2010 | An Alternative to SAT-Based Approaches for Bit-Vectors. Sébastien Bardin, Philippe Herrmann, Florian Perroud |
| 2010 | Antichain Algorithms for Finite Automata. Laurent Doyen, Jean-François Raskin |
| 2010 | Approximating the Pareto Front of Multi-criteria Optimization Problems. Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler |
| 2010 | Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. Matthieu Moy, Karine Altisen |
| 2010 | Assume-Guarantee Verification for Probabilistic Systems. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2010 | Automated Termination Analysis for Programs with Second-Order Recursion. Markus Aderhold |
| 2010 | Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer |
| 2010 | Blocked Clause Elimination. Matti Järvisalo, Armin Biere, Marijn Heule |
| 2010 | Boom: Taking Boolean Program Model Checking One Step Further. Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao |
| 2010 | Code Mutation in Verification and Automatic Code Correction. Gal Katz, Doron A. Peled |
| 2010 | Computing the Leakage of Information-Hiding Systems. Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith |
| 2010 | Efficient Büchi Universality Checking. Seth Fogarty, Moshe Y. Vardi |
| 2010 | Efficient Detection of Errors in Java Components Using Random Environment and Restarts. Pavel Parízek, Tomas Kalibera |
| 2010 | Embedded Systems Design - Scientific Challenges and Work Directions. Joseph Sifakis |
| 2010 | Fairness for Dynamic Control. Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski |
| 2010 | JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. Axel Belinfante |
| 2010 | Model Checking Interactive Markov Chains. Lijun Zhang, Martin R. Neuhäußer |
| 2010 | On Weak Modal Compatibility, Refinement, and the MIO Workbench. Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker |
| 2010 | Optimal Tableau Algorithms for Coalgebraic Logics. Rajeev Goré, Clemens Kupke, Dirk Pattinson |
| 2010 | PASS: Abstraction Refinement for Infinite Probabilistic Models. Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang |
| 2010 | Preemption Sealing for Efficient Concurrency Testing. Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer |
| 2010 | Ranking Function Synthesis for Bit-Vector Relations. Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger |
| 2010 | Rational Synthesis. Dana Fisman, Orna Kupferman, Yoad Lustig |
| 2010 | SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. Janusz Malinowski, Peter Niebert |
| 2010 | SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim |
| 2010 | Satisfiability Modulo the Theory of Costs: Foundations and Applications. Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico |
| 2010 | Simple Antti Valmari, Giuliana Franceschinis |
| 2010 | Simplifying Linearizability Proofs with Reduction and Abstraction. Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran |
| 2010 | Statistical Measurement of Information Leakage. Konstantinos Chatzikokolakis, Tom Chothia, Apratim Guha |
| 2010 | Stranger: An Automata-Based String Analysis Tool for PHP. Fang Yu, Muath Alkhalaf, Tevfik Bultan |
| 2010 | The OpenSMT Solver. Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich |
| 2010 | Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings Javier Esparza, Rupak Majumdar |
| 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 | When Simulation Meets Antichains. Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar |