1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.GT2010★ 1 cited
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems
Chih-Hong Cheng, Harald Ruess, Alois Knoll +1
In this paper, we present an approach for fault-tolerant synthesis by combining predefined patterns for fault-tolerance with algorithmic game solving. A non-fault-tolerant system,…
cs.DC2009★ 1 cited
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
Chih-Hong Cheng, Christian Buckl, Javier Esparza +1
The focus of the tool FTOS is to alleviate designers' burden by offering code generation for non-functional aspects including fault-tolerance mechanisms. One crucial aspect in this…