| 2007 | Linking Semantic Models. | Jifeng He |
| 2007 | A Logical Calculus for Modelling Interferences. | Christophe Fouquer |
| 2007 | Skolem Machines and Geometric Logic. | John Fisher, Marc Bezem |
| 2007 | Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. | Ignacio Fbregas, Miguel Palomino, David de Frutos-Escrig |
| 2007 | Distributed Time-Asynchronous Automata. | Catalin Dima, Ruggero Lanotte |
| 2007 | A Framework for Incorporating Trust into Formal Systems Development. | Fredrik Degerlund, Kaisa Sere |
| 2007 | Tree Components Programming: An Application to XML. | Pascal Coupey, Christophe Fouquer, Jean-Vincent Loddo |
| 2007 | Verifying Lock-Freedom Using Well-Founded Orders. | Robert Colvin, Brijesh Dongol |
| 2007 | Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. | Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou |
| 2007 | A Complete and Compact Propositional Deontic Logic. | Pablo F. Castro, T. S. E. Maibaum |
| 2007 | Bisimulations for a Distributed Higher Order | Zining Cao |
| 2007 | Stepwise Development of Simulink Models Using the Refinement Calculus Framework. | Pontus Bostrm, Lionel Morel, Marina Waldn |
| 2007 | Quasi-interpretation Synthesis by Decomposition. | Guillaume Bonfante, Jean-Yves Marion, Romain Pchoux |
| 2007 | Domain Theory: Practice and Theories A Discussion of Possible Research Topics. | Dines Bjrner |
| 2007 | Automatic Refinement of Split Binary Semaphore. | Damin Barsotti, Javier O. Blanco |
| 2007 | Mobile Ambients with Timers and Types. | Bogdan Aman, Gabriel Ciobanu |
| 2006 | Z/Eves and the Mondex Electronic Purse. | Jim Woodcock, Leo Freitas |
| 2006 | Type Safety for FJ and FGJ. | Shuling Wang, Quan Long, Zongyan Qiu |
| 2006 | A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. | Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes |
| 2006 | A New Approach to Determinisation Using Bit-Parallelism. | Jan Supol, Borivoj Melichar |
| 2006 | Proving ATL* Properties of Infinite-State Systems. | Matteo Slanina, Henny B. Sipma, Zohar Manna |
| 2006 | Spatio-temporal Model Checking for Mobile Real-Time Systems. | Jan-David Quesel, Andreas Schfer |
| 2006 | A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. | Gordon J. Pace, Gerardo Schneider |
| 2006 | Partizan Games in Isabelle/HOLZF. | Steven Obua |
| 2006 | Verifying a Hotel Key Card System. | Tobias Nipkow |