| 2008 | A SAT-Based Approach to Size Change Termination with Global Ranking Functions. Amir M. Ben-Amram, Michael Codish |
| 2008 | Accelerating Interpolation-Based Model-Checking. Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun |
| 2008 | Analyzing Stripped Device-Driver Executables. Gogul Balakrishnan, Thomas W. Reps |
| 2008 | Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin |
| 2008 | Automatically Refining Abstract Interpretations. Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani |
| 2008 | Computation and Visualisation of Phase Portraits for Model Checking SPDIs. Gordon J. Pace, Gerardo Schneider |
| 2008 | Computing Simulations over Tree Automata. Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
| 2008 | Conditional Probabilities over Probabilistic and Nondeterministic Systems. Miguel E. Andrés, Peter van Rossum |
| 2008 | Context-Bounded Analysis of Concurrent Queue Systems. Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
| 2008 | Demand-Driven Compositional Symbolic Execution. Saswat Anand, Patrice Godefroid, Nikolai Tillmann |
| 2008 | Efficient Automatic STE Refinement Using Responsibility. Hana Chockler, Orna Grumberg, Avi Yadgar |
| 2008 | Efficient Interpolant Generation in Satisfiability Modulo Theories. Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
| 2008 | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2008 | Fast Directed Model Checking Via Russian Doll Abstraction. Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen |
| 2008 | Formal Pervasive Verification of a Paging Mechanism. Eyad Alkassar, Norbert Schirmer, Artem Starostin |
| 2008 | GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo |
| 2008 | Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. Mayank Saksena, Oskar Wibling, Bengt Jonsson |
| 2008 | Hardware Verification: Techniques, Methodology and Solutions. Sharad Malik |
| 2008 | Interprocedural Analysis of Concurrent Programs Under a Context Bound. Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps |
| 2008 | Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. Gal Katz, Doron A. Peled |
| 2008 | On Automated Verification of Probabilistic Programs. Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell |
| 2008 | On Local Reasoning in Verification. Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2008 | On Verifying Fault Tolerance of Distributed Protocols. Dana Fisman, Orna Kupferman, Yoad Lustig |
| 2008 | On-the-Fly Techniques for Game-Based Software Model Checking. Adam Bakewell, Dan R. Ghica |
| 2008 | Peephole Partial Order Reduction. Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta |
| 2008 | Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
| 2008 | Quantified Invariant Generation Using an Interpolating Saturation Prover. Kenneth L. McMillan |
| 2008 | RESY: Requirement Synthesis for Compositional Model Checking. Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe |
| 2008 | RWset: Attacking Path Explosion in Constraint-Based Test Generation. Peter Boonstoppel, Cristian Cadar, Dawson R. Engler |
| 2008 | Reasoning Algebraically About P-Solvable Loops. Laura Kovács |
| 2008 | Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber |
| 2008 | Rocket-Fast Proof Checking for SMT Solvers. Michal Moskal |
| 2008 | SDSIrep: A Reputation System Based on SDSI. Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth |
| 2008 | SVISS: Symbolic Verification of Symmetric Systems. Thomas Wahl, Nicolas Blanc, E. Allen Emerson |
| 2008 | Scoot: A Tool for the Analysis of SystemC Models. Nicolas Blanc, Daniel Kroening, Natasha Sharygina |
| 2008 | Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic |
| 2008 | The Real-Time Maude Tool. Peter Csaba Ölveczky, José Meseguer |
| 2008 | Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings C. R. Ramakrishnan, Jakob Rehof |
| 2008 | Trusted Source Translation of a Total Function Language. Guodong Li, Konrad Slind |
| 2008 | Z3: An Efficient SMT Solver. Leonardo Mendonça de Moura, Nikolaj S. Bjørner |