Skip to main content
  • Conference proceedings
  • © 2005

Formal Techniques for Networked and Distributed Systems - FORTE 2005

25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Editors:

Conference proceedings info: FORTE 2005.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (44 papers)

  1. Front Matter

  2. KEYNOTE SPEECHES

    1. Ranking Abstraction as Companion to Predicate Abstraction

      • Ittai Balaban, Amir Pnueli, Lenore D. Zuck
      Pages 1-12
    2. A Testing Architecture for Designing High-Reliable MANET Protocols

      • Teruo Higashino, Hirozumi Yamaguchi
      Pages 20-23
  3. REGULAR PAPERS

    1. A Hierarchy of Implementable MSC Languages

      • Benedikt Bollig, Martin Leucker
      Pages 53-67
    2. Fast Generic Model-Checking for Data-Based Systems

      • Dezhuang Zhang, Rance Cleaveland
      Pages 83-97
    3. Logic and Model Checking for Hidden Markov Models

      • Lijun Zhang, Holger Hermanns, David N. Jansen
      Pages 98-112
    4. Ad Hoc Routing Protocol Verification Through Broadcast Abstraction

      • Oskar Wibling, Joachim Parrow, Arnold Pears
      Pages 128-142
    5. Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol

      • Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot
      Pages 143-158
    6. Thread Allocation Protocols for Distributed Real-Time and Embedded Systems

      • César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher Gill, Zohar Manna
      Pages 159-173
    7. A Petri Net View of Mobility

      • Charles A. Lakos
      Pages 174-188
    8. Modular Verification of Petri Nets Properties: A Structure-Based Approach

      • Kais Klai, Serge Haddad, Jean-Michel Ilié
      Pages 189-203
    9. An Improved Conformance Testing Method

      • Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko
      Pages 204-218
    10. Resolving Observability Problems in Distributed Test Architectures

      • J. Chen, R. M. Hierons, H. Ural
      Pages 219-232
    11. Automatic Generation of Conflict-Free IPsec Policies

      • Chi-Lan Chang, Yun-Peng Chiu, Chin-Laung Lei
      Pages 233-246

Other Volumes

  1. Formal Techniques for Networked and Distributed Systems - FORTE 2005

Keywords

  • Bisimulation
  • automata
  • communication protocols
  • distributed computing
  • distributed systems
  • embedded systems
  • formal methods
  • formal specification
  • logic
  • model checking
  • modeling
  • network protocols
  • networked systems
  • programming
  • real-time

Editors and Affiliations

  • Grad. Inst. of Electronic Engineering, National Taiwan University, Taiwan, ROC

    Farn Wang

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions