Jianping Wu, Samuel T. Chanson, Qiang Gao (Eds.): 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. Kluwer 1999 IFIP Conference Proceedings ISBN 0-7923-8646-9
Invited Talk 1
Part One - Test 1
- Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho: Remote testin can be as powerful as local testing. 25-40
- Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi: Hit-or-Jump: An algorithm for embedded testing with applications to IN services. 41-56
Part Two - FDTs 1
- Peter Csurgay: Prototyping Framework for SDL with Evolving Semantics. 75-94
Part Three - Test 2
- Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson: Stress Testing of Distributed Multimedia Software Systems. 119-133
- Jun Bi, Jianping Wu: A Formal Approach to Conformance Testing of Distributed Routing Protocols. 151-163
Invited Talk 2
Part Four - FDTs 2
- Peter Langendörfer, Hartmut König: Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. 169-184
- Hubert Garavel, Mihaela Sighireanu: A Graphical Parallel Composition Operator for Process Algebras. 185-202
- Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani: Guaranteeing liveness in an object calculus through behavioural typing. 203-221
Part Five - Model Checking
- Patrice Godefroid: Exploiting Symmetry when Model-Checking Software. 257-275
Part Six - Verification
- Ji He, Kenneth J. Turner: Specification and Verification of Synchronous Hardware using LOTOS. 295-312
- Michael Schenke, Michael Dossis: Provably Correct Hardware Compilation using Timing Diagrams. 313-331
Invited Talk 3
Part Seven - Test 3
- Myungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang: An enhanced model for testing asynchronous communicating systems. 337-356
- Soonuk Seol, Myungchul Kim, Sungwon Kang, Yongbum Park, Younghan Choe: Interoperability Test Suite Derivation for the TCP. 357-376
Part Eight - FDTs 3
- David de Frutos-Escrig, Natalia López, Manuel Núñez: Global Timed Bisimulation: An Introduction. 401-416
- Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli: Protocol Synthesis for Real-Time Applications. 417-433
Part Nine - Case Studies
- S. J. Creese, A. W. Roscoe: Verifying an infinite family of inductions simultaneously using data independence and FDR. 437-452
- Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong: Model-Checking a Secure Gorup Communication Protocol: A Case Study. 469-478
Part Ten - Invited Papers
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team