12. FORTE / 19. PSTV 1999: Beijing, China

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. IFIP Conference Proceedings 156 Kluwer 1999, ISBN 0-7923-8646-9

Invited Talk 1

Part One - Test 1

Alexandre Petrenko, Sergiy Boroday, Roland Groz: Confirming configurations in EFSM. 5-24
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

Birger Møller-Pedersen, Dagbjørn Nogva: Scalable and Object Oriented SDL State(chart)s. 59-73
Peter Csurgay: Prototyping Framework for SDL with Evolving Semantics. 75-94
Dirk Trossen, Christian Cseh, Roman Kogan: Framework for Automatic SDL to C++ Translation. 95-115

Part Three - Test 2

Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson: Stress Testing of Distributed Multimedia Software Systems. 119-133
Manuel Núñez, David Rupérez: Fair Testing through Probabilistic Testing. 135-150
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

Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. 225-240
Yifei Dong, C. R. Ramakrishnan: An Optimizing Compiler for Efficient Model Checking. 241-256
Patrice Godefroid: Exploiting Symmetry when Model-Checking Software. 257-275

Part Six - Verification

Pao-Ann Hsiung, Farn Wang: User-Friendly Verification. 279-294
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
Jinsong Zhu, Son T. Vuong: Coverage analysis for embedded testing and an application. 377-386

Part Eight - FDTs 3

Wen Li, Ye Xinming, Zhiyong Liu: A Formal Description Technology: Graphics E-LOTOS. 389-400
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
Iulian Ober, Alain Kerbrat: Specification and execution of tests using tMsc. 453-468
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

Gerard J. Holzmann, Margaret H. Smith: Software Model Checking. 481-497

Last update Wed May 22 23:33:21 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page