---

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 Adversarial Denoise Attack. IEEE Transactions on Multimedia (TMM), Vol. 24, pp. 3807-3822, 2022.
   
   
9. Xinwen HU, Yi ZHUANG, Shang-Wei LIN, Fuyuan ZHANG, Shuanglong KAN, and 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), 2021.
    
    
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, 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, 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, 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, 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, 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, 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, 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, 2004.
    
    

Conference Papers

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 . 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.
   
   
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), pp. 716 - 727, 2022. (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, and Vinay Vishnumurthy ADIGA. Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning. 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), 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), 2020. (accepted for publication)
    
    
16. Xuan-Bach LE, David SANÁN, Jun SUN, and Shang-Wei LIN. Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. International Conference on Engineering of Complex Computer Systems (ICECCS), 2020. (accepted for publication)
    
    
17. Ruitao FENG, Jing Qiang LIM, Sen CHEN, Shang-Wei LIN, and Yang LIU. SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices. International Conference on Engineering of Complex Computer Systems (ICECCS), 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), 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), 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, 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, 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, 2019.
    
    
24. Haijun WANG, Xiaofei XIE, Shang-Wei LIN, Yun LIN, Yuekang LI, Shengchao QIN, Yang LIU, and Ting LIU. Locating Vulnerabilities in Binaries via Memory Layout Recovering. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 718-728, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 2017.
    
    
38. Muhammad Ashad KABIR, Jun HAN, Alan W. COLMAN, Naif R. ALJOHANI, Mohammed BASHERI, Zhenchang XING, and Shang-Wei LIN. Engineering Socially-Aware Systems and Applications. International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 81-90, 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, 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, 2015. (accepted for publication)
    
    
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, 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, 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, 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, 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, 2013. (accepted for publication)
    
    
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, 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, 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, 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, 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, and 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.
    
    
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, 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, 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, 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.