| 2000 | A Concurrent and Compositional Petri Net Semantics of Preemption. | Hanna Klaudel, Franck Pommereau |
| 2000 | ISpec: Towards Practical and Sound Interface Specifications. | H. B. M. Jonkers |
| 2000 | Assertions. | C. A. R. Hoare |
| 2000 | Towards Model Checking Stochastic Process Algebra. | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 2000 | Linking DC Together with TRSL. | Anne Elisabeth Haxthausen, Xia Yong |
| 2000 | Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. | Jrg Fischer, Stefan Conrad |
| 2000 | Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. | Jrgen Dingel |
| 2000 | Structural Refinement in Object-Z/CSP. | John Derrick, Graeme Smith |
| 2000 | How to Write a Healthiness Condition. | Yifeng Chen |
| 2000 | Predicate Diagrams for the Verification of Reactive Systems. | Dominique Cansell, Dominique Mry, Stephan Merz |
| 2000 | A Process Compensation Language. | Michael J. Butler, Carla Ferreira |
| 2000 | Specification and Analysis of Automata-Based Designs. | Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick |
| 2000 | Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. | Jonathan P. Bowen |
| 2000 | Activity Graphs and Processes. | Christie Bolton, Jim Davies |
| 2000 | Construction of Finite Labelled Transistion Systems from B Abstract Systems. | Didier Bert, Francis Cave |
| 2000 | State-Based Extensions of CASL. | Hubert Baumeister, Alexandre V. Zamulin |
| 2000 | Cooperation of Formal Methods in an Engineering Based Software Development Process. | Yamine At Ameur |
| 1999 | Using a Process Algebra to Control B Operations. | Helen Treharne, Steve A. Schneider |
| 1999 | RT-Z: An Integration of Z and timed CSP. | Carsten Shl |
| 1999 | The Refinement of Event Calculus Models. | Bill Stoddart, Steve Dunne |
| 1999 | Towards Real-Time Object-Z. | Graeme Smith, Ian J. Hayes |
| 1999 | Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. | Joy N. Reed, Jane E. Sinclair, F. Guigand |
| 1999 | Modular Formal Specification of Data and Behaviour. | Jaco van de Pol, Jozef Hooman, Edwin D. de Jong |
| 1999 | Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. | Richard F. Paige |
| 1999 | Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. | Dominique Mry |