Journal Papers

  1. 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), 2017. (accepted for publication)

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

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

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

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

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

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

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

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

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

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