Skip to main content
SpringerLink
Log in

Formal Techniques for Networked and Distributed Systems - FORTE 2005

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Farn Wang

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3731)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FORTE 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (44 papers)

  1. Front Matter

    Download chapter PDF

  2. KEYNOTE SPEECHES

    1. Ranking Abstraction as Companion to Predicate Abstraction

      • Ittai Balaban, Amir Pnueli, Lenore D. Zuck
      Pages 1-12

    2. Developing High Quality Software with Formal Methods: What Else Is Needed?

      • Constance Heitmeyer
      Pages 13-19

    3. A Testing Architecture for Designing High-Reliable MANET Protocols

      • Teruo Higashino, Hirozumi Yamaguchi
      Pages 20-23

  3. REGULAR PAPERS

    1. A Composition Operator for Systems with Active and Passive Actions

      • Stefan Strubbe, Rom Langerak
      Pages 24-37

    2. A Formal Semantics of UML StateCharts by Means of Timed Petri Nets

      • Youcef Hammal
      Pages 38-52

    3. A Hierarchy of Implementable MSC Languages

      • Benedikt Bollig, Martin Leucker
      Pages 53-67

    4. Combining Static Analysis and Model Checking for Systems Employing Commutative Functions

      • A. Prasad Sistla, Min Zhou
      Pages 68-82

    5. Fast Generic Model-Checking for Data-Based Systems

      • Dezhuang Zhang, Rance Cleaveland
      Pages 83-97

    6. Logic and Model Checking for Hidden Markov Models

      • Lijun Zhang, Holger Hermanns, David N. Jansen
      Pages 98-112

    7. Proving ∀μ-Calculus Properties with SAT-Based Model Checking

      • Bow-Yaw Wang
      Pages 113-127

    8. Ad Hoc Routing Protocol Verification Through Broadcast Abstraction

      • Oskar Wibling, Joachim Parrow, Arnold Pears
      Pages 128-142

    9. Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol

      • Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot
      Pages 143-158

    10. 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

    11. A Petri Net View of Mobility

      • Charles A. Lakos
      Pages 174-188

    12. Modular Verification of Petri Nets Properties: A Structure-Based Approach

      • Kais Klai, Serge Haddad, Jean-Michel Ilié
      Pages 189-203

    13. An Improved Conformance Testing Method

      • Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko
      Pages 204-218

    14. Resolving Observability Problems in Distributed Test Architectures

      • J. Chen, R. M. Hierons, H. Ural
      Pages 219-232

    15. Automatic Generation of Conflict-Free IPsec Policies

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

    16. A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks

      • Gerrit Rothmaier, Heiko Krumm
      Pages 247-260
Back to top

Other volumes

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

Keywords

Editors and Affiliations

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

    Farn Wang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation