publications:
- title: "Formal Analysis of Fault Recovery in Self-Organizing Systems"
  author:
  - name: "Jan Calta"
    link: "http://metrik.informatik.hu-berlin.de/grk-wiki/index.php/Person:Calta"
  - name: "Miroslaw Malek"
    link: "http://www.rok.informatik.hu-berlin.de/Members/malek"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/DASC.2009.31"
  abstract: "The members of a self-organizing distributed system have ability to automatically organize themselves into a specific structure. The functionality of the system is achieved by collaboration of the members in this structure. Through automatic (re)organization, such a system is able to recover from various temporary faults which may disturb the established structure. In this paper, we propose a technique to identify all recoverable faults as well as to analyze fault tolerance and recovery from temporary faults by reorganization in self-organizing systems."
  links:
    doi: "http://dx.doi.org/10.1109/DASC.2009.31"
    "url": "http://dx.doi.org/10.1109/DASC.2009.31"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/Calta%3A2009%3AFAF%3A1723202.1724432"
  cites: 0
  citedby: 0
  pages: "11-18"
  booktitle: "Proceedings of the 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing"
  kind: "inproceedings"
  key: "Calta:2009:FAF:1723202.1724432"