| 1996 | A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. L. Braga, Roberto Manione, P. Renditore |
| 1996 | A New Scheme for Memory-Efficient Probabilistic Verification. Ulrich Stern, David L. Dill |
| 1996 | A Timed Semantics for SDL. Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |
| 1996 | Applications of Fair Testing. Ed Brinksma, Arend Rensink, Walter Vogler |
| 1996 | Automating Performance Optimisation by Heuristic Analysis of a Formal Specification. Philipp Hoschka |
| 1996 | Combined Application of SDL-92, OMT, MSC and TTCN. Eurico Inocêncio, Manuel Ricardo, Hitoshi Sato, Toshimitsu Kashima |
| 1996 | Comparing LOTOS and Z Refinement Relations. John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen |
| 1996 | Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch |
| 1996 | Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke |
| 1996 | Direct Verification of Bisimulations. Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández-Iglesias |
| 1996 | EPER: Efficient Parallel Encoding Rules for ASN.1. Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki |
| 1996 | Fault Models for Testing in Context. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann |
| 1996 | Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. Yves-Marie Quemener, Thierry Jéron |
| 1996 | Formal Description Techniques - How Formal and Descriptive are they? Manfred Broy |
| 1996 | Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996 Reinhard Gotzhein, Jan Bredereke |
| 1996 | Formal Verification of Communication Protocols. M. A. S. Smith |
| 1996 | From LOTOS to Petri Nets through Iexpansion. David Larrabeiti, Juan Quemada, Santiago Pavón |
| 1996 | Implementation of Multimedia Systems based on Real-Time Extensions of Estelle. Stefan Fischer |
| 1996 | Model Checking Based on Occurrence Net Graph. Jean-Michel Couvreur, Denis Poitrenaud |
| 1996 | Model Reduction of Modules for State-Even Temporal Logics. Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham |
| 1996 | Network Computing. Lothar F. Mackert |
| 1996 | On the Introduction of Exceptions in E-LOTOS. Hubert Garavel, Mihaela Sighireanu |
| 1996 | Performance Modelling with the Formal Specification Language SDL. M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger |
| 1996 | Relating Conformance Test Coverage to Formal Specifications. Roland Groz, Olivier Charles, Josiane Renévot |
| 1996 | Specification and Verification of the PowerScale Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian |
| 1996 | The QUEST-Approach for the Performance Evaluation of SDL-Systems. Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann |
| 1996 | The Video Dial Tone Service and the ATM Environment. André A. S. Danthine |
| 1996 | Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1996 | Tool Support for Algebraic Specifications of Dat in SDL-92. Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov |
| 1996 | Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. Stephan Kleuker |
| 1996 | Using Formal Methods: if you're so smart how come you ain't rich? Ed Brinksma |
| 1996 | Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System. Wolfgang Kellerer, Andreas Iselt, R. Riek |
| 1996 | Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. Samuel Huang, David Lee, Mark G. Staskauskas |