Publications of Yuhong Zhao

Our publications from 2015:

Sudhakar, Krishna; Zhao, Yuhong; Rammig, Franz-Josef: Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. In: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), pp. 374-383, Reno, NV, June 2014, IEEE Xplore (more)

Rammig, Franz-Josef; Zhao, Yuhong: Online Model Checking. In: Dependability of Self-Optimizing Mechatronic Systems, pp. 147 - 152. Springer-Verlag, Heidelberg, Germany, Jan 2014 (more)

Qanadilo, Mona; Samara, Sufyan; Zhao, Yuhong: Accelerating Online Model Checking. 6'th Latin-American Symposium on Dependable Computing (LADC 2013), Apr 2013 (more)

Zhao, Yuhong; Rammig, Franz-Josef: Online Model Checking for Dependable Real-time Systems. In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, pp. 154-161, Apr 11 - 13, 2012 IEEE Computer Society, IEEE Computer Society (more)

Samara, Sufyan; Zhao, Yuhong; Rammig, Franz-Josef: Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. In: Distributed, Parallel and Biologically Inspired Systems, IFIP Advances in Information and Communication Technology, volume 329 , pp. 102-113. Springer Boston, Sep 2010 (more)

Rammig, Franz-Josef; Zhao, Yuhong; Samara, Sufyan: On-line Model Checking as Operating System Service. In: The 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'09), Nov 2009 IFIP WG 10.5, Springer (more)

Zhao, Yuhong; Rammig, Franz-Josef: Model-based Runtime Verification Framework. In: Electronic Notes in Theoretical Computer Science, volume 253(1) , pp. 179-193, 2009 (more)

Zhao, Yuhong; Oberthür, Simon; Rammig, Franz-Josef: Runtime Model Checking for Safety and Consistency of Self-optimizing Mechatronic Systems. In: Proceedings of the 7th International Heinz Nixdorf Symposium: Self-optimzing Mechatronic Systems, ALB-HNI-Verlagsschriftenreihe, Feb 20 - 21, 2008 Heinz Nixdorf Institut, Heinz Nixdorf Institut (more)

Zhao, Yuhong; Kardos, Martin; Oberthür, Simon; Rammig, Franz-Josef: Comprehensive Verification Framework for Dependability of Self-optimizing Systems. In: the proceedings of the Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), Taipei, Taiwan, Oct 4 - 7, 2005 (more)

Zhao, Yuhong; Oberthür, Simon; Montealegre, Norma; Rammig, Franz-Josef; Kardos, Martin: Increasing Dependability by Means of Model-based Acceptance Test inside RTOS. In: 6th International Conference on Parallel Processing and Applied Mathematics (PPAM 2005), Lecture Notes in Computer Science, pp. 1034-1041, Poznanm, Poland, Sep 11 - 14, 2005, Springer-Verlag, Heidelberg, Germany (more)

Zhao, Yuhong; Oberthür, Simon; Kardos, Martin; Rammig, Franz-Josef: Model-based Runtime Verification Framework for Self-optimizing Systems. In: the Proceedings of the Fifth Workshop on Runtime Verification (RV'05), Edinburgh, Scotland, UK, July 7 - 12, 2005 (more)

Kardos, Martin; Zhao, Yuhong: Verification framework for UML-based Design of Embedded Systems. In: Proc. of IFIP Working Conference on Distributed and Parallel Embedded Systems(DIPES2004), 1 Aug 2004 (more)

Zhao, Yuhong: LTL's Intuitive Representations and Its Automaton Translation. In: Proc. of IFIP Working Conference on Distributed and Parallel Embedded Systems(DIPES2004), 1 Aug 2004, Kluwer Academic Publishers, Toulouse, France (more)

Zhao, Yuhong: Intuitive Representations for Temporal Logic Formulas. In: Proceedings of Forum on Specification & Design Languages (FDL'03), pp. 405-413, Frankfurt, Germany, Sep 23 - 26, 2003 (more)

Zhao, Yuhong; Ai, Bo: Build Basic ASM Model from SDL Specification. In: Proc. of International Conference on Telecommunications(ICT'02), Bejing, China, pp. 112-116, 2002 (more)