| 1994 | Proof-Based Development of Specifications with KIDS/VDM. | Yves Ledru |
| 1994 | Evaluation of Underdetermined Explicit Definitions. | Peter Gorm Larsen |
| 1994 | Formalising British Rail's Signalling Rules. | Trevor King |
| 1994 | Applying a Concurrent Formal Framework to Process Modelling. | John A. Keane, Jin Sa, Brian Warboys |
| 1994 | Abstract Model Checking of Infinite Specifications. | Daniel Jackson |
| 1994 | Validation of a Railway Interlocking Model. | Kirsten Mark Hansen |
| 1994 | Three Applications of Formal Methods at MITRE. | Joshua D. Guttman, Dale M. Johnson |
| 1994 | Specifying Safety and Progress Properties with RSL. | Jesper Grtz |
| 1994 | Formal and Informal Specifications of a Secure System Component: first results in a comparative study. | John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen |
| 1994 | Adding Real Time to Formal Program Development. | Colin J. Fidge |
| 1994 | Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra. | P. C. Fencott, Andy Galloway, Mike A. Lockyer, S. J. O'Brien, S. Pearson |
| 1994 | Specifying & Verifying Concurrent Systems Using Z. | Andy Evans |
| 1994 | Stepwise Refinement of Control Software - A Case Study Using RAISE. | Franois Erasmy, Emil Sekerinski |
| 1994 | An Extended VDM Refinement Relation. | Morten Elvang-Gransson, Robert E. Fields |
| 1994 | A Theory of Presentations. | David J. Duke, Michael D. Harrison |
| 1994 | Formal Methods in the Railways Signalling Industry. | Babak Dehbonei, Fernando Mejia |
| 1994 | Combining the Design of Industrial Systems with Effective Verification Techniques. | Jorge Cullar, Isolde Wildgruber, Dieter Barnard |
| 1994 | From MooZ to Eiffel - A Rigorous Approach to System Development. | Virgnia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira |
| 1994 | A Critical Look at Functional Specifications. | Rodger Collinson |
| 1994 | Comparing Approaches to Data Reification. | Tim Clement |
| 1994 | Specification and Analysis of a Security Management System. | Omar Cherkaoui |
| 1994 | Seven More Myths of Formal Methods. | Jonathan P. Bowen, Michael G. Hinchey |
| 1994 | Deriving Relational Database Programs from Formal Specifications. | Roberto Souto Maior de Barros |
| 1994 | From Action Systems to Modular Systems. | Ralph-Johan Back, Kaisa Sere |
| 1994 | An experimental support system for formal mathematical reasoning. | Matthias Anlauff, Stefan Jhnichen, Martin Simons |