Intuitive Representations for Temporal Logic Formulas. - Yuhong Zhao 001 (FDL, 2003)

Verification Framework for UML-Based Design of Embedded Systems. - Martin Kardos; Yuhong Zhao 001 (DIPES, 2004)

LTL's Intuitive Representations and its Automaton Translation. - Yuhong Zhao 001 (DIPES, 2004)

Comprehensive Verification Framework for Dependability of Self-optimizing Systems. - Yuhong Zhao 001; Martin Kardos; Simon Oberthür; Franz J. Rammig (ATVA, 2005)

Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. - Yuhong Zhao 001; Simon Oberthür; Norma Montealegre; Franz J. Rammig; Martin Kardos (PPAM, 2005)

Model-based Runtime Verification Framework for Self-optimizing Systems. - Yuhong Zhao 001; Simon Oberthür; Martin Kardos; Franz-Josef Rammig (RV@CAV, 2005)

On-Line Model Checking as Operating System Service. - Franz J. Rammig; Yuhong Zhao 001; Sufyan Samara (SEUS, 2009)

Model-based Runtime Verification Framework. - Yuhong Zhao 001; Franz-Josef Rammig (FESCA@ETAPS, 2009)

Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. - Sufyan Samara; Yuhong Zhao 001; Franz J. Rammig (DIPES/BICC, 2010)

Online Model Checking for Dependable Real-Time Systems. - Yuhong Zhao 001; Franz J. Rammig (ISORC, 2012)

Organic real-time programming - Vision and approaches towards self-evolving and adaptive real-time software. - Franz-Josef Rammig; Lial Khaluf; Norma Montealegre; Katharina Stahl; Yuhong Zhao 001 (ISORC, 2013)

Accelerating Online Model Checking. - Mona Qanadilo; Sufyan Samara; Yuhong Zhao 001 (LADC, 2013)

Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation. - Franz J. Rammig; Stefan Groesbrink; Katharina Stahl; Yuhong Zhao 001 (SBESC, 2014)

Efficient integration of online model checking into a small-footprint real-time operating system. - Krishna Sudhakar; Yuhong Zhao 001; Franz-Josef Rammig (Concurr. Comput. Pract. Exp., 2016)

Online model checking mechanism and its applications. - Yuhong Zhao 001 (2016)