Xiaoyun Guo

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 8

Top Topics

Comprehensive Evaluation

Temporal Properties

Artifact Centric

Top Venues

Inf. Process. Manag.

IET Image Process.

Softw. Test. Verification Reliab.

Publications

Shanqing Zhang, Xiaoyun Guo, Xianghua Xu, Li Li
A video watermark algorithm based on tensor feature map. Multim. Tools Appl. 82 (13) (2023)
Lei Hou, Xiaoyun Guo, Xue Pan
Intermittent social media usage: An empirical examination on the temporary discontinuance of blogging and its impact on subsequent user behavior. Inf. Process. Manag. 60 (5) (2023)
Guanhong Li, Xiaoyun Guo, Takashi Hashimoto
Noise as a Key Factor in Realizing a Creative Society. ICCC (2022)
Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo
Comprehensive evaluation of file systems robustness with SPIN model checking. Softw. Test. Verification Reliab. 32 (6) (2022)
Xiaoyun Guo, Toshiaki Aoki, Hsin-Hung Lin
Model checking of in-vehicle networking systems with CAN and FlexRay. J. Syst. Softw. 161 (2020)
Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo
Comprehensive Robustness Evaluation of File Systems with Model Checking. QRS (2020)
Yutan Wang, Yingpeng Dai, Xiangnan Liu, Bohan Liu, Xiaoyun Guo
Study on the method of colour image noise reduction based on optimal channel-processing. IET Image Process. 12 (9) (2018)
Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba
A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay. APSEC (2017)
Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol. FTSCS (2013)
Zichun Zhang, Yongdan Liu, Xiaoyun Guo, Jianhua Zhu
Online query algorithm of dynamic time sequences based on fast fourier transform. CCIS (2012)