![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
24th FORTE 2004: Madrid, Spain
- 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
- 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.