Yuhong Zhao

Verification Framework for UML-Based Design of Embedded Systems

Martin Kardos, Yuhong Zhao, M. Kardos, 2004, DIPES.

Timed binary decision diagrams

Robert K. Brayton, Yuhong Zhao, Zhongcheng Li, 1997, Proceedings International Conference on Computer Design VLSI in Computers and Processors.

Model-based Runtime Verification Framework

Yuhong Zhao, Franz-Josef Rammig, F. Rammig, 2009, FESCA@ETAPS.

Model-based Runtime Verification Framework for Self-optimizing Systems

Martin Kardos, Yuhong Zhao, Franz-Josef Rammig, 2006, RV@CAV.

Accelerating Online Model Checking

Yuhong Zhao, Sufyan Samara, Mona Qanadilo, 2013, 2013 Sixth Latin-American Symposium on Dependable Computing.

Online Model Checking for Dependable Real-Time Systems

Yuhong Zhao, Franz-Josef Rammig, F. Rammig, 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services

Yuhong Zhao, Franz-Josef Rammig, Sufyan Samara, 2010, DIPES/BICC.

On-Line Model Checking as Operating System Service

Yuhong Zhao, Franz-Josef Rammig, Sufyan Samara, 2009, SEUS.