Shang-Wei Lin
TitleCited byYear
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
962017
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
582004
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
282013
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
202017
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
202011
Model checking prioritized timed automata
SW Lin, PA Hsiung, CH Huang, YR Chen
International Symposium on Automated Technology for Verification and …, 2005
192005
Model checking timed systems with priorities
PA Hsiung, SW Lin
11th IEEE International Conference on Embedded and Real-Time Computing …, 2005
152005
Automatic Compositional Verification of Timed Systems
SW Lin, Y Liu, J Sun, JS Dong, É André
FM 2012: Formal Methods, 272-276, 2012
142012
Counterexample-guided assume-guarantee synthesis through learning
SW Lin, PA Hsiung
IEEE Transactions on Computers 60 (5), 734-750, 2011
132011
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
132009
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
122017
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
122014
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
122007
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
112015
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
92008
Learning-based compositional parameter synthesis for event-recording automata
É André, SW Lin
International Conference on Formal Techniques for Distributed Objects …, 2017
82017
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
82011
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
82009
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
72017
The system can't perform the operation now. Try again later.
Articles 1–20