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.