- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c12 |      | Xiaofeng Niu, Wei Liang, Hua Hou, Yuhong Zhao: A New Implicit Finite Difference Algorithm of Thermal Melt Flow during Filling Process. ICDMA 2012: 98-101 |
| c11 | | Yuhong Zhao, Franz J. Rammig: Online Model Checking for Dependable Real-Time Systems. ISORC 2012: 154-161 |
| 2010 | ||
| c10 | | Zhengjiang Zhang, Zhijiang Shao, Pengfei Jiang, Xi Chen, Yuhong Zhao, Jixin Qian: Sequential sub-problem programming strategies for data reconciliation and parameter estimation with multiple data sets. CDC 2010: 1342-1347 |
| c9 | | Sufyan Samara, Yuhong Zhao, Franz J. Rammig: Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. DIPES/BICC 2010: 102-113 |
| 2009 | ||
| j2 | | Yuhong Zhao, Franz-Josef Rammig: Model-based Runtime Verification Framework. Electr. Notes Theor. Comput. Sci. 253(1): 179-193 (2009) |
| c8 | | Yu Jiang, Jian Ren, Yuhong Zhao, Binxing Fang: Using Mixed and Hybrid TCP Probe Methods in Forward IP Paths Inference. PDCAT 2009: 175-179 |
| c7 | | Franz J. Rammig, Yuhong Zhao, Sufyan Samara: On-Line Model Checking as Operating System Service. SEUS 2009: 131-143 |
| 2006 | ||
| j1 | | 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) |
| c6 | | Chunliu Xiong, Yuhong Zhao, Wei Liu: Fault Detection Method Based on Artificial Immune System for Complicated Process. ICIC (2) 2006: 625-630 |
| 2005 | ||
| c5 | | Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig: Comprehensive Verification Framework for Dependability of Self-optimizing Systems. ATVA 2005: 39-53 |
| c4 | | 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 | ||
| c3 |  | Martin Kardos, Yuhong Zhao: Verification Framework for UML-Based Design of Embedded Systems. DIPES 2004: 21-30 |
| c2 | | |
| 1997 | ||
| c1 | | Zhongcheng Li, Yuhong Zhao, Yinghua Min, Robert K. Brayton: Timed Binary Decision Diagrams. ICCD 1997: 352-357 |
Colors in the list of coauthors
Last update Fri May 24 00:42:55 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page