| 1998 | Solving Asynchronous Equations. | Alexandre Petrenko, Nina Yevtushenko |
| 1998 | A Logical Framework for Distributed Systems and Communication Protocols. | Jos Meseguer |
| 1998 | "On-the-fly Instantiation" of Value-passing Processes. | Huimin Lin |
| 1998 | CMC: A Tool for Compositional Model-Checking of Real-Time Systems. | Franois Laroussinie, Kim Guldstrand Larsen |
| 1998 | Quality of Service in Integrated Networks. | Paul Julius Khn |
| 1998 | Automatic Test Case Generation of Real Protocols: Framework and Methodology. | Tae-Hyong Kim, Ik-Soon Hwang, Chan-Min Park, Jai-Yong Lee, Sang-Bae Lee |
| 1998 | Towards Automatic Distribution of Testers for Distributed Conformance Testing. | Claude Jard, Thierry Jron, Hakim Kahlouche, Csar Viho |
| 1998 | Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System. | Gabriel Huecas, Toms Robles, L. M. Gonzalez, J. Serrano |
| 1998 | Fault-oriented Test Generation for Multicast Routing Protocol Design. | Ahmed Helmy, Deborah Estrin, Sandeep Gupta |
| 1998 | Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE. | Toru Hasegawa, Akira Idoue, Toshihiko Kato, Kenji Suzuki |
| 1998 | SDL-Pattern based Development of a Communication Subsystem for CAN. | Birgit Geppert, A. Kuehlmeyer, Frank Rler, Michael Schneider |
| 1998 | An Algebraic Semantics for Message Sequence Chart Documents. | Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim |
| 1998 | Issues in conformance testing: multiple semicontrollable interfaces. | Mariusz A. Fecko, M. mit Uyar, Adarshpal S. Sethi, Paul D. Amer |
| 1998 | Limits and possibilities of sequential hashing with supertrace. | Jrgen Eckerle, Thomas Lais |
| 1998 | Enumeration Protocol in Estelle: an exercise in stepwise development. | Piotr Dembinski |
| 1998 | On the Improvement of Estelle Based Automatic Implementations. | O. Catrina, A. Nogai |
| 1998 | Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. | Srgio Vale Aguiar Campos |
| 1998 | Frameworks by means of virtual types - exemplified by SDL. | Rolv Broek, Birger Mller-Pedersen |
| 1998 | Integrating Real Time into Spin: A Prototype Implementation. | Dragan Bosnacki, Dennis Dams |
| 1998 | TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. | Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart |
| 1997 | Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols. | Jinsong Zhu, Son T. Vuong |
| 1997 | Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. | Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi |
| 1997 | A Framework for Distributed Object-Oriented Testing. | Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs |
| 1997 | Specification-based Testing of Concurrent Systems. | Andreas Ulrich, Hartmut Knig |
| 1997 | A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. | Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu |