| 1999 | Scalable and Object Oriented SDL State(chart)s. | Birger Mller-Pedersen, Dagbjrn Nogva |
| 1999 | Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. | Peter Langendrfer, Hartmut Knig |
| 1999 | An enhanced model for testing asynchronous communicating systems. | Myungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang |
| 1999 | Protocol Synthesis for Real-Time Applications. | Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli |
| 1999 | Remote testin can be as powerful as local testing. | Claude Jard, Thierry Jron, Lnaick Tanguy, Csar Viho |
| 1999 | Model-Checking a Secure Gorup Communication Protocol: A Case Study. | Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong |
| 1999 | User-Friendly Verification. | Pao-Ann Hsiung, Farn Wang |
| 1999 | Software Model Checking. | Gerard J. Holzmann, Margaret H. Smith |
| 1999 | Specification and Verification of Synchronous Hardware using LOTOS. | Ji He, Kenneth J. Turner |
| 1999 | Exploiting Symmetry when Model-Checking Software. | Patrice Godefroid |
| 1999 | A Graphical Parallel Composition Operator for Process Algebras. | Hubert Garavel, Mihaela Sighireanu |
| 1999 | Global Timed Bisimulation: An Introduction. | David de Frutos-Escrig, Natalia Lpez, Manuel Nez |
| 1999 | An Optimizing Compiler for Efficient Model Checking. | Yifei Dong, C. R. Ramakrishnan |
| 1999 | Prototyping Framework for SDL with Evolving Semantics. | Peter Csurgay |
| 1999 | Verifying an infinite family of inductions simultaneously using data independence and FDR. | S. J. Creese, A. W. Roscoe |
| 1999 | Hit-or-Jump: An algorithm for embedded testing with applications to IN services. | Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zadi |
| 1999 | A Formal Approach to Conformance Testing of Distributed Routing Protocols. | Jun Bi, Jianping Wu |
| 1998 | Hardware synthesis from protocol specifications in LOTOS. | Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi |
| 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 | SDL specification and verification of universal personal computing: with Object GEODE. | Maria Tr, Jinsong Zhu, Victor C. M. Leung |
| 1998 | Open Estelle - An FDT for Open Distributed Systems. | Joachim Thees, Reinhard Gotzhein |
| 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 | A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. | Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes |
| 1998 | Exploiting Symmetry in Protocol Testing. | Judi Romijn, Jan Springintveld |
| 1998 | Protocol Feature Interactions. | Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis |