The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Fault-Hypothesis (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1993-2007 (15) 2008 (1)
Publication types (Num. hits)
article(1) inproceedings(15)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 34 occurrences of 31 keywords

Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
88Hermann Kopetz On the Fault Hypothesis for a Safety-Critical Real-Time System. Search on Bibsonomy ASWSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems
53Michelle M. Hugue, Richard C. Scalzo Specifying fault tolerance in large complex computing systems. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fault tolerance specification, large complex computing systems, requirements specification phase, fault hypothesis, partially correct system, system fault hypothesis, health management function, performance, real-time systems, reliability, formal specification, integrity, fault tolerant computing, software reliability, availability, safety, confidentiality, software performance evaluation, maintainability, timeliness, quality of service requirements, system behaviors, system life-cycle, dependability constraints
40Henk Schepers, Jozef Hooman Trace-Based Compositional Reasoning about Fault Tolerant Systems. Search on Bibsonomy PARLE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Compositional proof theory, fault hypothesis, relative network completeness, fault tolerance, verification, specification, safety, soundness
38Sara Blanc, Joaquin Gracia, Pedro J. Gil A Fault Hypothesis Study on the TTP/C Using VHDL-Based and Pin-Level Fault Injection Techniques. Search on Bibsonomy DFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Jun Xie, Gaowei Yan, Keming Xie, Tsau Young Lin Neuro-Fuzzy Model-Based CUSUM Method Application in Fault Detection on an Autonomous Vehicle. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Alain Girault, Huafeng Yu A flexible method to tolerate value sensor failures. Search on Bibsonomy ETFA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Wilfried Steiner, Michael Paulitsch, Hermann Kopetz The TTA's Approach to Resilience after Transient Upsets. Search on Bibsonomy Real Time Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multiple failures, clique resolving, startup, self stabilization, recovery, Time-Triggered Architecture
23Michael Paulitsch, Brendan Hall Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Günther Bauer 0001, Hermann Kopetz, Wilfried Steiner The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture. Search on Bibsonomy ISADS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Alain Girault, Hamoudi Kalla, Yves Sorel Transient Processor/Bus Fault Tolerance for Embedded Systems. Search on Bibsonomy DIPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hybrid redundancy, safety-critical systems, transient faults, real-time embedded systems, scheduling heuristics, heterogeneous architectures, data fragmentation
15Holger Pfeifer, Friedrich W. von Henke Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. Search on Bibsonomy SAFECOMP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Roman Obermaisser, Philipp Peti A Fault Hypothesis for Integrated Architectures. Search on Bibsonomy WISES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Hermann Kopetz The fault-hypothesis for the time-triggered architecture. Search on Bibsonomy IFIP Congress Topical Sessions The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Wilfried Steiner, Michael Paulitsch, Hermann Kopetz Multiple Failure Correction in the Time-Triggered Architecture. Search on Bibsonomy WORDS Fall The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Qiuhua Zheng, Weihua Hu, Yuntao Qian, Min Yao, Xianglin Wang, Jing Chen A Novel Approach for Network Event Correlation Based on Set Covering. Search on Bibsonomy FSKD (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
10Hermann Kopetz TTA Supported Service Availability. Search on Bibsonomy ISAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license