 | 2009 |
|---|
| 9 |       | Franz J. Rammig,
Yuhong Zhao,
Sufyan Samara:
On-Line Model Checking as Operating System Service.
SEUS 2009: 131-143 |
| 8 | | Yuhong Zhao,
Franz-Josef Rammig:
Model-based Runtime Verification Framework.
Electr. Notes Theor. Comput. Sci. 253(1): 179-193 (2009) |
| 2006 |
|---|
| 7 | | Chunliu Xiong,
Yuhong Zhao,
Wei Liu:
Fault Detection Method Based on Artificial Immune System for Complicated Process.
ICIC (2) 2006: 625-630 |
| 6 | | Yuhong Zhao,
Simon Oberthür,
Martin Kardos,
Franz-Josef Rammig:
Model-based Runtime Verification Framework for Self-optimizing Systems.
Electr. Notes Theor. Comput. Sci. 144(4): 125-145 (2006) |
| 2005 |
|---|
| 5 | | Yuhong Zhao,
Martin Kardos,
Simon Oberthür,
Franz J. Rammig:
Comprehensive Verification Framework for Dependability of Self-optimizing Systems.
ATVA 2005: 39-53 |
| 4 | | Yuhong Zhao,
Simon Oberthür,
Norma Montealegre,
Franz J. Rammig,
Martin Kardos:
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.
PPAM 2005: 1034-1041 |
| 2004 |
|---|
| 3 |  | Martin Kardos,
Yuhong Zhao:
Verification Framework for UML-Based Design of Embedded Systems.
DIPES 2004: 21-30 |
| 2 | | Yuhong Zhao:
LTL's Intutitive Representations and its Automaton Translation.
DIPES 2004: 31-42 |
| 1997 |
|---|
| 1 | | Zhongcheng Li,
Yuhong Zhao,
Yinghua Min,
Robert K. Brayton:
Timed Binary Decision Diagrams.
ICCD 1997: 352-357 |
