| 1999 | A Termination Detection Algorithm: Specification and Verification. | Robert Eschbach |
| 1999 | A Business Process Design Language. | Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, Chris A. Vissers |
| 1999 | Formal Methods for Extensions to CAS. | Martin Dunstan, Tom W. Kelsey, Ursula Martin, Steve Linton |
| 1999 | The Safe Machine: A New Specification Construct for B. | Steve Dunne |
| 1999 | Analyzing the Requirements of an Access Control Using VDMTools and PVS. | Georg Droschl |
| 1999 | Modeling Aircraft Mission Computer Task Rates. | Jin Song Dong, Brendan P. Mahony, Neale Fulton |
| 1999 | Component-Based Algebraic Specification and Verification in CafeOBJ. | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida |
| 1999 | Non-atomic Refinement in Z. | John Derrick, Eerke A. Boiten |
| 1999 | Software Verification Based on Linear Programming. | S. Dellacherie, Samuel Devulder, Jean-Luc Lambert |
| 1999 | Symbolic Model Checking with Fewer Fixpoint Computations. | David Dharbe, Anamaria Martins Moreira |
| 1999 | On-the-Fly Verification of Linear Temporal Logic. | Jean-Michel Couvreur |
| 1999 | Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. | Eric Conquet, Jean-Luc Marty |
| 1999 | Maude as a Formal Meta-tool. | Manuel Clavel, Francisco Durn, Steven Eker, Jos Meseguer, Mark-Oliver Stehr |
| 1999 | Formal Specification and Validation of a Vital Communication Protocol. | Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
| 1999 | Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. | Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans |
| 1999 | Towards a Compositional Approach to the Design and Verification of Distributed Systems. | Michel Charpentier, K. Mani Chandy |
| 1999 | A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. | Ana Cavalcanti, David A. Naumann |
| 1999 | csp2B: A Practical Approach to Combining CSP and B. | Michael J. Butler |
| 1999 | Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems. | Bettina Buth, Mike Schrnen |
| 1999 | KVEST: Automated Generation of Test Suites from Formal Specifications. | Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter |
| 1999 | Compositional Symmetric Sharing in B. | Martin Bchi, Ralph-Johan Back |
| 1999 | IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier |
| 1999 | Feature Interaction Detection Using Testing and Model-Checking Experience Report. | Lydie du Bousquet |
| 1999 | Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. | Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever |
| 1999 | Mtor: A Successful Application of B in a Large Project. | Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier |