 | 2009 |
|---|
| 4 |       | Chih-Hong Cheng,
Markus Rickert,
Christian Buckl,
Edward A. Lee,
Alois Knoll:
Toward the Design of Robotic Software with Verifiable Safety.
COMPSAC (1) 2009: 622-623 |
| 3 | | Chih-Hong Cheng,
Christian Buckl,
Javier Esparza,
Alois Knoll:
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
CoRR abs/0905.3946: (2009) |
| 2 | | Chih-Hong Cheng,
Christian Buckl,
Javier Esparza,
Alois Knoll:
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
CoRR abs/0905.3951: (2009) |
| 2008 |
|---|
| 1 | | Farn Wang,
Chih-Hong Cheng:
Program Repair Suggestions from Graphical State-Transition Specifications.
FORTE 2008: 185-200 |
