default search action

combined dblp search
author search
venue search
publication search

ask others

Methods, Models and Tools for Fault Tolerance 2009

> Home > Series

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:
  - series/lncs/5454
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/5454
Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science 5454, Springer 2009, ISBN 978-3-642-00866-5

Formal Reasoning about Fault Tolerant Systems and Protocols

- view
  authority control:
- export record
  dblp key:
  - series/lncs/FehnkerFM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/FehnkerFM09
Ansgar Fehnker, Matthias Fruth, Annabelle McIver:
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. 1-24
- view
  authority control:
- export record
  dblp key:
  - series/lncs/CastroM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/CastroM09
Pablo F. Castro, T. S. E. Maibaum:
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. 25-43
- view
  authority control:
- export record
  dblp key:
  - series/lncs/FisherKL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/FisherKL09
Michael Fisher, Boris Konev, Alexei Lisitsa:
Temporal Verification of Fault-Tolerant Protocols. 44-56
- view
  authority control:
- export record
  dblp key:
  - series/lncs/ZhangLMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/ZhangLMR09
Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn:
Design and Verification of Fault-Tolerant Components. 57-84
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Hayes09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Hayes09
Ian J. Hayes:
Dynamically Detecting Faults via Integrity Constraints. 85-103

Fault Tolerance: Modelling in B

- view
  authority control:
- export record
  dblp key:
  - series/lncs/BallB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BallB09
Elisabeth Ball, Michael J. Butler:
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. 104-129
- view
  authority control:
- export record
  dblp key:
  - series/lncs/LaibinisTL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/LaibinisTL09
Linas Laibinis, Elena Troubitsyna, Sari Leppänen:
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. 130-151
- view
  authority control:
- export record
  dblp key:
  - series/lncs/YadavB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/YadavB09
Divakar Yadav, Michael J. Butler:
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. 152-176
- view
  authority control:
- export record
  dblp key:
  - series/lncs/MalikLL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/MalikLL09
Qaisar A. Malik, Johan Lilius, Linas Laibinis:
Model-Based Testing Using Scenarios and Event-B Refinements. 177-195

Fault Tolerance in System Development Process

- view
  authority control:
- export record
  dblp key:
  - series/lncs/ChenM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/ChenM09
Zheng Chen, Luc Moreau:
Recording Process Documentation in the Presence of Failures. 196-219
- view
  authority control:
- export record
  dblp key:
  - series/lncs/MustafizK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/MustafizK09
Sadaf Mustafiz, Jörg Kienzle:
DREP: A Requirements Engineering Process for Dependable Reactive Systems. 220-250
- view
  authority control:
- export record
  dblp key:
  - series/lncs/PlaskaWS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/PlaskaWS09
Marta Plaska, Marina Waldén, Colin F. Snook:
Documenting the Progress of the System Development. 251-274
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BerlizevG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BerlizevG09
Andrey Berlizev, Nicolas Guelfi:
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. 275-296

Fault Tolerant Applications

- view
  authority control:
- export record
  dblp key:
  - series/lncs/IliasovAR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/IliasovAR09
Alexei Iliasov, Budi Arief, Alexander B. Romanovsky:
Step-Wise Development of Resilient Ambient Campus Scenarios. 297-323
- view
  authority control:
- export record
  dblp key:
  - series/lncs/GorbenkoKR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GorbenkoKR09
Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander B. Romanovsky:
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. 324-341

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.