| 2012 | Deriving Real-Time Action Systems Controllers from Multiscale System Specifications. | Brijesh Dongol, Ian J. Hayes |
| 2012 | Reverse Exchange for Concurrency and Local Reasoning. | Han-Hing Dang, Bernhard Mller |
| 2012 | Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs. | Gilles Barthe, Benjamin Grgoire, Santiago Zanella-Bguelin |
| 2012 | Modular Tree Automata. | Patrick Bahr |
| 2012 | First-Past-the-Post Games. | Roland Carl Backhouse |
| 2012 | Dependently Typed Programming Based on Automated Theorem Proving. | Alasdair Armstrong, Simon Foster, Georg Struth |
| 2010 | Gradual Refinement. | Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu |
| 2010 | Temporal Logic Verification of Lock-Freedom. | Bogdan Tofan, Simon Bumler, Gerhard Schellhorn, Wolfgang Reif |
| 2010 | Formal Derivation of Concurrent Garbage Collectors. | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
| 2010 | Compositionality of Secure Information Flow. | Catuscia Palamidessi |
| 2010 | Generic Point-free Lenses. | Hugo Pacheco, Alcino Cunha |
| 2010 | Sampling, Splitting and Merging in Coinductive Stream Calculus. | Milad Niqui, Jan J. M. M. Rutten |
| 2010 | Lucy-n: a n-Synchronous Extension of Lustre. | Louis Mandel, Florence Plateau, Marc Pouzet |
| 2010 | Matrices as Arrows! | Hugo Daniel Macedo, Jos Nuno Oliveira |
| 2010 | A Tracking Semantics for CSP. | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2010 | An Abstract Machine for the Old Value Retrieval. | Piotr Kosiuczenko |
| 2010 | Adjoint Folds and Unfolds. | Ralf Hinze |
| 2010 | Process Algebras for Collective Dynamics. | Jane Hillston |
| 2010 | Unifying Theories of Programming That Distinguish Nontermination and Abort. | Ian J. Hayes, Steve Dunne, Larissa Meinicke |
| 2010 | Partial, Total and General Correctness. | Walter Guttmann |
| 2010 | Designing an Algorithmic Proof of the Two-Squares Theorem. | Joo F. Ferreira |
| 2010 | Compositional Action System Derivation Using Enforced Properties. | Brijesh Dongol, Ian J. Hayes |
| 2010 | Subtyping, Declaratively. | Nils Anders Danielsson, Thorsten Altenkirch |
| 2010 | Abstraction of Object Graphs in Program Verification. | Yifeng Chen, Jeff W. Sanders |
| 2010 | Dependently Typed Grammars. | Kasper Brink, Stefan Holdermans, Andres Lh |