| 2008 | Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. | Bo Guo, Mahadevan Subramaniam |
| 2008 | Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. | Valentin Goranko, Dmitry Shkatov |
| 2008 | Verification-Based Test Case Generation for Full Feasible Branch Coverage. | Christoph Gladisch |
| 2008 | Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. | Roberto Giacobazzi |
| 2008 | Abstract Interpretation in Code Security. | Roberto Giacobazzi |
| 2008 | Restricted Broadcast Process Theory. | Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar |
| 2008 | Ontology-Based Automatic Model Transformations. | Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens Wollenhaupt |
| 2008 | Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. | Martin Frnzle, Michael R. Hansen |
| 2008 | Static Analysis of the Determinism of Multithreaded Programs. | Pietro Ferrara |
| 2008 | Flash-Efficient LTL Model Checking with Minimal Counterexamples. | Stefan Edelkamp, Damian Sulewski |
| 2008 | Specialized Aspect Languages Preserving Classes of Properties. | Simplice Djoko Djoko, Rmi Douence, Pascal Fradet |
| 2008 | Widening Operators for Abstract Interpretation. | Agostino Cortesi |
| 2008 | Object Models with Temporal Constraints. | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2008 | A Generalized Model-Based Test Generation Method. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura, Adenilso da Silva Simo |
| 2008 | Tagging Make Local Testing of Message-Passing Systems Feasible. | Puneet Bhateja, Madhavan Mukund |
| 2008 | Preservation of Proof Pbligations for Hybrid Verification Methods. | Gilles Barthe, Csar Kunz, David Pichardie, Julin Samborski-Forlese |
| 2008 | PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. | Gogul Balakrishnan, Malay K. Ganai |
| 2007 | Algebraic Approach to Linking the Semantics of Web Services. | Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen |
| 2007 | Verifying the Mondex Case Study. | Peter H. Schmitt, Isabel Tonin |
| 2007 | How to Test Program Generators? A Case Study using flex. | Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh |
| 2007 | Verifying Security Properties of Cryptoprotocols: A Novel Approach. | Mohamed Mostafa Saleh, Mourad Debbabi |
| 2007 | Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. | Indranil Saha, Suman Roy, Kuntal Chakraborty |
| 2007 | Hardness for Explicit State Software Model Checking Benchmarks. | Neha Rungta, Eric G. Mercer |
| 2007 | Feature Refinement. | Steve Reeves, David Streader |
| 2007 | Model Checking RAISE Applicative Specifications. | Juan Ignacio Perna, Chris George |