24. FORTE 2004:
Madrid, Spain
David de Frutos-Escrig, Manuel Núñez (Eds.):
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings.
Lecture Notes in Computer Science 3235 Springer 2004, ISBN 3-540-23252-4 
Invited Talks
- Martín Abadi, Ted Wobber:
A Logical Account of NGSCB.
1-12
- Tommaso Bolognesi:
Composing Event Constraints in State-Based Specification.
13-32
- Juan Quemada:
Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research.
33-42
Regular Papers
- Tomás Barros, Rabéa Boulifa, Eric Madelaine:
Parameterized Models for Distributed Java Objects.
43-60
- Rüdiger Grammes, Reinhard Gotzhein:
Towards the Harmonisation of UML and SDL.
61-78
- Samik Basu, Diptikalyan Saha, Scott A. Smolka:
Localizing Program Errors for Cimple Debugging.
79-96
- Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir:
Formal Verification of a Practical Lock-Free Queue Algorithm.
97-114
- May Haydar, Alexandre Petrenko, Houari A. Sahraoui:
Formal Verification of Web Applications Modeled by Communicating Automata.
115-132
- Hasan Ural, Hüsnü Yenigün:
Towards Design Recovery from Observations.
133-149
- Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee:
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.
150-166
- Jens Chr. Godskesen, Brian Nielsen, Arne Skou:
Connectivity Testing Through Model-Checking.
167-184
- Khaled El-Fakih, Nina Yevtushenko:
Fault Propagation by Equation Solving.
185-198
- Xin Wang, Ji Wang, Zhi-Chang Qi:
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.
199-212
- Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux:
Formal Composition of Distributed Scenarios.
213-228
- Jessica Chen, Robert M. Hierons, Hasan Ural:
Conditions for Resolving Observability Problems in Distributed Testing.
229-242
- Ghassan Chehaibar:
Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design.
243-258
- Robert Meolic, Alessandro Fantechi, Stefania Gnesi:
Witness and Counterexample Automata for ACTL.
259-275
- Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud:
A Symbolic Symbolic State Space Representation.
276-291
- Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero:
Introducing the Iteration in sPBC.
292-309
- Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Petri Net Semantics of the Finite pi-Calculus.
309-325
- Thomas Chatain, Claude Jard:
Symbolic Diagnosis of Partially Observable Concurrent Systems.
326-342
- Oskar Wibling, Joachim Parrow, Arnold Neville Pears:
Automatized Verification of Ad Hoc Routing Protocols.
343-358
- Prasad Naldurg, Koushik Sen, Prasanna Thati:
A Temporal Logic Based Framework for Intrusion Detection.
359-376
Last update Sat May 25 02:54:22 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
