​
Login / Signup
Xiaoyun Guo
ORCID
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 8
Top Topics
Comprehensive Evaluation
Temporal Properties
Artifact Centric
Model Checking
Top Venues
APSEC
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)