24. FORTE 2004: Madrid, Spain

@proceedings{DBLP:conf/forte/2004,
  editor    = {David de Frutos-Escrig and
               Manuel N{\'u}{\~n}ez},
  title     = {Formal Techniques for Networked and Distributed Systems - FORTE
               2004, 24th IFIP WG 6.1 International Conference, Madrid Spain,
               September 27-30, 2004, Proceedings},
  booktitle = {FORTE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3235},
  year      = {2004},
  isbn      = {3-540-23252-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Martín Abadi, Ted Wobber:
  A Logical Account of NGSCB. 1-12
  Electronic Edition (link) BibTeX
• Tommaso Bolognesi:
  Composing Event Constraints in State-Based Specification. 13-32
  Electronic Edition (link) BibTeX
• Juan Quemada:
  Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. 33-42
  Electronic Edition (link) BibTeX

Regular Papers

• Tomás Barros, Rabéa Boulifa, Eric Madelaine:
  Parameterized Models for Distributed Java Objects. 43-60
  Electronic Edition (link) BibTeX
• Rüdiger Grammes, Reinhard Gotzhein:
  Towards the Harmonisation of UML and SDL. 61-78
  Electronic Edition (link) BibTeX
• Samik Basu, Diptikalyan Saha, Scott A. Smolka:
  Localizing Program Errors for Cimple Debugging. 79-96
  Electronic Edition (link) BibTeX
• Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir:
  Formal Verification of a Practical Lock-Free Queue Algorithm. 97-114
  Electronic Edition (link) BibTeX
• May Haydar, Alexandre Petrenko, Houari A. Sahraoui:
  Formal Verification of Web Applications Modeled by Communicating Automata. 115-132
  Electronic Edition (link) BibTeX
• Hasan Ural, Hüsnü Yenigün:
  Towards Design Recovery from Observations. 133-149
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Jens Chr. Godskesen, Brian Nielsen, Arne Skou:
  Connectivity Testing Through Model-Checking. 167-184
  Electronic Edition (link) BibTeX
• Khaled El-Fakih, Nina Yevtushenko:
  Fault Propagation by Equation Solving. 185-198
  Electronic Edition (link) BibTeX
• Xin Wang, Ji Wang, Zhi-Chang Qi:
  Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. 199-212
  Electronic Edition (link) BibTeX
• Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux:
  Formal Composition of Distributed Scenarios. 213-228
  Electronic Edition (link) BibTeX
• Jessica Chen, Robert M. Hierons, Hasan Ural:
  Conditions for Resolving Observability Problems in Distributed Testing. 229-242
  Electronic Edition (link) BibTeX
• Ghassan Chehaibar:
  Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. 243-258
  Electronic Edition (link) BibTeX
• Robert Meolic, Alessandro Fantechi, Stefania Gnesi:
  Witness and Counterexample Automata for ACTL. 259-275
  Electronic Edition (link) BibTeX
• Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud:
  A Symbolic Symbolic State Space Representation. 276-291
  Electronic Edition (link) BibTeX
• Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero:
  Introducing the Iteration in sPBC. 292-309
  Electronic Edition (link) BibTeX
• Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
  Petri Net Semantics of the Finite pi-Calculus. 309-325
  Electronic Edition (link) BibTeX
• Thomas Chatain, Claude Jard:
  Symbolic Diagnosis of Partially Observable Concurrent Systems. 326-342
  Electronic Edition (link) BibTeX
• Oskar Wibling, Joachim Parrow, Arnold Neville Pears:
  Automatized Verification of Ad Hoc Routing Protocols. 343-358
  Electronic Edition (link) BibTeX
• Prasad Naldurg, Koushik Sen, Prasanna Thati:
  A Temporal Logic Based Framework for Intrusion Detection. 359-376
  Electronic Edition (link) BibTeX