Get in Touch

With Shang-Wei LIN

Name and email
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Associate Professor

Shang-Wei LIN

Associate Professor
Ph.D., Department of Computer Science and Information Engineering, National Chung Cheng University, Taiwan
Cluster:
Infocomm Technology
Email
LinkedIn
Twitter
Website
Google Scholar

Biography

Dr. LIN Shang-Wei (林尚威) received his B.S. degree in Information Management from National Chung Cheng University in 2003 and received his Ph.D. degree in Computer Science and Information Engineering from the National Chung Cheng University in 2010. In 2011, he was a postdoctoral research fellow in School of Computing, National University of Singapore (NUS). From 2012 to 2014, he was a research scientist at Temasek Laboratories in NUS. From December 2014 to April 2015, he was a postdoctoral research fellow in Singapore University of Technology and Design (SUTD). From May 2015 to August 2024, he was an Assistant Professor in College of Computing & Data Science (CCDS) in Nanyang Technological University (NTU). He joined Singapore Institute of Technology (SIT) as Associate Professor on 19 August 2024.

SIT Appointments

  • Associate Professor
    – Present

Education

  • Ph.D.
    Department of Computer Science and Information Engineering, National Chung Cheng University , Taiwan
  • M.S.
    Department of Computer Science and Information Engineering, National Chung Cheng University , Taiwan
  • B.S.
    Department of Information Management, National Chung Cheng University , Taiwan
  • H.S.
    National Taichung First Senior High School , Taiwan

Corporate Experience

  • Assistant Professor, College of Computing & Data Science (CCDS), Nanyang Technological University (NTU)
    –
  • Research Fellow, Singapore University of Technology and Design (SUTD)
    –
  • Research Scientist, Tamesak Laboratories, National University of Singapore (NUS)
    –
  • Research Fellow, School of Computing, National University of Singapore (NUS)
    –
chevron--up

Research Interests

  • Formal Methods

    Model Checking, Theorem Proving, Symbolic Execution, Compositional Verification

  • Programming Language

    Program Analysis/Verification, Program Synthesis

  • Quantum Computing

    Quantum Algorithm Design, Quantum Program Verification, Quantum Circuit Design/Analysis/Verification

  • Blockchain Technology

    Smart Contract Development, Smart Contract Analysis/Verification

chevron--up

Journal Papers

    1. Xiuting GE, Chunrong FANG, Xuanye LI, Weisong SUN, Daoyuan WU, Juan ZHAI, Shang-Wei LIN, Zhihong ZHAO, Yang LIU, and Zhenyu CHEN. 
      Machine Learning for Actionable Warning Identification: A Comprehensive Survey. 
      ACM Computing Surveys, 2024. (accepted for publication)
       
    2. Wenbing TANG, Fenghua WU, Shang-wei LIN, Zuohua DING, Jing LIU, Yang LIU, and Jifeng HE. 
      Causal Deconfounding Deep Reinforcement Learning for Mobile Robot Motion Planning. 
      Knowledge-Based Systems, Vol. 303, 112406, 2024.
       
    3. Fenghua WU, Wenbing TANG, Yuan ZHOU, Shang-Wei LIN, Zuohua DING, and Yang LIU
      Robust Motion Planning for Mobile Robots under Attacks against Obstacle Localization
      Robotica, pp. 1-20, 2024.
       
    4. 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, Volume 241, 122637, 2024.
       
    5. 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), Vol. 54, No. 2, pp. 997-1010, 2024.
       
    6. 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), Vol. 42, No. 6. pp. 2055-2068, 2023.
       
    7. 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).
       
    8. 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), Vol. 24, pp. 3807-3822, 2022.
       
    9. 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.
       
    10. 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 .
       
    11. 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.
       
    12. 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.
       
    13. 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.
       
    14. 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.
       
    15. 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.
       
    16. É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.
       
    17. 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.
       
    18. 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.
       
    19. 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.
       
    20. 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.
       
    21. 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.
       
    22. 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.
       
    23. 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.
       
    24. 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.
       
    25. 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.
       
    26. 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.
       
    27. 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.
       
    28. 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.

Conferences

    1. Zhiming LI, Yushi CAO, Yan ZHENG, Xu LIU, Bozhi WU, Tianlin LI, Xiufeng XU, Junzhe JIANG, Yon Shin TEO, Shang-Wei LIN, and Yang LIU. 
      Improving Neural Logic Machines via Failure Reflection. 
      International Conference on Machine Learning (ICML), Vol. 235, pp. 27457--27473, 2024.
       
    2. Yupeng CHENG, Zi Pong LIM, Sarthak Ketanbhai MODI, Yon Shin TEO, Yushi CAO, and Shang-Wei LIN. 
      Towards a More Robust and Accurate OCR Model with Adversarial Techniques in HMI Testing Scenarios. 
      IEEE Conference on Artificial Intelligence (CAI), pp. 1414-1421, 2024.
       
    3. Zhiming LI, Yushi CAO, Xiufeng XU, Junzhe JIANG, Xu LIU, Yon Shin TEO, Shang-wei LIN, and Yang LIU. 
      LLMs for Relational Reasoning: How Far are We?. 
      International Workshop on Large Language Models for Code (LLM4Code), pp. 119 - 126, 2024.
       
    4. Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán and Yon Shin Teo
      A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation
      International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2024. (accepted for publication)
       
    5. Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun, and Shang-Wei Lin
      Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing
      ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023. (accepted for publication)
       
    6. Yushi Cao, Yanran Li, Yon Shin Teo, Yan Zheng, Zhexin Liang, and Shang-Wei Lin
      An Automatic Test Plan Generation Approach for Automotive Software Testing
      International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET), 2023. (accepted for publication)
       
    7. Shang-Wei Lin, Palina Tolmach, Ye Liu, and Yi Li
      SolSEE: A Source-Level Symbolic Execution Engine for Solidity
      ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2022. (accepted for publication)
       
    8. Yushi Cao, Yon Shin Teo, Yan Zheng, Yuxuan Toh, and Shang-Wei Lin
      A Holistic Automated Software Structure Exploration Framework for Testing
      International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET), 2022. (accepted for publication)
       
    9. Palina Tolmach, Yi Li, and Shang-Wei Lin
      Property-Based Automated Repair of DeFi Protocols
      IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022. (accepted for publication)
       
    10. Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho
      Finding Permission Bugs in Smart Contracts with Role Mining
      ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022. (accepted for publication)
      (ACM SIGSOFT Distinguished Paper Award)
       
    11. Xuan Bach Le, Shang-Wei Lin, Jun Sun, and David Sanán
      A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separation Logic
      ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Vol. 6, pp. 1-27, 2022.
       
    12. Yushi Cao, Yan Zheng, Shang-Wei Lin, Yang Liu, Yon Shin Teo, Yuxuan Toh, Vinay Vishnumurthy Adiga
      Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning
      Industry Track, IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 1151-1155, 2021.
       
    13. Palina Tolmach, Yi Li, Shang-Wei Lin, and Yang Liu
      Formal Analysis of Composable DeFi Protocols
      Workshop on Decentralized Finance (DeFi), pp. 149-161, 2021.
       
    14. Si-Han Chen, Yu-Ting Huang, Yi-Chun Kao, Yean-Ru Chen, Shang-Wei Lin, and Chia-I Chen
      Hardware Trojan Design and Detection with Formal Verification to Deep Neural Network
      The Design and Verification Conference (DVCon), U.S., 2021. (accepted for publication)
       
    15. Yupeng Cheng, Xingxing Wei, Huazhu Fu, Shang-Wei Lin, and Weisi Lin
      Defense for Adversarial Videos by Self-adaptive JPEG Compression and Optical Texture
      ACM International Conference on Multimedia in Asia (ACMMM-Asia), Singapore, 2020. (accepted for publication)
       
    16. Xuan-Bach Le, David Sanán, Jun Sun, Shang-Wei Lin
      Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications
      International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 2020 (accepted for publication)
       
    17. Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu
      SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices
      International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 2020 (accepted for publication)
       
    18. Ye Liu, Yi Li, Shang-Wei Lin, and Qiang Yan
      ModCon: A Model-Based Testing Platform for Smart Contracts
      ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), California, USA, 2020. (accepted for publication)
       
    19. Ye Liu, Yi Li, Shang-Wei Lin, and Rong Zhao
      Towards Automated Verification of Smart Contract Fairness
      ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), California, USA, 2020. (accepted for publication)
       
    20. Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, and Jun Sun
      Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
      IEEE Symposium on Security and Privacy (S&P), pp. 1695-1712, San Francisco, USA, 2020. doi: 10.1109/SP40000.2020.00066
       
    21. Jiao Jiao, Shang-Wei Lin, and Jun Sun
      A Generalized Formal Semantic Framework for Smart Contracts
      International Conference on Fundamental Approaches to Software Engineering (FASE), pp. 74-96, 2020.
       
    22. Ruitao Feng, Yang Liu and Shang-Wei Lin
      A Performance-Sensitive Malware Detection System on Mobile Platform
      International Conference on Formal Engineering Methods (ICFEM), pp. 493-497, Shenzhen, China, 2019.
       
    23. Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu and Shang-Wei Lin
      MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform
      International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 61-70, Hong Kong, China, 2019.
       
    24. Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, Ting Liu
      Locating Vulnerabilities in Binaries via Memory Layout Recovering
      ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 718-728, Tallinn, Estonia, 2019.
       
    25. Ruitao Feng, Guozhu Meng, Xiaofei Xie, Ting Su, Yang Liu and Shang-Wei Lin
      Learning Performance Optimization from Code Changes for Android Apps
      IEEE International Workshop on Machine Learning and Software Testing (MLST), pp. 285-290, Xi'an, China, 2019.
       
    26. Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma and Yang Liu
      VULTRON: Catching Vulnerable Smart Contracts Once and for All
      New Ideas and Emerging Results (NIER), International Conference on Software Engineering (ICSE), pp. 1-4, Montréal, QC, Canada, 2019.
       
    27. Sa Gao, Chunyang Chen, Zhenchang Xing, Yukun Ma, Wen Song and Shang-Wei Lin
      A Neural Model for Method Name Generation from Functional Description
      IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 414-421, Hangzhou, China, 2019.
       
    28. Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin and Jun Sun
      Compositional Reasoning for Shared-variable Concurrent Programs
      International Symposium on Formal Methods (FM), pp. 523-541, Oxford, UK, 2018.
       
    29. Ki Yung Ahn, Ross Horne, Shang-Wei Lin and Alwen Tiu
      Quasi-Open Bisimilarity with Mismatch is Intuitionistic
      Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 26-35, Oxford, UK, 2018.
       
    30. Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye and Shang-Wei Lin
      Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking
      International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 90-99, Fukuoka, Japan, 2017.
       
    31. Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán and Henri Hansen
      FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
      IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 793-803, Urbana-Champaign, Illinois, USA, 2017.
      (ACM SIGSOFT Distinguished Paper Award)
       
    32. Jiaying Li, Jun Sun, Li Li, Quang Loc Le and Shang-Wei Lin
      Automatic Loop-invariant Generation and Refinement through Selective Sampling
      IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 782-792, Urbana-Champaign, Illinois, USA, 2017.
       
    33. Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu and Alwen Tiu
      Steelix: Program-State Based Binary Fuzzing
      ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 627-637, Paderborn, Germany, 2017.
       
    34. Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu and Xiaohong Li
      Loopster: Static Loop Termination Analysis
      ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 84-94, Paderborn, Germany, 2017.
       
    35. Étienne André and Shang-Wei Lin
      Learning-Based Compositional Parameter Synthesis for Event-Recording Automata
      International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), LNCS Vol. 10321, pp. 17-32, Neuchâtel, Switzerland, 2017 (Best Paper Award).
       
    36. Muhammad Ashad Kabir, Zhenchang Xing, Prakash Chandrasekaran, and Shang-Wei Lin
      Process Pattern: Reusable Design Artifact for Business Process Models
      IEEE Computer Society Signature Conference on Computers, Software and Applications (COMPSAC), Vol. 1, pp. 714-721, Torino, Italy, 2017.
       
    37. Xuejiao Zhao, Zhenchang Xing, Muhammad Ashad Kabir, Naoya Sawada, Jing Li, and Shang-Wei Lin
      HDSKG: Harvesting Domain Specific Knowledge Graph from Content of Webpages
      IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), pp. 56-67, Klagenfurt, Austria, 2017.
       
    38. Muhammad Ashad Kabir, Jun Han, Alan W. Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin
      Engineering Socially-Aware Systems and Applications
      International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 81-90, Dubai, United Arab Emirates, 2016.
       
    39. Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, and Jin Song Dong
      Interpolation Guided Compositional Verification (T)
      IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 65-74, Lincoln, Nebraska, USA, 2015.
       
    40. Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, and Shengchao Qin
      TLV: Abstraction through Testing, Learning, and Validation
      ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 698-709, Bergamo, Italy, 2015.
       
    41. Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, and Jun Sun
      Diamonds are a Girl's Best Friend: Partial Order Reduction for Timed Automata With Abstractions
      International Conference on Computer Aided Verification (CAV), LNCS Vol. 8559, pp. 391-406, Vienna, Austria, 2014.
       
    42. Shang-Wei Lin and Pao-Ann Hsiung
      Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning
      International Symposium on Formal Methods (FM), LNCS Vol. 8442, pp. 416-431, Singapore, 2014.
       
    43. Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, and Chengnian Sun
      TzuYu: Learning Stateful Typestates
      IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 432-442, California, USA, 2013.
       
    44. Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, and Truong Khanh Nguyen
      CELL: A Compositional Verification Framework
      International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS Vol. 8172, pp. 474-477, Hanoi, Vietnam, 2013.
       
    45. Étienne André, Yang Liu, Jun Sun, Jin Song Dong, and Shang-Wei Lin
      PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems
      International Conference on Computer Aided Verification (CAV), LNCS Vol. 8044, pp. 984-989, Saint Petersburg, Russia, 2013.
       
    46. Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, and Shang-Wei Lin
      Generating C# Programs from CSP# Models
      IEEE International Conference on Software Testing, Verification and Validation (ICSTW), pp. 21-26, Luxembourg, 2013.
       
    47. Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, and Jin Song Dong
      Automatic Generation of Provably Correct Embedded Systems
      International Conference on Formal Engineering Methods (ICFEM), LNCS Vol. 7635, pp. 214-229, Kyoto, Japan, 2012.
       
    48. Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, and Étienne André
      Automatic Compositional Verification of Timed Systems
      International Symposium on Formal Methods (FM), LNCS Vol. 7436, pp. 272-276, Paris, France, 2012.
       
    49. Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, and Yang Liu
      An Efficient Algorithm for Learning Event-Recording Automata
      International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS Vol. 6996, pp. 463-472, Taipei, Taiwan, 2011.
       
    50. Yean-Ru Chen, Jui-Lung Yao, Chih-Hseng. Lin, Shang-Wei Lin, Chun-Hsian Huang, Ya-Ping Hu, Pao-Ann Hsiung, Sao-Jie Chen, and I-Hsin Chou
      SAT-based Verification of Data-Independent Access Control Security Systems
      International Conference on Security and Management (SAM), Vol. 1, pp. 126-131, 2011.
       
    51. Pao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chih-Hsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hong Chang, William C. Chu
      VERTAF/Multi-Core: A SysML-based Application Framework for Multi-Core Embedded Software Development
      International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), LNCS Vol. 5574, pp. 303-314, 2009.
       
    52. Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Nien-Lin Hsueh, Chih-Hong Chang, Chih-Hsiong Shih, Chorng-Shiuh Koong, Chao-Sheng Lin, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, and William C. Chu
      Model-Driven Development of Multi-Core Embedded Software
      International Workshop on Multicore Software Engineering (IWMSE), pp. 9-16, 2009 ICSE Workshop on Multicore Software Engineering, 2009.
       
    53. Pao-Ann Hsiung and Shang-Wei Lin
      From ISA to Application Design via RTOS - A Course Design Framework for Embedded Software
      Asia-Pacific Workshop on Embedded System Education and Research (APESER), pp. 1-6, Hsinchu, Taiwan, 2007.
       
    54. Pao-Ann Hsiung, Shang-Wei Lin, Chin-Chieh Hung, Jih-Ming Fu, Chao-Sheng Lin, Cheng-Chi Chiang, Kuo-Cheng Chiang, Chun-Hsien Lu, and Pin-Hsien Lu
      Real-Time Embedded Software Design for Mobile and Ubiquitous Systems
      The IFIP International Conference on Embedded and Ubiquitous Computing (EUC), LNCS Vol. 4808, pp. 718-729, 2007.
       
    55. Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Chen Yeh, Hong-Yu Sun, Chao-Sheng Lin, and Hsiao-Win Liao
      Model Checking Timed Systems with Urgencies
      International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS Vol. 4218, pp. 67-81, Beijing, China, 2006.
       
    56. Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, and Yean-Ru Chen
      Model Checking Prioritized Timed Automata
      International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS Vol. 3707, pp. 370-384, Taipei, Taiwan, 2005.
       
    57. Pao-Ann Hsiung and Shang-Wei Lin
      Model Checking Timed Systems with Priorities
      International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA), pp. 539-544, 2005.
       
    58. Pao-Ann Hsiung and Shang-Wei Lin
      Formal Design and Verification of Real-Time Embedded Software
      Asian Symposium on Programming Languages and Systems (APLAS), LNCS Vol. 3302, pp. 382-397, 2004.
       
    59. Pao-Ann Hsiung and Shang-Wei Lin
      Automatic Synthesis and Verification of Real-Time Embedded Software
      International Conference on Embedded and Ubiquitous Computing (EUC), LNCS Vol. 3207, pp. 12-21, 2004.

Books

    1. Yu-Shin Lin, Shang-Wei Lin, Chao-Sheng Lin, Chun-Hsien Lu, Chia-Chiao Ho, Yi-Luen Chang, Bo-Hsuan Wang, and Pao-Ann Hsiung 
      Automatic High-Level Code Generation for Multi-core Processors in Embedded Systems
      Multicore Hardware-Software Design and Verification Techniques, Bentham e Books.
       
    2. Shang-Wei Lin
      Compositional Synthesis of Concurrent Systems through Learning with Counterexample Guidance and Causality Semantics
      Ph.D. Dissertation, Graduate Institute of Computer Science and Information Engineering, National Chung Cheng University, July 2010.
       
    3. Shang-Wei Lin, Chao-Sheng Lin, Chun-Hsien Lu, Yean-Ru Chen, and Pao-Ann Hsiung 
      Model-Driven Development of Multi-Core Embedded Software
      Modern Software Engineering Concepts and Practices: Advanced Approaches, Editors: Ali H. Dogru and Veli Bicer, IGI Global, USA, 2010.
       
    4. Pao-Ann Hsiung and Shang-Wei Lin
      Automatic Synthesis and Verification of Real-Time Embedded Software for Mobile and Ubiquitous Systems
      Handbook on Mobile and Ubiquitous Computing Innovations and Perspectives, American Scientific Publishers, USA, 2007.
chevron--up