| 1990 | Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989 Son T. Vuong |
| 1989 | A Formal Multi-Layer Test Methodology and its Applications to OSI. Jean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale |
| 1989 | A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System. Richard C. Cam, Son T. Vuong |
| 1989 | A LOTOS-Based Development Strategy. Kenneth J. Turner |
| 1989 | A New User's Experiences and Impressions with Estelle. Samuel C. Chamberlain, Paul D. Amer |
| 1989 | A Protocol Engineering Workstation. Pieter S. Kritzinger, Graham Wheeler |
| 1989 | A Tool for Encoding and Decoding Big ASN.1 Messages. Joaquín Seoane |
| 1989 | ASDE: Design of a Transformational Environment for LOTOS. Gonzalo León, Carlos Delgado Kloos, Gustavo-Adolfo Ramírez-González, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, José Manuel Navarro |
| 1989 | AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. Eric Madelaine, Didier Vergamini |
| 1989 | An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports. Eric Dubuis |
| 1989 | An Estelle Based Test Generation Tool for Modular Specifications. Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya |
| 1989 | An Evaluation of the LCF Theorem Prover using LOTOS. Rob Booth |
| 1989 | An Expressive Temporal Logic for Basic LOTOS. Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve |
| 1989 | An Object Oriented Interpretation of LOTOS. Elspeth Cusack, Steve Rudkin, Chris Smith |
| 1989 | Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. Kong E. Cheng, Lindsay N. Jackson |
| 1989 | COOPER - The Compositional Construction of a Canonical Tester. Rudie Alderden |
| 1989 | Compilation of LOTOS Abstract Data Types. Hubert Garavel |
| 1989 | Derivation of Test Cases for LAP-B from a LOTOS Specification. Djaffar Gueraichi, Luigi Logrippo |
| 1989 | Documentation of Communications Services and Protocols. David Lorge Parnas |
| 1989 | Executable Communicating Rule Systems. Jürgen M. Schneider, Iris B. Neumeier-Mackert, Lothar F. Mackert, Roelof Jan Velthuys |
| 1989 | Experience with Formal Methods in Protocol Development. Deepinder P. Sidhu, Anthony Chung |
| 1989 | Experiences Using Estelle Within SEDOS Estelle Demonstrator. Michel Diaz, Jean Dufau, Roland Groz |
| 1989 | From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. Muffy Thomas |
| 1989 | From the Simulation to the Verification of Estelle Specifications. Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 1989 | LOTOS Extended with Clocks. Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg |
| 1989 | Modeling of Distributed Systems by Concurrent Regular Expressions. Vijay K. Garg |
| 1989 | Object-Z: An Object-Oriented Extension to Z. David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith |
| 1989 | On the Distributed Implementation of LOTOS. Gregor von Bochmann, Qiang Gao, Cheng Wu |
| 1989 | SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL. Michael Atlevi |
| 1989 | Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description. P. Li, M. von Thun, Tharam S. Dillon |
| 1989 | Specification Modules in LOTOS. Ed Brinksma |
| 1989 | Specification for Verification. Hans Hansson, Bengt Jonsson, Fredrik Orava, Björn Pehrson |
| 1989 | Specifying Concurrent Systems Using Logic. David R. Gilbert |
| 1989 | TENT: Test Sequence Generation Tool for Communication Systems. Fumiaki Sato, Kotaro Katsuyama, Tadanori Mizuno |
| 1989 | TIC: A Timed Calculus for LOTOS. Juan Quemada, Arturo Azcorra, David de Frutos-Escrig |
| 1989 | Test Case Derivation from LOTOS Specifications. Jan Tretmans |
| 1989 | Test Generation from Protocol Specification. Piyu Tripathy, Behçet Sarikaya |
| 1989 | The Formal Definition of the Architectural Concept "Interaction Point". Reinhard Gotzhein |
| 1989 | Tools for LOTOS Specification Style Transformation. Peter van Eijk |
| 1989 | Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification. Jian-Ping Wu, Samuel T. Chanson |
| 1989 | UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS. T. Y. Cheung, Y. C. Ye, X. Ye, G. Q. Wang |
| 1989 | Yet another FDT ? An Introduction to CHILL-S. Ansgar Bergmann, Uwe Janßen |