Yuhong Zhao

16 papers B 1C 4Misc 1Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2016 J jnl
Efficient integration of online model checking into a small-footprint real-time operating system.
Concurr. Comput. Pract. Exp.
Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig
2016 — —
Online model checking mechanism and its applications.
Yuhong Zhao
2014 — conf
Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation.
SBESC
Franz J. Rammig, Stefan Groesbrink, Katharina Stahl, Yuhong Zhao
2014 C conf
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.
ISORC
Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig
2013 — conf
Accelerating Online Model Checking.
LADC
Mona Qanadilo, Sufyan Samara, Yuhong Zhao
2013 C conf
Organic real-time programming - Vision and approaches towards self-evolving and adaptive real-time software.
ISORC
Franz-Josef Rammig, Lial Khaluf, Norma Montealegre, Katharina Stahl, Yuhong Zhao
2012 C conf
Online Model Checking for Dependable Real-Time Systems.
ISORC
Yuhong Zhao, Franz J. Rammig
2010 — conf
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services.
DIPES/BICC
Sufyan Samara, Yuhong Zhao, Franz J. Rammig
2009 — conf
Model-based Runtime Verification Framework.
FESCA@ETAPS
Yuhong Zhao, Franz-Josef Rammig
2009 — conf
On-Line Model Checking as Operating System Service.
SEUS
Franz J. Rammig, Yuhong Zhao, Sufyan Samara
2005 B conf
Comprehensive Verification Framework for Dependability of Self-optimizing Systems.
ATVA
Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig
2005 Misc conf
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.
PPAM
Yuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos
2005 — conf
Model-based Runtime Verification Framework for Self-optimizing Systems.
RV@CAV
Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig
2004 — conf
LTL's Intuitive Representations and its Automaton Translation.
DIPES
Yuhong Zhao
2004 — conf
Verification Framework for UML-Based Design of Embedded Systems.
DIPES
Martin Kardos, Yuhong Zhao
2003 C conf
Intuitive Representations for Temporal Logic Formulas.
FDL
Yuhong Zhao