| 1996 | Relating Conformance Test Coverage to Formal Specifications. | Roland Groz, Olivier Charles, Josiane Renvot |
| 1996 | On the Introduction of Exceptions in E-LOTOS. | Hubert Garavel, Mihaela Sighireanu |
| 1996 | Implementation of Multimedia Systems based on Real-Time Extensions of Estelle. | Stefan Fischer |
| 1996 | The QUEST-Approach for the Performance Evaluation of SDL-Systems. | Marc Diefenbruch, Jrg Hintelmann, Bruno Mller-Clostermann |
| 1996 | Comparing LOTOS and Z Refinement Relations. | John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen |
| 1996 | The Video Dial Tone Service and the ATM Environment. | Andr A. S. Danthine |
| 1996 | Model Checking Based on Occurrence Net Graph. | Jean-Michel Couvreur, Denis Poitrenaud |
| 1996 | Specification and Verification of the PowerScale | Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian |
| 1996 | Performance Modelling with the Formal Specification Language SDL. | M. Btow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger |
| 1996 | Formal Description Techniques - How Formal and Descriptive are they? | Manfred Broy |
| 1996 | Applications of Fair Testing. | Ed Brinksma, Arend Rensink, Walter Vogler |
| 1996 | Using Formal Methods: if you're so smart how come you ain't rich? | Ed Brinksma |
| 1996 | A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. | L. Braga, Roberto Manione, P. Renditore |
| 1995 | Secrets of Call Forwarding: A Specification Case Study. | Pamela Zave |
| 1995 | A LOTOS Compiler Generating Multi-threaded Object Codes. | Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi |
| 1995 | Using PO Methods for Verfying Behavioural Equivalences. | Monica Lara de Souza, Robert de Simone |
| 1995 | A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. | Stphane S. Som, Rachida Dssouli, Jean G. Vaucher |
| 1995 | Specification and Verification of Timed Systems. | Joseph Sifakis |
| 1995 | Experiences of Using SDL Collected in IskraTEL SDL Methodology. | Aana Robnik |
| 1995 | Type Specifications with Processes. | Franz Puntigam |
| 1995 | Formal Method for Event-Triggered Sequential Systems. | Carsta Petersohn |
| 1995 | Assertional Verification of a Connection Management Protocol. | Andrs L. Olh, Sonia M. Heemstra de Groot |
| 1995 | Testing Semantics for Probabilistic LOTOS. | Manuel Nez, David de Frutos-Escrig |
| 1995 | Towards a Mobile LOTOS. | Elie Najm, Jean-Bernard Stefani, Arnaud Fvrier |
| 1995 | Distributed System Specification in VDM | Kevin Lano |