| 2008 | SMELS: Satisfiability Modulo Equality with Lazy Superposition. | Christopher Lynch, Duc-Khanh Tran |
| 2008 | Interpolants for Linear Arithmetic in SMT. | Christopher Lynch, Yuefeng Tang |
| 2008 | Deciding Bisimilarity of Full BPA Processes Locally. | Lingyun Luo |
| 2008 | Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. | Guoqiang Li, Mizuhito Ogawa |
| 2008 | Run-Time Monitoring of Electronic Contracts. | Marcel Kyas, Cristian Prisacariu, Gerardo Schneider |
| 2008 | Loop Summarization Using Abstract Transformers. | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2008 | Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. | Gal Katz, Doron A. Peled |
| 2008 | Goanna: Syntactic Software Model Checking. | Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jrg Brauer |
| 2008 | Optimal Strategy Synthesis in Request-Response Games. | Florian Horn, Wolfgang Thomas, Nico Wallmeier |
| 2008 | Controllable Test Cases for the Distributed Test Architecture. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2008 | Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. | John Hkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej |
| 2008 | Model Checking Recursive Programs with Exact Predicate Abstraction. | Arie Gurfinkel, Ou Wei, Marsha Chechik |
| 2008 | On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies. | Nawel Gharbi |
| 2008 | Tree Pattern Rewriting Systems. | Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun |
| 2008 | Practical Efficient Modular Linear-Time Model-Checking. | Carlo A. Furia, Paola Spoletini |
| 2008 | CTLModel-Checking with Graded Quantifiers. | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
| 2008 | SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. | Andreas Eggers, Martin Frnzle, Christian Herde |
| 2008 | Automating Algebraic Specifications of Non-freely Generated Data Types. | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | Impartial Anticipation in Runtime-Verification. | Wei Dong, Martin Leucker, Christian Schallhart |
| 2008 | Formal Verification and Biology. | David L. Dill |
| 2008 | Decidable Compositions of O-Minimal Automata. | Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra |
| 2008 | NetQi: A Model Checker for Anticipation Game. | Elie Bursztein |
| 2008 | Model Based Importance Analysis for Minimal Cut Sets. | Eckard Bde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer |
| 2008 | Compositional Verification for Component-Based Systems and Application. | Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
| 2008 | DiVinE Multi-Core - A Parallel LTL Model-Checker. | Jiri Barnat, Lubos Brim, Petr Rockai |