Yuhong Zhao

According to our database, Yuhong Zhao authored at least 15 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Online model checking mechanism and its applications.

Yuhong Zhao

PhD thesis, 2016

Efficient integration of online model checking into a small-footprint real-time operating system.

Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig

Concurr. Comput. Pract. Exp., 2016

2014

Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation.

Franz J. Rammig, Stefan Groesbrink, Katharina Stahl, Yuhong Zhao

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

2013

Accelerating Online Model Checking.

Mona Qanadilo, Sufyan Samara, Yuhong Zhao

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

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

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012

Online Model Checking for Dependable Real-Time Systems.

Yuhong Zhao, Franz J. Rammig

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

2010

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

Sufyan Samara, Yuhong Zhao, Franz J. Rammig

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009

Model-based Runtime Verification Framework.

Yuhong Zhao, Franz-Josef Rammig

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

On-Line Model Checking as Operating System Service.

Franz J. Rammig, Yuhong Zhao, Sufyan Samara

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

2005

Model-based Runtime Verification Framework for Self-optimizing Systems.

Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig

Proceedings of the Fifth Workshop on Runtime Verification, 2005

Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.

Yuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos

Proceedings of the Parallel Processing and Applied Mathematics, 2005

Comprehensive Verification Framework for Dependability of Self-optimizing Systems.

Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

LTL's Intuitive Representations and its Automaton Translation.

Yuhong Zhao

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Verification Framework for UML-Based Design of Embedded Systems.

Martin Kardos, Yuhong Zhao

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

2003

Intuitive Representations for Temporal Logic Formulas.

Yuhong Zhao

Proceedings of the Forum on specification and Design Languages, 2003