Journal Papers

  1. 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).

  2. 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).

  3. 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).

  4. 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).

  5. 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).

  6. 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.

  7. 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 .

  8. 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.

  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. É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.

  14. 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.

  15. 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.

  16. 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.

  17. 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.

  18. 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.

  19. 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.

  20. 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.

  21. 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.

  22. 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.

  23. 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.

  24. 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.

  25. 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.