Yuhong Zhao

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Venues

ISORC

LADC

Concurr. Comput. Pract. Exp.

SBESC

University of Paderborn (PHD)

Education History

University of Paderborn

PHD

Publications

Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig
Efficient integration of online model checking into a small-footprint real-time operating system. Concurr. Comput. Pract. Exp. 28 (14) (2016)
Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. ISORC (2014)
Franz J. Rammig, Stefan Groesbrink, Katharina Stahl, Yuhong Zhao
Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation. SBESC (2014)
Franz-Josef Rammig, Lial Khaluf, Norma Montealegre, Katharina Stahl, Yuhong Zhao
Organic real-time programming - Vision and approaches towards self-evolving and adaptive real-time software. ISORC (2013)
Mona Qanadilo, Sufyan Samara, Yuhong Zhao
Accelerating Online Model Checking. LADC (2013)
Yuhong Zhao, Franz J. Rammig
Online Model Checking for Dependable Real-Time Systems. ISORC (2012)
Sufyan Samara, Yuhong Zhao, Franz J. Rammig
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. DIPES/BICC (2010)
Yuhong Zhao, Franz-Josef Rammig
Model-based Runtime Verification Framework. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Franz J. Rammig, Yuhong Zhao, Sufyan Samara
On-Line Model Checking as Operating System Service. SEUS (2009)
Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig
Model-based Runtime Verification Framework for Self-optimizing Systems. Electron. Notes Theor. Comput. Sci. 144 (4) (2006)
Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig
Comprehensive Verification Framework for Dependability of Self-optimizing Systems. ATVA (2005)
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)
Yuhong Zhao
LTL's Intuitive Representations and its Automaton Translation. DIPES (2004)
Martin Kardos, Yuhong Zhao
Verification Framework for UML-Based Design of Embedded Systems. DIPES (2004)
Yuhong Zhao
Intuitive Representations for Temporal Logic Formulas. FDL (2003)

Yuhong Zhao.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yuhong Zhao