Considering Safety and Feature Interactions for Integrated Services of Home Network System. - Ben Yan (ICFI, 2007)

Characterizing Safety of Integrated Services in Home Network System. - Ben Yan; Masahide Nakamura; Lydie du Bousquet; Ken-ichi Matsumoto (ICOST, 2007)

Using Formal Methods to increase confidence in one Home Network System implementation: Case study. - Lydie du Bousquet; Masahide Nakamura; Ben Yan; Hiroshi Igaki (ISoLA, 2007)

Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model. - Ben Yan; Masahide Nakamura; Ken-ichi Matsumoto (FGCN (2), 2008)

Validating Safety for the Integrated Services of the Home Network System Using JML. - Ben Yan; Masahide Nakamura; Lydie du Bousquet; Ken-ichi Matsumoto (J. Inf. Process., 2008)

Using formal methods to increase confidence in a home network system implementation: a case study. - Lydie du Bousquet; Masahide Nakamura; Ben Yan; Hiroshi Igaki (Innov. Syst. Softw. Eng., 2009)

Optimization Coverage Control Algorithm Based on Square Monitoring Area in Wireless Sensor Networks. - Zeyu Sun 002; Ben Yan; Mengluo Ji; Huihui Wang 001 (IIKI, 2016)

k-degree coverage algorithm based on optimization nodes deployment in wireless sensor networks. - Zeyu Sun 002; Chuanfeng Li; Xiaofei Xing; Huihui Wang 001; Ben Yan; Xuelun Li (Int. J. Distributed Sens. Networks, 2017)

Research on Path Planning Algorithm for Two-Dimensional Code Guidance Model of Automated Guided Vehicle. - Wei-Dong Zheng; Ben Yan; Zhi-Xian Li; Hua-Ping Yao; Li-Li Wei; Masahide Nakamura (HCI (16), 2019)

An Optimized Clustering Communication Protocol Based on Intelligent Computing in Information-Centric Internet of Things. - Zeyu Sun 002; Xiaofei Xing; Tian Wang 001; Zhiguo Lv; Ben Yan (IEEE Access, 2019)

MR-DFM: A multi-path routing algorithm based on data fusion mechanism in sensor networks. - Zeyu Sun; Zhiguo Lv; Yue Hou; Chen Xu; Ben Yan (Comput. Sci. Inf. Syst., 2019)

CMTN-SP: A Novel Coverage-Control Algorithm for Moving-Target Nodes Based on Sensing Probability Model in Sensor Networks. - Zeyu Sun 002; Xiaofei Xing; Ben Yan; Zhiguo Lv (Sensors, 2019)

A Case Study for Software Quality Evaluation Based on SCT Model With BP Neural Network. - Ben Yan; Hua-Ping Yao; Masahide Nakamura; Zhi-Feng Li; Dong Wang 044 (IEEE Access, 2020)

Single-Image Super-Resolution based on Steering Kernel and Gaussian Process Regression. - Haijun Wang; Yalin Nie; Ben Yan (Int. J. Pattern Recognit. Artif. Intell., 2021)

A Novel Adversarial Attack Method for Time-Series Regression Models in IIoT-Based Digital Twins. - Bo Xu; Zhiqiang Liu; Haolin Zhu; Bingqing Dong; Bo Zhao 022; Ben Yan; Jun Wei (IEEE Internet Things J., 2025)