did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540232520

Formal Techniques for Networked and Distributed Systems - Forte 2004 : 24th Ifip Wg 6.12 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

by ; ;
  • ISBN13:

    9783540232520

  • ISBN10:

    3540232524

  • Format: Paperback
  • Copyright: 2005-02-28
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $109.00

Summary

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.

Table of Contents

I Invited Talks
A Logical Account of NGSCB
1(12)
Martin Abadi
Ted Wobber
Composing Event Constraints in State-Based Specification
13(20)
Tommaso Bolognesi
Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research
33(10)
Juan Quemada
II Regular Papers
Parameterized Models for Distributed Java Objects
43(18)
Tomas Barros
Rabea Boulifa
Eric Madelaine
Towards the Harmonisation of UML and SDL
61(18)
Rudiger Grammes
Reinhard Gotzhein
Localizing Program Errors for Cimple Debugging
79(18)
Samik Basu
Diptikalyan Saha
Scott A. Smolka
Formal Verification of a Practical Lock-Free Queue Algorithm
97(18)
Simon Doherty
Lindsay Groves
Victor Luchangco
Mark Moir
Formal Verification of Web Applications Modeled by Communicating Automata
115(18)
May Haydar
Alexandre Petrenko
Houari Sahraoui
Towards Design Recovery from Observations
133(17)
Hasan Ural
Husnu Yenigun
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach
150(17)
Baptiste Alcalde
Ana Cavalli
Dongluo Chen
Davy Khuu
David Lee
Connectivity Testing Through Model-Checking
167(18)
Jens Chr. Godskesen
Brian Nielsen
Arne Skou
Fault Propagation by Equation Solving
185(14)
Khaled El-Fakih
Nina Yevtushenko
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems
199(14)
Xin Wang
Ji Wang
Zhi-Chang Qi
Formal Composition of Distributed Scenarios
213(16)
Aziz Salah
Rabeb Mizouni
Rachida Dssouli
Benoit Parreaux
Conditions for Resolving Observability Problems in Distributed Testing
229(14)
Jessica Chen
Robert M. Hierons
Hasan Ural
Integrating Formal Verification with Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design
243(16)
Ghassan Chehaibar
Witness and Counterexample Automata for ACTL
259(17)
Robert Meolic
Alessandro Fantechi
Stefania Gnesi
A Symbolic Symbolic State Space Representation
276(16)
Yann Thierry-Mieg
Jean-Michel Ilie
Denis Poitrenaud
Introducing the Iteration in sPBC
292(17)
Hermenegilda Macia
Valentin Valero
Diego Cazorla
Fernando Cuartero
Petri Net Semantics of the Finite π-Calculus
309(17)
Raymond Devillers
Hanna Klaudel
Maciej Koutny
Symbolic Diagnosis of Partially Observable Concurrent Systems
326(17)
Thomas Chatain
Claude Jard
Automatized Verification of Ad Hoc Routing Protocols
343(16)
Oskar Wibling
Joachim Parrow
Arnold Pears
A Temporal Logic Based Framework for Intrusion Detection
359(18)
Prasad Naldurg
Koushik Sen
Prasanna Thati
Author Index 377

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program