| 1999 | A Formal Approach to Conformance Testing of Distributed Routing Protocols. Jun Bi, Jianping Wu |
| 1999 | A Formal Description Technology: Graphics E-LOTOS. Wen Li, Ye Xinming, Zhiyong Liu |
| 1999 | A Graphical Parallel Composition Operator for Process Algebras. Hubert Garavel, Mihaela Sighireanu |
| 1999 | An Optimizing Compiler for Efficient Model Checking. Yifei Dong, C. R. Ramakrishnan |
| 1999 | An enhanced model for testing asynchronous communicating systems. Myungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang |
| 1999 | Black Box Checking. Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis |
| 1999 | Confirming configurations in EFSM. Alexandre Petrenko, Sergiy Boroday, Roland Groz |
| 1999 | Coverage analysis for embedded testing and an application. Jinsong Zhu, Son T. Vuong |
| 1999 | Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. Peter Langendörfer, Hartmut König |
| 1999 | Exploiting Symmetry when Model-Checking Software. Patrice Godefroid |
| 1999 | Fair Testing through Probabilistic Testing. Manuel Núñez, David Rupérez |
| 1999 | Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China Jianping Wu, Samuel T. Chanson, Qiang Gao |
| 1999 | Framework for Automatic SDL to C++ Translation. Dirk Trossen, Christian Cseh, Roman Kogan |
| 1999 | Global Timed Bisimulation: An Introduction. David de Frutos-Escrig, Natalia López, Manuel Núñez |
| 1999 | Guaranteeing liveness in an object calculus through behavioural typing. Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani |
| 1999 | Hit-or-Jump: An algorithm for embedded testing with applications to IN services. Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi |
| 1999 | Interoperability Test Suite Derivation for the TCP. Soonuk Seol, Myungchul Kim, Sungwon Kang, Yongbum Park, Younghan Choe |
| 1999 | Model-Checking a Secure Gorup Communication Protocol: A Case Study. Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong |
| 1999 | Protocol Synthesis for Real-Time Applications. Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli |
| 1999 | Prototyping Framework for SDL with Evolving Semantics. Peter Csurgay |
| 1999 | Provably Correct Hardware Compilation using Timing Diagrams. Michael Schenke, Michael Dossis |
| 1999 | Remote testin can be as powerful as local testing. Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho |
| 1999 | Scalable and Object Oriented SDL State(chart)s. Birger Møller-Pedersen, Dagbjørn Nogva |
| 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 | Specification and execution of tests using tMsc. Iulian Ober, Alain Kerbrat |
| 1999 | Stress Testing of Distributed Multimedia Software Systems. Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson |
| 1999 | User-Friendly Verification. Pao-Ann Hsiung, Farn Wang |
| 1999 | Verifying an infinite family of inductions simultaneously using data independence and FDR. S. J. Creese, A. W. Roscoe |