| 1999 | A Common Framework for Mixed Hardware/Software Systems. Jifeng He |
| 1999 | A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems. Martin Große-Rhode |
| 1999 | A Modular Framework for the Integration of Heterogeneous Notations and Tools. Robert Büssow, Wolfgang Grieskamp |
| 1999 | An Approach to the Combination of Formal Description Techniques: Statecharts and TLA. Thomas Deiß |
| 1999 | An Object Semantic Model of SOFL. Jin Song Dong, Shaoying Liu |
| 1999 | Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. Joy N. Reed, Jane E. Sinclair, F. Guigand |
| 1999 | Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 Keijiro Araki, Andy Galloway, Kenji Taguchi |
| 1999 | Integration Problems in Telephone Feature Requirements. J. Paul Gibson, Geoff W. Hamilton, Dominique Méry |
| 1999 | Model-Checking CSP-OZ Specifications with FDR. Clemens Fischer, Heike Wehrheim |
| 1999 | Modelling Discrete Behaviour in a Continuous-Time Formalism. Colin J. Fidge |
| 1999 | Modular Formal Specification of Data and Behaviour. Jaco van de Pol, Jozef Hooman, Edwin D. de Jong |
| 1999 | Modular Verification of Dynamic Properties for Reactive Systems. Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir |
| 1999 | On the Refinement and Simulation of Data Types and Processes. Christie Bolton, Jim Davies, Jim Woodcock |
| 1999 | Overview of the Semantics of TCOZ. Brendan P. Mahony, Jin Song Dong |
| 1999 | Proof Systems for Message-Passing Process Calculi. Matthew Hennessy |
| 1999 | RT-Z: An Integration of Z and timed CSP. Carsten Sühl |
| 1999 | Reactive System Refinement of Distributed Systems in B. Kevin Lano, Kelly Androutsopoulos |
| 1999 | Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. Dominique Méry |
| 1999 | Retrenchment and Punctured Simulation. Richard Banach, Michael Poppleton |
| 1999 | Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. Richard F. Paige |
| 1999 | Specifying Component and Context Specification Using Promotion. John Derrick, Eerke A. Boiten |
| 1999 | Specifying Interactive Systems in Object-Z and CSP. Ian MacColl, David A. Carrington |
| 1999 | The Refinement of Event Calculus Models. Bill Stoddart, Steve Dunne |
| 1999 | Towards Real-Time Object-Z. Graeme Smith, Ian J. Hayes |
| 1999 | Using a Process Algebra to Control B Operations. Helen Treharne, Steve A. Schneider |