2 citations · 4 across the 5 of their papers we have counts for
Showing 2009 · cs.DCShow all
2 papers · 2 filters
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…