24 citations · 96 across the 43 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
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…
cs.DC2009★ 2 cited
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
Chih-Hong Cheng, Christian Buckl, Javier Esparza +1
The increasing use of model-based tools enables further use of formal verification techniques in the context of distributed real-time systems. To avoid state explosion, it is neces…