| 2008 | A Direct Algorithm for Multi-valued Bounded Model Checking. Jefferson O. Andrade, Yukiyoshi Kameyama |
| 2008 | A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan |
| 2008 | Alaska. Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin |
| 2008 | Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara |
| 2008 | Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. Guoqiang Li, Mizuhito Ogawa |
| 2008 | Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan |
| 2008 | Automating Algebraic Specifications of Non-freely Generated Data Types. Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | CTLModel-Checking with Graded Quantifiers. Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
| 2008 | CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. Ansuman Banerjee, Kausik Datta, Pallab Dasgupta |
| 2008 | Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej |
| 2008 | Compositional Verification for Component-Based Systems and Application. Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
| 2008 | Computation Tree Regular Logic for Genetic Regulatory Networks. Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong |
| 2008 | Controllable Test Cases for the Distributed Test Architecture. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
| 2008 | Decidable Compositions of O-Minimal Automata. Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra |
| 2008 | Deciding Bisimilarity of Full BPA Processes Locally. Lingyun Luo |
| 2008 | DiVinE Multi-Core - A Parallel LTL Model-Checker. Jiri Barnat, Lubos Brim, Petr Rockai |
| 2008 | Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan |
| 2008 | Formal Verification and Biology. David L. Dill |
| 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, Jörg Brauer |
| 2008 | Impartial Anticipation in Runtime-Verification. Wei Dong, Martin Leucker, Christian Schallhart |
| 2008 | Interpolants for Linear Arithmetic in SMT. Christopher Lynch, Yuefeng Tang |
| 2008 | Loop Summarization Using Abstract Transformers. Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2008 | Model Based Importance Analysis for Minimal Cut Sets. Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer |
| 2008 | Model Checking Recursive Programs with Exact Predicate Abstraction. Arie Gurfinkel, Ou Wei, Marsha Chechik |
| 2008 | NetQi: A Model Checker for Anticipation Game. Elie Bursztein |
| 2008 | On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies. Nawel Gharbi |
| 2008 | Optimal Strategy Synthesis in Request-Response Games. Florian Horn, Wolfgang Thomas, Nico Wallmeier |
| 2008 | Passive Testing of Timed Systems. César Andrés, Mercedes G. Merayo, Manuel Núñez |
| 2008 | Practical Efficient Modular Linear-Time Model-Checking. Carlo A. Furia, Paola Spoletini |
| 2008 | Run-Time Monitoring of Electronic Contracts. Marcel Kyas, Cristian Prisacariu, Gerardo Schneider |
| 2008 | SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. Andreas Eggers, Martin Fränzle, Christian Herde |
| 2008 | SMELS: Satisfiability Modulo Equality with Lazy Superposition. Christopher Lynch, Duc-Khanh Tran |
| 2008 | Tests, Proofs and Refinements. Sriram K. Rajamani |
| 2008 | Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. Farn Wang |
| 2008 | Tree Pattern Rewriting Systems. Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun |
| 2008 | Trust and Automation in Verification Tools. Natarajan Shankar |