Journal Papers

1. 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.
   
   
2. 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.
   
   
3. 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.
   
   
4. 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.
   
   
5. 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.
   
   
6. 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.
   
   
7. 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.
   
   
8. 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.
   
   
9. 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.

Books and Chapters

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.

Conference Papers

1. 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), Bergamo, Italy, 2015. (accepted for publication)
   
   
2. 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.
   
   
3. 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.
   
   
4. 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.
   
   
5. 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.
   
   
6. É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.
   
   
7. 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.
   
   
8. 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.
   
   
9. 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.
   
   
10. 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.
    
    
11. 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.
    
    
12. 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.
    
    
13. 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.
    
    
14. 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.
    
    
15. 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.
    
    
16. 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.
    
    
17. 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.
    
    
18. 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.
    
    
19. 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.
    
    
20. 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.

This page makes use of the template provided by Mollio under the terms of license Creative Commons (CC BY-SA 4.0)