Xiaoyun Guo

According to our database, Xiaoyun Guo authored at least 11 papers between 2012 and 2024.

Collaborative distances:

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

2024

A framework for extending co-creative communication models to sustainability research.

Guanhong Li, Xiaoyun Guo

Frontiers Artif. Intell., 2024

2023

Intermittent social media usage: An empirical examination on the temporary discontinuance of blogging and its impact on subsequent user behavior.

Lei Hou, Xiaoyun Guo, Xue Pan

Inf. Process. Manag., September, 2023

A video watermark algorithm based on tensor feature map.

Shanqing Zhang, Xiaoyun Guo, Xianghua Xu, Li Li

Multim. Tools Appl., May, 2023

2022

Comprehensive evaluation of file systems robustness with SPIN model checking.

Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo

Softw. Test. Verification Reliab., 2022

Noise as a Key Factor in Realizing a Creative Society.

Guanhong Li, Xiaoyun Guo, Takashi Hashimoto

Proceedings of the 13th International Conference on Computational Creativity, Bozen-Bolzano, Italy, June 27, 2022

2020

Model checking of in-vehicle networking systems with CAN and FlexRay.

Xiaoyun Guo, Toshiaki Aoki, Hsin-Hung Lin

J. Syst. Softw., 2020

Comprehensive Robustness Evaluation of File Systems with Model Checking.

Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2018

Study on the method of colour image noise reduction based on optimal channel-processing.

Yutan Wang, Yingpeng Dai, Xiangnan Liu, Bohan Liu, Xiaoyun Guo

IET Image Process., 2018

2017

A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay.

Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2013

An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.

Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012

Online query algorithm of dynamic time sequences based on fast fourier transform.

Zichun Zhang, Yongdan Liu, Xiaoyun Guo, Jianhua Zhu

Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, 2012