21. FORTE 2001: Cheju Island, Korea

Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee (Eds.): Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21^st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. IFIP Conference Proceedings 197 Kluwer 2001, ISBN 0-7923-7470-3

Part 1 - Formal Methods in Software Development 1

Sven Twarok, Peter Langendörfer, Hartmut König: Automated Derivation of ILP Implementations from SDL Specifications. 3-18
Ferhat Khendek, Stephan Bourduas, Daniel Vincent: Stepwise Design with Message Sequence Charts. 19-34
Pao-Ann Hsiung: Formal Synthesis and Control of Soft Embedded Real-Time Systems. 35-52

Part 2 - Distributed Systems Testing

César Viho, Sébastien Barbin, Lénaick Tanguy: Towards a Formal Framework for Interoperability Testing. 53-68
Jin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo: Distributed Test using Logical Clock. 69-84
Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Diagnosing Multiple Faults in Communicating Finite State Machines. 85-100
Jianping Wu, Yixin Zhao, Xia Yin: From Active to Passive: Progress in Testing of Internet Routing Protocols. 101-118

Part 3 - Timed Automata

Howard Bowman: Time and Action Lock Freedom Properties for Timed Automata. 119-134
Aziz Salah, Rachida Dssouli, Guy Lapalme: Compiling Real-Time Scenarios into a Timed Automaton. 135-150
Akio Nakata, Teruo Higashino: Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. 151-168

Part 4 - Process Algebra

Manuel Núñez, Ismael Rodríguez: PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. 169-184
Muffy Calder, Carron Shankland: A Symbolic Semantics and Bisimulation for Full LOTOS. 185-200
Jeremy Bryans, Carron Shankland: Implementing a Modal Logic over Data and Processes using XTL. 201-218

Part 5 - Applications of Verification

Xiaohua Kong, Radu Negulescu: Formal Verification of Peephole Optimizations in Asynchronous Circuits. 219-234
Farn Wang: Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. 235-250
Vlad Rusu: Verifying a Sliding Window Protocol using PVS. 251-268

Part 6 - Test Sequence Derivation

David Lee, Ruibing Hao: Test Sequence Selection. 269-284
Wen-Huei Chen: Executable Test Sequence for the Protocol Data Flow Property. 285-300
Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino: A Method to Generate Conformance Test Sequences for FSM with Timer System Call. 301-318

Part 7 - Formal Methods in Software Development 2

Jan Bredereke: A Tool for Generating Specifications from a Family of Formal Requirements. 319-334
Heike Wehrheim: Patterns and Rules for Behavioural Subtyping. 335-352

Part 8 - Theories of Verification

Matti Luukkainen: Verification of Dense Time Properties using Theories of Untimed Process Algebra. 353-368
Ulrich Ultes-Nitsche, Simon St. James: Testing Liveness Properties: Approximating Liveness Properties by Safety Properties. 369-376
Hubert Garavel, Frédéric Lang: SVL: A Scripting Language for Compositional Verification. 377-394

Part 9 - Invited Papers

Dines Bjørner: On Formal Techniques in Protocol Engineering - Example Challenges. 395-420
Tin-Wo Cheung, Samuel T. Chanson: A PKI-Based End-to-End Secure Infrastructure for Mobile E-Commerce. 421-442
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. 443-458
Jeannette M. Wing: Survivability Analysis of Networked Systems. 459-

Last update Thu May 23 16:49:21 2013 CET by the DBLP Team —

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