Skip to main content
  • Conference proceedings
  • © 2004

Formal Techniques for Networked and Distributed Systems - FORTE 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Conference proceedings info: FORTE 2004.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (24 papers)

  1. Front Matter

  2. Regular Papers

    1. Parameterized Models for Distributed Java Objects

      • Tomás Barros, Rabéa Boulifa, Eric Madelaine
      Pages 43-60
    2. Towards the Harmonisation of UML and SDL

      • Rüdiger Grammes, Reinhard Gotzhein
      Pages 61-78
    3. Localizing Program Errors for Cimple Debugging

      • Samik Basu, Diptikalyan Saha, Scott A. Smolka
      Pages 79-96
    4. Formal Verification of a Practical Lock-Free Queue Algorithm

      • Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
      Pages 97-114
    5. Formal Verification of Web Applications Modeled by Communicating Automata

      • May Haydar, Alexandre Petrenko, Houari Sahraoui
      Pages 115-132
    6. Towards Design Recovery from Observations

      • Hasan Ural, Hüsnü Yenigün
      Pages 133-149
    7. Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach

      • Baptiste Alcalde, Ana Cavalli, Dongluo Chen, Davy Khuu, David Lee
      Pages 150-166
    8. Connectivity Testing Through Model-Checking

      • Jens Chr. Godskesen, Brian Nielsen, Arne Skou
      Pages 167-184
    9. Fault Propagation by Equation Solving

      • Khaled El-Fakih, Nina Yevtushenko
      Pages 185-198
    10. Formal Composition of Distributed Scenarios

      • Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoît Parreaux
      Pages 213-228
    11. Conditions for Resolving Observability Problems in Distributed Testing

      • Jessica Chen, Robert M. Hierons, Hasan Ural
      Pages 229-242
    12. Witness and Counterexample Automata for ACTL

      • Robert Meolic, Alessandro Fantechi, Stefania Gnesi
      Pages 259-275
    13. A Symbolic Symbolic State Space Representation

      • Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud
      Pages 276-291
    14. Introducing the Iteration in sPBC

      • Hermenegilda Maciá, Valentín Valero, Diego Cazorla, Fernando Cuartero
      Pages 292-308

Other Volumes

  1. Formal Techniques for Networked and Distributed Systems – FORTE 2004

Keywords

  • Automat
  • Java
  • Unified Modeling Language (UML)
  • algorithms
  • automata
  • distributed systems
  • petri net
  • routing

Editors and Affiliations

  • Dpto. de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Spain

    David Frutos-Escrig

  • Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Manuel Núñez

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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