Shang-Wei Lin - Google Scholar Citations

Cited by

	All	Since 2015
Citations	578	371
h-index	12	9
i10-index	16	9

140

105

20052006200720082009201020112012201320142015201620172018201920203 6 10 7 25 18 29 27 45 33 32 18 49 86 138 46

Co-authors

Yang LiuProfessor and 2019 University Leadership Forum Chair, Nanyang Technological UniversityVerified email at ntu.edu.sg
Pao-Ann HsiungNational Chung Cheng University, TaiwanVerified email at cs.ccu.edu.tw
jun sunAssociate Professor of SIS, SMUVerified email at smu.edu.sg
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityVerified email at nus.edu.sg
Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceVerified email at univ-paris13.fr
Zhenchang XingAustralian National UniversityVerified email at anu.edu.au
Alwen TiuResearch School of Computer Science, The Australian National UniversityVerified email at anu.edu.au
Yuekang LiPhD student, Nanyang Technological UniversityVerified email at e.ntu.edu.sg
Bihuan ChenPre-Tenure Associate Professor, Fudan UniversityVerified email at fudan.edu.cn
Chun-Hsian HuangDepartment of Computer Science and Information Engineering, National Taitung University, TaiwanVerified email at nttu.edu.tw
Hao XiaoSingapore University of Technology and DesignVerified email at sutd.edu.sg
David SanánNanyang Technological UniversityVerified email at ntu.edu.sg
Yuan Zhou (周远)Nanyang Technological UniversityVerified email at ntu.edu.sg
Henri HansenDocent, University Lecturer, Mathematics, Tampere University of TechnologyVerified email at tut.fi
Jiaying LiResearch ScientistVerified email at smu.edu.sg
Jing SunAssociate Professor, School of Computer Science, University of Auckland, New ZealandVerified email at auckland.ac.nz
Truong Khanh NguyenSchool of Computing, National University of SingaporeVerified email at comp.nus.edu.sg

Shang-Wei Lin

Assistant Professor, Nanyang Technological University

Verified email at ntu.edu.sg - Homepage

Formal Verification Compositional Verification Formal Synthesis Theorem Proving


Title Sort by citations Sort by year Sort by 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	113	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	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	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	21	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	21	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
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	14	2017
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
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	12	2015
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
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	10	2017
Learning-based compositional parameter synthesis for event-recording automata É André, SW Lin International Conference on Formal Techniques for Distributed Objects …, 2017	9	2017
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	9	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
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors