| 1999 | Tool Support for Production Use of Formal Techniques. | John C. Knight, P. Thomas Fletcher, Brian R. Hicks |
| 1999 | The Value of Verification: Positive Experience of Industrial Proof. | Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor |
| 1999 | A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software. | Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan |
| 1999 | Archived Design Steps in Temporal Logic. | Pertti Kellomki, Tommi Mikkonen |
| 1999 | Communication and Synchronisation Using Interaction Objects. | H. B. M. Jonkers |
| 1999 | Scientific Decisions which Characterize VDM. | Cliff B. Jones |
| 1999 | An Algebraic Framework for Higher-Order Modules. | Rosa M. Jimnez, Fernando Orejas |
| 1999 | A Behavioral Model for Co-design. | Jifeng He |
| 1999 | The Role of Formalism in Method. | Michael Jackson |
| 1999 | ParTS: A Partitioning Transformation System. | Juliano Iyoda, Augusto Sampaio, Leila Silva |
| 1999 | Emma: Developing an Industrial Reachability Analyser for SDL. | Nisse Husberg, Tapio Manner |
| 1999 | Formal Modelling and Simulation of Train Control Systems Using Petri Nets. | Michael Meyer zu Hrste, Eckehard Schnieder |
| 1999 | Formal Specification of a Voice Communication System Used in Air Traffic Control. | Johann Hrl, Bernhard K. Aichernig |
| 1999 | Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. | C. A. R. Hoare |
| 1999 | A Formalization of Software Architecture. | John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou |
| 1999 | Refinement Semantics and Loop Rules. | Eric C. R. Hehner, Andrew M. Gravell |
| 1999 | Formal Development and Verification of a Distributed Railway Control System. | Anne E. Haxthausen, Jan Peleska |
| 1999 | Cronos: A Separate Compilation Toolset for Modular Esterel Applications. | Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor |
| 1999 | A Study of Collaborative Work: Answers to a Test on Formal Specification in B. | Henri Habrias, Pascal Poizat, Jean-Yves Lafaye |
| 1999 | Logspace Reducibility via Abstract State Machines. | Erich Grdel, Marc Spielmann |
| 1999 | Hiding More of Hidden Algebra. | Joseph A. Goguen, Grigore Rosu |
| 1999 | Secure Interoperation of Secure Distributed Databases. | Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou |
| 1999 | Secure Synthesis of Code: A Process Improvement Experiment. | P. Garbett, J. P. Parkes, Mike Shackleton, Stuart Anderson |
| 1999 | A Uniform Approach for the Definition of Security Properties. | Riccardo Focardi, Fabio Martinelli |
| 1999 | Modelling Microsoft COM Using pi-Calculus. | Loe M. G. Feijs |