Concepedia

Fault Tolerance Verification

Fault Tolerance Verification is a formal method for verifying that a hybrid system correctly maintains specified functionality and safety properties in the presence of predefined faults or disturbances, through rigorous analysis of its dynamic and discrete behaviors.

25

Publications

542

Citations

62

Authors

34

Institutions

Publications per year

2017–2026

3

Parents

Publications

25

Systematic formal verification for fault-tolerant time-triggered algorithms

John Rushby · IEEE Transactions on Software Engineering · 1999 · 100 citations

, , +16

Design and verification of fault tolerant systems with CSP

Jan Peleška · Distributed Computing · 1991 · 31 citations

, , +6

Formally Verifying Fault Tolerant System Designs

Cinzia Bernardeschi · The Computer Journal · 2000 · 30 citations

, , +14

Early cost estimation for tolerance verification

Giovanni Moroni, Stefano Petrò, Tullio Tolio · CIRP Annals · 2011 · 27 citations

, , +11

A case-study in component-based mechanical verification of fault-tolerant programs

Sandeep S. Kulkarni, John Rushby, Natarajan Shankar · 2003 · 25 citations

, , +12

1–5 of 25

Authors

62

  1. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    2 publications · 30 citations

    2

    h-index

  2. CB
    Cinzia Bernardeschi

    University of Pisa, Italy

    2 publications · 42 citations

    2

    h-index

  3. SG
    Stefania Gnesi

    Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Italy

    2 publications · 26 citations

    2

    h-index

  4. JR
    John Rushby

    SRI International, United States

    2 publications · 125 citations

    2

    h-index

  5. CR
    C. Rodrı́guez

    Universidad de La Laguna, Spain

    1 publications · 20 citations

    1

    h-index

1–5 of 62

Institutions

34

  1. Imperial College London

    London, United Kingdom

    2 h-index

    4 publications

    60 citations

  2. SRI International

    Menlo Park, United States

    2 h-index

    2 publications

    125 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    7 publications

    137 citations

  4. Laboratoire d'Analyse et d'Architecture des Systèmes

    Toulouse, France

    2 h-index

    7 publications

    137 citations

  5. Menlo School

    Atherton, United States

    2 h-index

    2 publications

    125 citations

  6. Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

    Pisa, Italy

    2 h-index

    3 publications

    40 citations

  7. University of Florence

    Florence, Italy

    1 h-index

    1 publications

    12 citations

  8. Verimag

    Gières, France

    1 h-index

    2 publications

    40 citations

1–8 of 34

Venues

  1. IEEE Transactions on Computers

    2 publications · 44 citations

    2

    h-index

  2. Microprocessors and Microsystems

    MICPRO · 1 publications · 15 citations

    1

    h-index

  3. Distributed Computing

    1 publications · 31 citations

    1

    h-index

  4. 1

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 1 publications · 100 citations

    1

    h-index

1–5