default search action

combined dblp search
author search
venue search
publication search

ask others

24th FORTE 2004: Madrid, Spain

> Home > Conferences and Workshops > FORTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/forte/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2004
David de Frutos-Escrig, Manuel Núñez:
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

- view
  authority control:
- export record
  dblp key:
  - conf/forte/AbadiW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AbadiW04
Martín Abadi, Ted Wobber:
A Logical Account of NGSCB. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Bolognesi04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Bolognesi04
Tommaso Bolognesi:
Composing Event Constraints in State-Based Specification. 13-32
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Quemada04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Quemada04
Juan Quemada:
Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. 33-42

Regular Papers

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.