| 2008 | A Theory of Pointers for the UTP. | Will Harwood, Ana Cavalcanti, Jim Woodcock |
| 2008 | Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. | Carlo A. Furia, Paola Spoletini |
| 2008 | Refinement of Kripke Models for Dynamics. | Francien Dechesne, Simona Orzan, Yanjing Wang |
| 2008 | Instantiation for Parameterised Boolean Equation Systems. | Alexander van Dam, Bas Ploeger, Tim A. C. Willemse |
| 2008 | Inclusion Test Algorithms for One-Unambiguous Regular Expressions. | Haiming Chen, Lei Chen |
| 2008 | Symbolic Reachability for Process Algebras with Recursive Data Types. | Stefan Blom, Jaco van de Pol |
| 2008 | Non-interleaving Semantics with Causality for Nondeterministic Dataflow. | Oana Agrigoroaiei, Gabriel Ciobanu |
| 2008 | Using Design Patterns in Formal Methods: An Event-B Approach. | Jean-Raymond Abrial, Thai Son Hoang |
| 2008 | Monotonic Abstraction in Action. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2007 | On the Expressive Power of QLTL. | Zhilin Wu |
| 2007 | A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. | Rafael del Vado Vrseda |
| 2007 | A Randomized Algorithm for BBCSPs in the Prover-Verifier Model. | K. Subramani |
| 2007 | Building Extended Canonizers by Graph-Based Deduction. | Silvio Ranise, Christelle Scharff |
| 2007 | Failures: Their Definition, Modelling and Analysis. | Brian Randell, Maciej Koutny |
| 2007 | Composing Transformations to Optimize Linear Code. | Thomas Noll, Stefan Rieger |
| 2007 | Data-Distributions in | Virginia Niculescu |
| 2007 | On Equality Predicates in Algebraic Specification Languages. | Masaki Nakamura, Kokichi Futatsugi |
| 2007 | FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. | Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio |
| 2007 | Linear Context Free Languages. | Roussanka Loukanova |
| 2007 | Algebraic Semantics for Compensable Transactions. | Jing Li, Huibiao Zhu, Jifeng He |
| 2007 | Axiomatizing Extended Temporal Logic Fragments Via Instantiation. | Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen |
| 2007 | Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau. | Xinxin Liu, Haiyan Chen |
| 2007 | Regular Linear Temporal Logic. | Martin Leucker, Csar Snchez |
| 2007 | C-clock-WS: A Timed Service-Oriented Calculus. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2007 | Controlling Process Modularity in Mobile Computing. | Takashi Kitamura, Huimin Lin |