Shang-Wei Lin
Title
Cited by
Cited by
Year
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
1192017
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
45*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
272013
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
252017
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
222011
Model checking prioritized timed automata
SW Lin, PA Hsiung, CH Huang, YR Chen
International Symposium on Automated Technology for Verification and …, 2005
192005
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 49 (12), 2636-2650, 2017
162017
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
162011
Automatic Compositional Verification of Timed Systems
SW Lin, Y Liu, J Sun, JS Dong, É André
FM 2012: Formal Methods, 272-276, 2012
152012
Model checking timed systems with priorities
PA Hsiung, SW Lin
11th IEEE International Conference on Embedded and Real-Time Computing …, 2005
152005
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
Vultron: catching vulnerable smart contracts once and for all
H Wang, Y Li, SW Lin, L Ma, Y Liu
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
122019
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 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
102017
Learning-based compositional parameter synthesis for event-recording automata
É André, SW Lin
International Conference on Formal Techniques for Distributed Objects …, 2017
92017
Interpolation guided compositional verification (t)
SW Lin, J Sun, TK Nguyen, Y Liu, JS Dong
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
92015
The system can't perform the operation now. Try again later.
Articles 1–20