| 2009 | Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. | Laura Kovcs, Andrei Voronkov |
| 2009 | On the Implementation of @pre. | Piotr Kosiuczenko |
| 2009 | Object Flow Definition for Refined Activity Diagrams. | Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse |
| 2009 | Synchronous Modeling and Validation of Priority Inheritance Schedulers. | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond |
| 2009 | Reducing the Costs of Bounded-Exhaustive Testing. | Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov |
| 2009 | A Formal Connection between Security Automata and JML Annotations. | Marieke Huisman, Alejandro Tamalet |
| 2009 | Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. | Frank Hermann, Hartmut Ehrig, Claudia Ermel |
| 2009 | Logical Testing. | Kathryn E. Gray, Alan Mycroft |
| 2009 | Interface Generation and Compositional Verification in JavaPathfinder. | Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2009 | Problem-Oriented Documentation of Design Patterns. | Alexander Flleborn, Klaus Meffert, Maritta Heisel |
| 2009 | Scalable Analysis of Scalable Systems. | Allan Clark, Stephen Gilmore, Mirco Tribastone |
| 2009 | Cross-Entropy-Based Replay of Concurrent Programs. | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov |
| 2009 | HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. | Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller |
| 2009 | SNIFF: A Search Engine for Java Using Free-Form Queries. | Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen |
| 2009 | CADS*: Computer-Aided Development of Self-* Systems. | Radu Calinescu, Marta Z. Kwiatkowska |
| 2009 | hol-TestGen. | Achim D. Brucker, Burkhart Wolff |
| 2009 | Formal Foundation for Pattern-Based Modelling. | Paolo Bottoni, Esther Guerra, Juan de Lara |
| 2009 | Rewriting Logic Semantics and Verification of Model Transformations. | Artur Boronat, Reiko Heckel, Jos Meseguer |
| 2009 | Context-Aware Adaptive Services: The PLASTIC Approach. | Marco Autili, Paolo Di Benedetto, Paola Inverardi |
| 2009 | Control Dependence for Extended Finite State Machines. | Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt |
| 2009 | Formal Specification and Analysis of Timing Properties in Software Systems. | Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura |
| 2009 | Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. | Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng |
| 2009 | Mining API Error-Handling Specifications from Source Code. | Mithun Acharya, Tao Xie |
| 2008 | An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. | Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte |
| 2008 | A Logic of Graph Constraints. | Fernando Orejas, Hartmut Ehrig, Ulrike Prange |