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 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. Kluwer 2001 IFIP Conference Proceedings 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
- 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
- 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
- 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
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-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team