| 1999 | Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. | Farn Wang |
| 1999 | Test Criteria Definition for B Models. | Salimeh Behnia, Hlne Waeselynck |
| 1999 | Interfacing Program Construction and Verification. | Richard Verhoeven, Roland Carl Backhouse |
| 1999 | Applications of Structural Synthesis of Programs. | Enn Tyugu, Mihhail Matskin, Jaan Penjam |
| 1999 | On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. | Stavros Tripakis, Karine Altisen |
| 1999 | A GSM-MAP Protocol Experiment Using Passive Testing. | Marine Tabourier, Ana R. Cavalli, Melania Ionescu |
| 1999 | Group Principals and the Formalization of Anonymity. | Paul F. Syverson, Stuart G. Stubblebine |
| 1999 | Formal Modeling of the Enterprise JavaBeans | Joo Pedro Sousa, David Garlan |
| 1999 | Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. | Irina M. Smarandache, Thierry Gautier, Paul Le Guernic |
| 1999 | Integration, the Price of Success. | Joseph Sifakis |
| 1999 | A Translation of Statecharts to Esterel. | Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar |
| 1999 | Safety Analysis in Formal Specification. | Kaisa Sere, Elena Troubitsyna |
| 1999 | Abstraction and Testing. | Steve A. Schneider |
| 1999 | Integrating Formal Description Techniques. | Bernhard Schtz, Franz Huber |
| 1999 | The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. | Denis Sabatier, Pierre Lartigue |
| 1999 | Mechanized Formal Methods: Where Next? | John M. Rushby |
| 1999 | Interpreting the B-Method in the Refinement Calculus. | Yann Rouzaud |
| 1999 | Error Detection with Directed Symbolic Model Checking. | Frank Reffel, Stefan Edelkamp |
| 1999 | Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. | Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen |
| 1999 | Systems Development Using Z Generics. | Fiona Polack, Susan Stepney |
| 1999 | From Informal Requirements to COOP: A Concurrent Automata Approach. | Pascal Poizat, Christine Choppy, Jean-Claude Royer |
| 1999 | Refinement of Pipe-and-Filter Architectures. | Jan Philipps, Bernhard Rumpe |
| 1999 | Semantics of First Order Parametric Specifications. | Dusko Pavlovic |
| 1999 | Developing BON as an Industrial-Strength Formal Method. | Richard F. Paige, Jonathan S. Ostroff |
| 1999 | Bunches for Object-Oriented, Concurrent, and Real-Time Specification. | Richard F. Paige, Eric C. R. Hehner |