Fault model

Results: 252



#Item
1Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2018-04-25 11:34:42
2Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
3Model-based Model-based Diagnosis Diagnosis and and Fault Fault Analysis

Model-based Model-based Diagnosis Diagnosis and and Fault Fault Analysis

Add to Reading List

Source URL: www.qrg.northwestern.edu

Language: English - Date: 2001-02-26 15:27:34
    4A Novel Industry Grade Dataset for Fault Prediction based on Model-Driven Developed Automotive Embedded Software Harald Altinger∗ , Sebastian Siegl∗ , Yanja Dajsuren‡ and Franz Wotawa§ ∗ Audi

    A Novel Industry Grade Dataset for Fault Prediction based on Model-Driven Developed Automotive Embedded Software Harald Altinger∗ , Sebastian Siegl∗ , Yanja Dajsuren‡ and Franz Wotawa§ ∗ Audi

    Add to Reading List

    Source URL: www.ist.tugraz.at

    Language: English - Date: 2017-04-13 08:06:35
      5Journal of Geophysical Research: Solid Earth RESEARCH ARTICLE2017JB014533 Key Points: • A physical model for locked fault asperities that shrink during the

      Journal of Geophysical Research: Solid Earth RESEARCH ARTICLE2017JB014533 Key Points: • A physical model for locked fault asperities that shrink during the

      Add to Reading List

      Source URL: earthsci.stanford.edu

      - Date: 2017-10-17 17:44:06
        6What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

        What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

        Add to Reading List

        Source URL: forsyte.at

        - Date: 2016-03-08 09:52:31
          7Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

          Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

          Add to Reading List

          Source URL: multicore.doc.ic.ac.uk

          - Date: 2015-06-04 05:51:35
            8Fault Model-Based Variability Testing (Ph.D. Thesis)

            Fault Model-Based Variability Testing (Ph.D. Thesis)

            Add to Reading List

            Source URL: www.ivanmachado.com.br

            - Date: 2014-10-22 07:35:49
              9Preliminary  Static  fault  model  of   othe  2011  M9.0  Honshu  Earthquake  based  on  GPS  data     Takeo  Ito,  Kazuhiro  Ozawa,  Tsuyoshi  Watanabe,  T

              Preliminary  Static  fault  model  of   othe  2011  M9.0  Honshu  Earthquake  based  on  GPS  data     Takeo  Ito,  Kazuhiro  Ozawa,  Tsuyoshi  Watanabe,  T

              Add to Reading List

              Source URL: supersites.earthobservations.org

              - Date: 2011-03-13 16:17:42
                10Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ †

                Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ †

                Add to Reading List

                Source URL: www.sosp2007.org

                Language: English - Date: 2016-06-15 13:09:51