| 2008 | Proving Group Protocols Secure Against Eavesdroppers. | Steve Kremer, Antoine Mercier, Ralf Treinen |
| 2008 | Aligator: A Mathematica Package for Invariant Generation (System Description). | Laura Kovcs |
| 2008 | iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description). | Konstantin Korovin |
| 2008 | The Logical Difference Problem for Description Logic Terminologies. | Boris Konev, Dirk Walther, Frank Wolter |
| 2008 | Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. | Mark Kaminski, Gert Smolka |
| 2008 | On Automating the Calculus of Relations. | Peter Hfner, Georg Struth |
| 2008 | Automated Complexity Analysis Based on the Dependency Pair Method. | Nao Hirokawa, Georg Moser |
| 2008 | Collaborative Programming: Applications of Logic and Automated Reasoning. | Timothy L. Hinrichs |
| 2008 | Operating System Verification for Real Use. | Gernot Heiser |
| 2008 | Exploring Model-Based Development for the Verification of Real-Time Java Code. | Niusha Hakimipour, Paul A. Strooper, Roger Duke |
| 2008 | Software Verification: Roles and Challenges for Automatic Decision Procedures. | Aarti Gupta |
| 2008 | Precise Dynamic Verification of Confidentiality. | Gurvan Le Guernic |
| 2008 | An Experimental Evaluation of Global Caching for (System Description). | Rajeev Gor, Linda Postniece |
| 2008 | Towards SMT Model Checking of Array-Based Systems. | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2008 | The Abella Interactive Theorem Prover (System Description). | Andrew Gacek |
| 2008 | LogAnswer - A Deduction-Based Question Answering System (System Description). | Ulrich Furbach, Ingo Glckner, Hermann Helbig, Bjrn Pelzer |
| 2008 | Labelled Splitting. | Arnaud Fietzke, Christoph Weidenbach |
| 2008 | MTT: The Maude Termination Tool (System Description). | Francisco Durn, Salvador Lucas, Jos Meseguer |
| 2008 | Bit Inference. | Nachum Dershowitz |
| 2008 | Canonicity! | Nachum Dershowitz |
| 2008 | Model Stack for the Pervasive Verification of a Microkernel-based Operating System. | Matthias Daum, Jan Drrenbcher, Sebastian Bogan |
| 2008 | Efficient Well-Definedness Checking. | dm Darvas, Farhad Mehta, Arsenii Rudich |
| 2008 | Challenges in the Automated Verification of Security Protocols. | Hubert Comon-Lundh |
| 2008 | Bitfields and Tagged Unions in C: Verification through Automatic Generation. | David A. Cock |
| 2008 | Specification Predicates with Explicit Dependency Information. | Richard Bubel, Reiner Hhnle, Peter H. Schmitt |