Search results for: Shang-Wei Lin
Journal of the Chinese Chemical Society > 68 > 3 > 403 - 408
Empirical Software Engineering > 2018 > 23 > 6 > 3129-3160
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Timed, Embedded, and Hybrid Systems (II) > 370-384
Lecture Notes in Computer Science > Embedded and Ubiquitous Computing > Embedded Software Designs > 718-729
Lecture Notes in Computer Science > Embedded and Ubiquitous Computing > Track 1: Embedded Hardware/Software > 12-21
Lecture Notes in Computer Science > Algorithms and Architectures for Parallel Processing > Multi-core Programming Software Tools > 303-314
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 67-81
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 463-472
Innovations in Systems and Software Engineering > 2016 > 12 > 1 > 1-26
Journal of Synchrotron Radiation > 22 > 5 > 1289 - 1292
IEEE Transactions on Software Engineering > 2014 > 40 > 2 > 137 - 153