Journal Papers
- Yanran Li, Yan Zheng, Yon Shin Teo, and Shang-Wei Lin
Is AI Testing Beneficial for The Manufacturer and Social Welfare? Optimal Test Strategy of A Smart Product
Expert Systems with Applications, 2024. (accepted for publication).
- Yuan Zhou, Hesuan Hu, Gelei Deng, Kun Cheng, Shang-Wei Lin, Yang Liu, and Zuohua Ding
Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control
IEEE Transactions on Systems, Man, and Cybernetics: Systems (TSMC), 2023. (accepted for publication).
- Yean-Ru Chen, Si-Han Chen, and Shang-Wei Lin
SMT Solver with Hardware Acceleration
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2022. (accepted for publication).
- Bozhi Wu, Shangqing Liu, Ruitao Feng, Xiaofei Xie, Jingkai Siow, and Shang-Wei Lin
Enhancing Security Patch Identification by Capturing Structures in Commits
IEEE Transactions on Dependable and Secure Computing (TDSC), 2022. (accepted for publication).
- Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Wei Feng, and Yang Liu
Pasadena: Perceptually Aware and Stealthy AdversarialDenoise Attack
IEEE Transactions on Multimedia (TMM), 2021 (accepted for publication).
- Xinwen Hu, Yi Zhuang, Shang-Wei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao
A Security Type Verifier for Smart Contracts
Computers & Security, Vol. 108, pp. 102343, 2021.
- Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, and Zengxiang Li
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys (CSUR), Vol. 54, Issue 7, pp. 1-38, 2021 .
- David Sanán, Yongwang Zhao, Shang-Wei Lin and Yang Liu
CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee
ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 43, Issue 1, pp. 1-46, 2021.
- Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, and Yang Liu
Oracle- Supported Dynamic Exploit Generation for Smart Contracts
IEEE Transactions on Dependable and Secure Computing (TDSC), 2020.
- Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin, and Yang Liu
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices
IEEE Transactions on Information Forensics & Security (TIFS), Vol. 16, pp. 1563-1578, 2020.
- Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, and Zuohua Ding
A Distributed Method to Avoid Higher-Order Deadlocks in Multi-Robot Systems
Automatica, Vol. 112, 2020.
- Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, and Zuohua Ding
A Distributed Approach to Robust Control of Multi-Robot Systems
Automatica, Vol. 98, pp. 1-13, 2018.
- Étienne André and Shang-Wei Lin
The Language Preservation Problem Is Undecidable for Parametric Event-Recording Automata
Information Processing Letters, Vol. 136, pp. 17-20, 2018.
- Deheng Ye, Lingfeng Bao, Zhenchang Xing, and Shang-Wei Lin
APIReal: An API Recognition and Linking Approach for Online Developer Forums
Empirical Software Engineering, Vol. 23, No. 6, pp. 3129-3160, 2018.
- Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, and Zuohua Ding
A Real-Time and Fully Distributed Approach to Motion Planning for Multi-Robot Systems
IEEE Transactions on Systems, Man, and Cybernetics: Systems (TSMC), Vol. 49, Issue 12, pp. 2636-2650, 2017.
- Huiquan Zhu, Jing Sun, Jin Song Dong, and Shang-Wei Lin
From Verified Model to Executable Program: The PAT Approach
Innovations in Systems and Software Engineering (ISSE), Vol. 12, No. 1, pp. 1-26, March 2016.
- Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, and Jin Song Dong
Learning Assumptions for Compositional Verification of Timed Systems
IEEE Transactions on Software Engineering (TSE), Vol. 40, No. 2, pp. 137-153, February 2014.
- Shang-Wei Lin and Pao-Ann Hsiung
Model Checking Prioritized Timed Systems
IEEE Transactions on Computers (TC), Vol 61, No. 6, pp. 843-856, 2012.
- Shang-Wei Lin and Pao-Ann Hsiung
Counterexample-Guided Assume-Guarantee Synthesis Through Learning
IEEE Transactions on Computers (TC), Vol. 60, No. 5, pp. 734-750, 2011.
- Chao-Sheng Lin, Chun-Hsien Lu, Yean-Ru Chen, Shang-Wei Lin, and Pao-Ann Hsiung
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development
Journal of Computer Science and Technology, Vol. 26, No. 3, pp. 448-462, May 2011.
- Pao-Ann Hsiung, Shang-Wei Lin, and Chao-Sheng Lin
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems
Journal of Signal Processing Systems (JSPS), Vol. 59, pp. 13-32, Springer, September 2010.
- Chao-Sheng Lin, Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Hseng-Ya. Tung, Wan-Ting Su, William C. Chu, Chih-Hsiong Shih, Nien-Lin Hsueh, Chih-Hung Chang, and Chorng-Shiuh Koong
VERTAF/Multi-Core: A SysML-based Application Framework for Multi-Core Embedded Software Development
Journal of the Chinese Institute of Engineers, Vol. 32, No. 7, pp. 985-991, November 2009.
- Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, and William C. Chu
Modeling and Verification of Real-Time Embedded Systems with Urgency
Journal of Systems and Software (JSS), Vol. 82, No. 10, pp. 1627-1641, Elsevier Inc., October 2009.
- Pao-Ann Hsiung and Shang-Wei Lin
Automatic Synthesis and Verification of Real-Time Embedded Software for Mobile and Ubiquitous Systems
Computer Languages, Systems & Structures, Vol. 34, No. 4, pp. 153-169, Elsevier, December 2008.
- Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, and Win-Bin See
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering (TSE), Vol. 30, No. 10, pp. 656-674, October 2004.