| 1997 | An Efficient Technique for Deadlock Analysis of Large Scale Process Networks. | J. M. R. Martin, S. A. Jassim |
| 1997 | Design of Reactive Control Systems for Event-Drivem Operations. | Kevin Lano, Arturo Sanchez |
| 1997 | Specification of Required Non-determinism. | Kevin Lano, Juan Bicarregui, Jos Luiz Fiadeiro, Antnia Lopes |
| 1997 | Formalizing Requirements for Distributed Systems with Trace Diagrams. | Stephan Kleuker |
| 1997 | Verification of Reactive Systems Using DisCo and PVS. | Pertti Kellomki |
| 1997 | Consistent Graphical Specification of Distributed Systems. | Franz Huber, Bernhard Schtz, Geralf Einert |
| 1997 | Reuse of Verified Design Templates Through Extended Pattern Matching. | David Hemer, Peter A. Lindsay |
| 1997 | TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations. | Jean-Charles Grgoire |
| 1997 | An M-Net Semantics for a Real-Time Extension of µSDL. | Hans Fleischhack, Josef Tapken |
| 1997 | Formal Verification of Transformations for Peephole Optimization. | Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rue |
| 1997 | Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. | Henning Dierks, Cheryl Dietz |
| 1997 | PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. | Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss |
| 1997 | A UNITY Mapping Operator for Distributed Programs. | Michel Charpentier |
| 1997 | Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. | David Cazier, Jean-Franois Dufourd |
| 1997 | Reconciling Real-Time with Asynchronous Message Passing. | Manfred Broy, Radu Grosu, Cornel Klein |
| 1997 | Viewpoint Consistency in Z and LOTOS: A Case Study. | Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen |
| 1997 | A Compositional Proof System for Shared Variable Concurrency. | Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever |
| 1997 | Verification of Cryptographic Protocols: An Experiment. | Marc Mehdi Ayadi, Dominique Bolignano |
| 1997 | Diagrams and Programming Languages for Programmable Controllers. | Stuart Anderson, Konstantinos Tourlas |
| 1997 | A Proof Obligation Generator for VDM-SL. | Bernhard K. Aichernig, Peter Gorm Larsen |
| 1997 | Towards an Integrated CASE and Theorem Proving Tool for VDM-SL. | Sten Agerholm, Jacob Frost |
| 1996 | Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. | Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp |
| 1996 | Combining Statecharts and Z for the Design of Safety-Critical Control Systems. | Matthias Weber |
| 1996 | Procedure-Level Verification of Real-time Concurrent Systems. | Farn Wang, Chia-Tien Dan Lo |
| 1996 | Refining Action Systems within B-Tool. | Marina Waldn, Kaisa Sere |