| 2005 | Chunks: Component Verification in CSP||B. | Steve A. Schneider, Helen Treharne, Neil Evans |
| 2005 | Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. | Gwen Salan, Wendelin Serwe |
| 2005 | A Family of Mathematical Methods for Professional Software Documentation. | David Lorge Parnas |
| 2005 | Agile Formal Method Engineering. | Richard F. Paige, Phillip J. Brooke |
| 2005 | Consistency in UML and B Multi-view Specifications. | Dieu Donn Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquires |
| 2005 | CZT Support for Z Extensions. | Tim Miller, Leo Freitas, Petra Malik, Mark Utting |
| 2005 | Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. | Robi Malik, Partha S. Roop |
| 2005 | Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. | Frdric Lang |
| 2005 | Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. | Vitus S. W. Lam, Julian A. Padget |
| 2005 | Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. | Lars Michael Kristensen, Michael Westergaard, Peder Christian Nrgaard |
| 2005 | An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. | Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter |
| 2005 | Software Model Checking: Searching for Computations in the Abstract or the Concrete. | Patrice Godefroid, Nils Klarlund |
| 2005 | Synthesizing B Specifications from EB | Frdric Gervais, Marc Frappier, Rgine Laleau |
| 2005 | State/Event Software Verification for Branching-Time Specifications. | Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Jol Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith |
| 2005 | Enabling Security Testing from Specification to Code. | Shane Bracher, Padmanabhan Krishnan |
| 2005 | Development of Fault Tolerant Grid Applications Using Distributed B. | Pontus Bostrm, Marina Waldn |
| 2005 | Formal Methods Meet Domain Specific Languages. | Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller |
| 2005 | Generating Path Conditions for Timed Systems. | Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2005 | A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. | Hctor Ruz Barradas, Didier Bert |
| 2004 | A Tutorial Introduction to Designs in Unifying Theories of Programming. | Jim Woodcock, Ana Cavalcanti |
| 2004 | Formalising Behaviour Trees with CSP. | Kirsten Winter |
| 2004 | Embeddings of Hybrid Automata in Process Algebra. | Tim A. C. Willemse |
| 2004 | Viewpoint-Based Testing of Concurrent Components. | Luke Wildman, Roger Duke, Paul A. Strooper |
| 2004 | Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. | Xu Wang, A. W. Roscoe, Ranko Lazic |
| 2004 | A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. | Ana Fernndez Vilas, Jos Juan Pazos-Arias, Rebeca P. Daz Redondo, Alberto Gil-Solla, Jorge Garca Duque |