| 1997 | Timing Constraints in Message Sequence Chart Specifications. | Hanne Ben-Abdallah, Stefan Leue |
| 1997 | Selective -calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1997 | An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. | L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci |
| 1997 | Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. | James H. Andrews, Nancy A. Day, Jeffrey J. Joyce |
| 1997 | On a Concurrency Calculus for Design of Mobile Telecommunication Systems. | Toshihiko Ando, Kaoru Takahashi, Yasushi Kato |
| 1997 | An Improved Search Strategy for Lossy Channel Systems. | Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled |
| 1996 | A New Scheme for Memory-Efficient Probabilistic Verification. | Ulrich Stern, David L. Dill |
| 1996 | Formal Verification of Communication Protocols. | M. A. S. Smith |
| 1996 | Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. | Yves-Marie Quemener, Thierry Jron |
| 1996 | Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. | Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch |
| 1996 | Fault Models for Testing in Context. | Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann |
| 1996 | Direct Verification of Bisimulations. | Martn Llamas Nistal, Juan Quemada, Manuel J. Fernndez-Iglesias |
| 1996 | Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1996 | A Timed Semantics for SDL. | Simon Mrk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |
| 1996 | Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. | Andreas Mitschele-Thiel, Peter Langendrfer, Ralf Henke |
| 1996 | Tool Support for Algebraic Specifications of Dat in SDL-92. | Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov |
| 1996 | Network Computing. | Lothar F. Mackert |
| 1996 | Model Reduction of Modules for State-Even Temporal Logics. | Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham |
| 1996 | From LOTOS to Petri Nets through Iexpansion. | David Larrabeiti, Juan Quemada, Santiago Pavn |
| 1996 | Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. | Stephan Kleuker |
| 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 | Combined Application of SDL-92, OMT, MSC and TTCN. | Eurico Inocncio, Manuel Ricardo, Hitoshi Sato, Toshimitsu Kashima |
| 1996 | Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. | Samuel Huang, David Lee, Mark G. Staskauskas |
| 1996 | Automating Performance Optimisation by Heuristic Analysis of a Formal Specification. | Philipp Hoschka |
| 1996 | EPER: Efficient Parallel Encoding Rules for ASN.1. | Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki |