| 1990 | Concurrent Modelling in LOTOS as a Solution to Real Time Problems. | J. M. Martin Espinosa, J. M. Robles Roman, L. Fuertes Prieto |
| 1990 | An Approach to Specifying and Synthesizing Communicating Processes. | M. Hakan Erdogmus, Robert de B. Johnston |
| 1990 | TA-2: A Prototype Analysing Dynamic SDL Properties. | Anders Ek, Jan Ellsberger |
| 1990 | Design of the LOTOSPHERE Symbolic LOTOS Simulator. | Peter van Eijk, Henk Eertink |
| 1990 | Transferring Formal Techniques to Industry. | Roger Duke, Gordon A. Rose, Graeme Smith |
| 1990 | Translation from TTCN to LOTOS and the Validation of Test Cases. | Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba |
| 1990 | Distributed Observation and FIFO Queues. | Rachida Dssouli, Reine Fournier, Gregor von Bochmann |
| 1990 | Interfacing ASN.1 and Estelle: A Practical Approach. | Piotr Dembinski |
| 1990 | Test Case Generation for Protocols Specified in Estelle. | Woojik Chun, Paul D. Amer |
| 1990 | An Executor for Graphical LOTOS. | To-Yat Cheung, Yucheng Ye |
| 1990 | Specifying the Xpress Transfer Protocol Using Estelle and Valira. | Y. T. Cheung, J. William Atwood |
| 1990 | L.0: A Language for Modeling and Prototyping Communications Software. | E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi |
| 1990 | Methodological Objectives for Formal Description Techniques. | Manfred Broy |
| 1990 | One2One - A Tool for Translating ASN.1 to ACT ONE. | F. Brady, A. Boshier, D. Pitt, B. Szczygiel |
| 1990 | Graphical Composition Theorems for Parallel and Hiding Operators. | Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Malln |
| 1990 | ASN.1 and Estelle Implementation Support Tools. | Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld |
| 1990 | Protocol Analysis Using a Timed Version of SDL. | Falko Bause, Peter Buchholz |
| 1990 | Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. | Mrio Baptista, Susanne Graf, Jean-Luc Richier, Lus E. T. Rodrigues, Carlos Rodrguez, Paulo Verssimo, Jacques Voiron |
| 1990 | A Bus Instrumentation Protocol Specified in LOTOS. | Pierre Azma, Khalil Drira, Franois Vernadat |
| 1990 | Automatic Translation of Time Petri Nets into Estelle Description. | A. B. Alkhechi, Stanislaw Budkowski |
| 1989 | Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification. | Jian-Ping Wu, Samuel T. Chanson |
| 1989 | A LOTOS-Based Development Strategy. | Kenneth J. Turner |
| 1989 | Test Generation from Protocol Specification. | Piyu Tripathy, Behet Sarikaya |
| 1989 | Test Case Derivation from LOTOS Specifications. | Jan Tretmans |
| 1989 | From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. | Muffy Thomas |