IFIP TC6 Open Digital Library

24. FORTE 2004: Madrid, Spain

Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

David de Frutos-Escrig, Manuel Núñez

Springer, Lecture Notes in Computer Science 3235, ISBN: 3-540-23252-4


Invited Talks

A Logical Account of NGSCB.

Martín Abadi, Ted Wobber


Composing Event Constraints in State-Based Specification.

Tommaso Bolognesi


Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research.

Juan Quemada


Regular Papers

Parameterized Models for Distributed Java Objects.

Tomás Barros, Rabéa Boulifa, Eric Madelaine


Towards the Harmonisation of UML and SDL.

Rüdiger Grammes, Reinhard Gotzhein


Localizing Program Errors for Cimple Debugging.

Samik Basu, Diptikalyan Saha, Scott A. Smolka


Formal Verification of a Practical Lock-Free Queue Algorithm.

Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir


Formal Verification of Web Applications Modeled by Communicating Automata.

May Haydar, Alexandre Petrenko, Houari A. Sahraoui


Towards Design Recovery from Observations.

Hasan Ural, Hüsnü Yenigün


Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.

Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee


Connectivity Testing Through Model-Checking.

Jens Chr. Godskesen, Brian Nielsen, Arne Skou


Fault Propagation by Equation Solving.

Khaled El-Fakih, Nina Yevtushenko


Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.

Xin Wang, Ji Wang, Zhi-Chang Qi


Formal Composition of Distributed Scenarios.

Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux


Conditions for Resolving Observability Problems in Distributed Testing.

Jessica Chen, Robert M. Hierons, Hasan Ural


Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design.

Ghassan Chehaibar


Witness and Counterexample Automata for ACTL.

Robert Meolic, Alessandro Fantechi, Stefania Gnesi


A Symbolic Symbolic State Space Representation.

Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud


Introducing the Iteration in sPBC.

Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero


Petri Net Semantics of the Finite pi-Calculus.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny


Symbolic Diagnosis of Partially Observable Concurrent Systems.

Thomas Chatain, Claude Jard


Automatized Verification of Ad Hoc Routing Protocols.

Oskar Wibling, Joachim Parrow, Arnold Neville Pears


A Temporal Logic Based Framework for Intrusion Detection.

Prasad Naldurg, Koushik Sen, Prasanna Thati