| 1994 | Verifying ET-LOTOS programmes with KRONOS. | Conrado Daws, Alfredo Olivero, Sergio Yovine |
| 1994 | On the formal specification and verification of network routing algorithms. | Jim Davies, Matt Wallis |
| 1994 | Relating maximality-based semantics to action refinement in process algebras. | Jean-Pierre Courtiat, Djamel-Eddine Sadouni |
| 1994 | A new distributed algorithm for implementation of LOTOS. | Zixue Cheng, Tongjun Huang, Norio Shiratori |
| 1994 | Modelization and verification of a multiprocessor realtime OS kernel. | Thierry Cattel |
| 1994 | Validation of supplementary services in the context of interoperability. | S. Le Bricquir, A. Lauzanne |
| 1994 | Specification, detection and resolution of IN feature interactions with Estelle. | Jan Bredereke, Reinhard Gotzhein |
| 1994 | Simulator for LOTOS to study the independence and causality of events. | B. Botma, Rom Langerak |
| 1994 | A new approach to performance evaluation of formally specified protocols. | Stefan Bhmer, Ralf Klafka |
| 1994 | A synthesis algorithm of a protocol model from a single entity. | Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori |
| 1994 | Integrated analysis of concurrent distributed systems using Markovian process algebra. | Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri |
| 1994 | Delayed choice: an operator for joining Message Sequence Charts. | Jos C. M. Baeten, Sjouke Mauw |
| 1993 | A recursive process algebra for queues. | Hsn Yenign, Esfandiar Haghverdi, S. Bilgen, Kemal Inan |
| 1993 | The Challenges Facing Formal Description Techniques. | Colin H. West |
| 1993 | TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation. | Son T. Vuong, Sangho Lee |
| 1993 | Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. | Hasan Ural, Alan W. Williams |
| 1993 | DILL: Specifying Digital Logic in LOTOS. | Kenneth J. Turner, Richard O. Sinnott |
| 1993 | Towards a Modular Specification and Verification of Protocols within a Layered Architecture. | Younes Souissi |
| 1993 | An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. | Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita |
| 1993 | Compressing the State Space Representation of LOTOS Specifications. | Juan Quemada, David Larrabeiti, Santiago Pavn |
| 1993 | Overview: Survey of Formal Methods in Industry. | Graeme I. P. Parkin, Stephen Austin |
| 1993 | A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. | Sanjai Narain, Orville Cockings, Ritu Chadha |
| 1993 | LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1993 | Formalisation Based on Understanding. | Maria Manuela Marques, Dag Belsnes, Malachy Murphy |
| 1993 | Integrating Estelle and ASN.1 for Automatic Implementation. | Anthony C. C. Lo, Richard Lai |