| Steelix: program-state based binary fuzzing Y Li, B Chen, M Chandramohan, SW Lin, Y Liu, A Tiu Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 96 | 2017 |
| VERTAF: An application framework for the design and verification of embedded real-time software PA Hsiung, SW Lin, CH Tseng, TY Lee, JM Fu, WB See IEEE Transactions on Software Engineering 30 (10), 656-674, 2004 | 58 | 2004 |
| Learning Assumptions for Compositional Verification of Timed Systems SW Lin, É André, Y Liu, J Sun, JS Dong IEEE Transactions on Software Engineering 40 (2), 137-153, 2014 | 43* | 2014 |
| Tzuyu: Learning stateful typestates H Xiao, J Sun, Y Liu, SW Lin, C Sun 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 28 | 2013 |
| Hdskg: Harvesting domain specific knowledge graph from content of webpages X Zhao, Z Xing, MA Kabir, N Sawada, J Li, SW Lin 2017 IEEE 24th International Conference on Software Analysis, Evolution and …, 2017 | 20 | 2017 |
| An efficient algorithm for learning event-recording automata SW Lin, É André, JS Dong, J Sun, Y Liu International Symposium on Automated Technology for Verification and …, 2011 | 20 | 2011 |
| Model checking prioritized timed automata SW Lin, PA Hsiung, CH Huang, YR Chen International Symposium on Automated Technology for Verification and …, 2005 | 19 | 2005 |
| Model checking timed systems with priorities PA Hsiung, SW Lin 11th IEEE International Conference on Embedded and Real-Time Computing …, 2005 | 15 | 2005 |
| Automatic Compositional Verification of Timed Systems SW Lin, Y Liu, J Sun, JS Dong, É André FM 2012: Formal Methods, 272-276, 2012 | 14 | 2012 |
| Counterexample-guided assume-guarantee synthesis through learning SW Lin, PA Hsiung IEEE Transactions on Computers 60 (5), 734-750, 2011 | 13 | 2011 |
| Model-driven development of multi-core embedded software PA Hsiung, SW Lin, YR Chen, NL Hsueh, CH Chang, CH Shih, CS Koong, ... 2009 ICSE Workshop on Multicore Software Engineering, 9-16, 2009 | 13 | 2009 |
| A real-time and fully distributed approach to motion planning for multirobot systems Y Zhou, H Hu, Y Liu, SW Lin, Z Ding IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017 | 12 | 2017 |
| Diamonds are a girl’s best friend: Partial order reduction for timed automata with abstractions H Hansen, SW Lin, Y Liu, TK Nguyen, J Sun International Conference on Computer Aided Verification, 391-406, 2014 | 12 | 2014 |
| Real-time embedded software design for mobile and ubiquitous systems PA Hsiung, SW Lin, CC Hung, JM Fu, CS Lin, CC Chiang, KC Chiang, ... Embedded and Ubiquitous Computing, 718-729, 2007 | 12 | 2007 |
| TLV: abstraction through testing, learning, and validation J Sun, H Xiao, Y Liu, SW Lin, S Qin Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 11 | 2015 |
| Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems PA Hsiung, SW Lin Computer Languages, Systems & Structures 34 (4), 153-169, 2008 | 9 | 2008 |
| Learning-based compositional parameter synthesis for event-recording automata É André, SW Lin International Conference on Formal Techniques for Distributed Objects …, 2017 | 8 | 2017 |
| VERTAF/Multi-Core: A SysML-based application framework for multi-core embedded software development CS Lin, CH Lu, SW Lin, YR Chen, PA Hsiung Journal of Computer Science and Technology 26 (3), 448-462, 2011 | 8 | 2011 |
| VERTAF/Multi‐Core: A sysml‐based application framework for multi‐core embedded software development CS Lin, PA Hsiung, SW Lin, YR Chen, CH Lu, SY Tong, WT Su, C Shih, ... Journal of the Chinese Institute of Engineers 32 (7), 985-991, 2009 | 8 | 2009 |
| Automatic loop-invariant generation anc refinement through selective sampling J Li, J Sun, L Li, QL Le, SW Lin 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 7 | 2017 |
Yang LiuProfessor and 2019 University Leadership Forum Chair, Nanyang Technological UniversityVerified email at ntu.edu.sg
