| 1998 | "On-the-fly Instantiation" of Value-passing Processes. Huimin Lin |
| 1998 | A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes |
| 1998 | A Logical Framework for Distributed Systems and Communication Protocols. José Meseguer |
| 1998 | A graphical representation and prototype editor for the Formal Description Technique Estelle. Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski |
| 1998 | An Algebraic Semantics for Message Sequence Chart Documents. Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim |
| 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 | CMC: A Tool for Compositional Model-Checking of Real-Time Systems. François Laroussinie, Kim Guldstrand Larsen |
| 1998 | Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System. Gabriel Huecas, Tomás Robles, L. M. Gonzalez, J. Serrano |
| 1998 | Enumeration Protocol in Estelle: an exercise in stepwise development. Piotr Dembinski |
| 1998 | Exploiting Symmetry in Protocol Testing. Judi Romijn, Jan Springintveld |
| 1998 | Fault-oriented Test Generation for Multicast Routing Protocol Design. Ahmed Helmy, Deborah Estrin, Sandeep Gupta |
| 1998 | Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France Stanislaw Budkowski, Ana R. Cavalli, Elie Najm |
| 1998 | Frameworks by means of virtual types - exemplified by SDL. Rolv Broek, Birger Møller-Pedersen |
| 1998 | Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE. Toru Hasegawa, Akira Idoue, Toshihiko Kato, Kenji Suzuki |
| 1998 | Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application development. Nikos S. Voros, S. K. Tsasakou, C. Valderrama, S. Arab, Alexios N. Birbas, Michael K. Birbas, Evaggelinos P. Mariatos, A. Andritsou |
| 1998 | Hardware synthesis from protocol specifications in LOTOS. Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi |
| 1998 | Integrating Real Time into Spin: A Prototype Implementation. Dragan Bosnacki, Dennis Dams |
| 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. Jürgen Eckerle, Thomas Lais |
| 1998 | On the Improvement of Estelle Based Automatic Implementations. O. Catrina, A. Nogai |
| 1998 | Open Estelle - An FDT for Open Distributed Systems. Joachim Thees, Reinhard Gotzhein |
| 1998 | Protocol Feature Interactions. Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis |
| 1998 | Quality of Service in Integrated Networks. Paul J. Kühn |
| 1998 | SDL specification and verification of universal personal computing: with Object GEODE. Maria Törö, Jinsong Zhu, Victor C. M. Leung |
| 1998 | SDL-Pattern based Development of a Communication Subsystem for CAN. Birgit Geppert, A. Kuehlmeyer, Frank Rößler, Michael Schneider |
| 1998 | Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. Sérgio Vale Aguiar Campos |
| 1998 | Solving Asynchronous Equations. Alexandre Petrenko, Nina Yevtushenko |
| 1998 | Towards Automatic Distribution of Testers for Distributed Conformance Testing. Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho |
| 1998 | TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart |