Shang-Wei Lin
Cited by
Cited by
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
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
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
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
Tzuyu: Learning stateful typestates
H Xiao, J Sun, Y Liu, SW Lin, C Sun
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
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
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
Model checking prioritized timed automata
SW Lin, PA Hsiung, CH Huang, YR Chen
International Symposium on Automated Technology for Verification and …, 2005
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
Mobidroid: A performance-sensitive malware detection system on mobile platform
R Feng, S Chen, X Xie, L Ma, G Meng, Y Liu, SW Lin
2019 24th International Conference on Engineering of Complex Computer …, 2019
Semantic understanding of smart contracts: executable operational semantics of Solidity
J Jiao, S Kan, SW Lin, D Sanan, Y Liu, J Sun
2020 IEEE Symposium on Security and Privacy (SP), 1695-1712, 2020
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
Automatic Compositional Verification of Timed Systems
SW Lin, Y Liu, J Sun, JS Dong, É André
FM 2012: Formal Methods, 272-276, 2012
Model checking timed systems with priorities
PA Hsiung, SW Lin
11th IEEE International Conference on Embedded and Real-Time Computing …, 2005
A neural model for method name generation from functional description
S Gao, C Chen, Z Xing, Y Ma, W Song, SW Lin
2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019
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
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
Counterexample-guided assume-guarantee synthesis through learning
SW Lin, PA Hsiung
IEEE Transactions on Computers 60 (5), 734-750, 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
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
The system can't perform the operation now. Try again later.
Articles 1–20