Shang-Wei Lin - RankMe

92 papers A* 11A 3B 16C 8Journal 36Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Machine Learning for Actionable Warning Identification: A Comprehensive Survey. ACM Comput. Surv. Xiuting Ge, Chunrong Fang, Xuanye Li, Weisong Sun, Daoyuan Wu, Juan Zhai, Shang-Wei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen
2024	—	`conf`	A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. TACAS (2) Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
2024	J	`jnl`	Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control. IEEE Trans. Syst. Man Cybern. Syst. Yuan Zhou, Hesuan Hu, Gelei Deng, Kun Cheng, Shang-Wei Lin, Yang Liu, Zuohua Ding
2024	J	`jnl`	FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools. CoRR Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu
2024	A*	`conf`	Improving Neural Logic Machines via Failure Reflection. ICML Zhiming Li, Yushi Cao, Yan Zheng, Xu Liu, Bozhi Wu, Tianlin Li, Xiufeng Xu, Junzhe Jiang, Yon Shin Teo, Shang-Wei Lin, Yang Liu
2024	—	`conf`	LLMs for Relational Reasoning: How Far are We? LLM4CODE@ICSE Zhiming Li, Yushi Cao, Xiufeng Xu, Junzhe Jiang, Xu Liu, Yon Shin Teo, Shang-Wei Lin, Yang Liu
2024	J	`jnl`	LLMs for Relational Reasoning: How Far are We? CoRR Zhiming Li, Yushi Cao, Xiufeng Xu, Junzhe Jiang, Xu Liu, Yon Shin Teo, Shang-Wei Lin, Yang Liu
2023	J	`jnl`	A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation. CoRR Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
2023	J	`jnl`	A Quantum SMT Solver for Bit-Vector Theory. CoRR Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang, Yean-Ru Chen
2023	C	`conf`	An Automatic Test Plan Generation Approach for Automotive Software Testing. SoMeT Yushi Cao, Yanran Li, Yon Shin Teo, Yan Zheng, Zhexin Liang, Shang-Wei Lin
2023	—	`conf`	Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing. ESEC/SIGSOFT FSE Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun, Shang-Wei Lin
2022	C	`conf`	A Holistic Automated Software Structure Exploration Framework for Testing. SoMeT Yushi Cao, Yon Shin Teo, Yan Zheng, Yuxuan Toh, Shang-Wei Lin
2022	J	`jnl`	A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic. Proc. ACM Program. Lang. Xuan-Bach Le, Shang-Wei Lin, Jun Sun, David Sanán
2022	J	`jnl`	Enhancing Security Patch Identification by Capturing Structures in Commits. CoRR Bozhi Wu, Shangqing Liu, Ruitao Feng, Xiaofei Xie, Jing Kai Siow, Shang-Wei Lin
2022	A	`conf`	Finding permission bugs in smart contracts with role mining. ISSTA Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho
2022	J	`jnl`	Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack. IEEE Trans. Multim. Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Shang-Wei Lin, Wei Feng, Weisi Lin, Yang Liu
2022	A*	`conf`	Property-Based Automated Repair of DeFi Protocols. ASE Palina Tolmach, Yi Li, Shang-Wei Lin
2022	—	`conf`	SolSEE: a source-level symbolic execution engine for solidity. ESEC/SIGSOFT FSE Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li
2021	J	`jnl`	A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices. IEEE Trans. Inf. Forensics Secur. Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin, Yang Liu
2021	A*	`conf`	Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning. ASE Yushi Cao, Yan Zheng, Shang-Wei Lin, Yang Liu, Yon Shin Teo, Yuxuan Toh, Vinay Vishnumurthy Adiga
2021	J	`jnl`	CSim ACM Trans. Program. Lang. Syst. David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu
2021	—	`conf`	Formal Analysis of Composable DeFi Protocols. Financial Cryptography Workshops Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu
2021	J	`jnl`	Formal Analysis of Composable DeFi Protocols. CoRR Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu
2020	B	`conf`	A Generalized Formal Semantic Framework for Smart Contracts. FASE Jiao Jiao, Shang-Wei Lin, Jun Sun
2020	J	`jnl`	A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices. CoRR Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin, Yang Liu
2020	J	`jnl`	A Survey of Smart Contract Formal Specification and Verification. CoRR Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li
2020	J	`jnl`	A distributed method to avoid higher-order deadlocks in multi-robot systems. Autom. Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding
2020	J	`jnl`	Adversarial Exposure Attack on Diabetic Retinopathy Imagery. CoRR Yupeng Cheng, Felix Juefei-Xu, Qing Guo, Huazhu Fu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Yang Liu
2020	B	`conf`	Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. ICECCS Xuan-Bach Le, David Sanán, Jun Sun, Shang-Wei Lin
2020	—	`conf`	Defense for adversarial videos by self-adaptive JPEG compression and optical texture. MMAsia Yupeng Cheng, Xingxing Wei, Huazhu Fu, Shang-Wei Lin, Weisi Lin
2020	C	`ed.`	Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings ICFEM Shang-Wei Lin, Zhe Hou, Brendan P. Mahony
2020	—	`conf`	ModCon: a model-based testing platform for smart contracts. ESEC/SIGSOFT FSE Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan
2020	J	`jnl`	Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack. CoRR Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Wei Feng, Yang Liu
2020	A*	`conf`	Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. SP Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun
2020	J	`jnl`	SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices. CoRR Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu
2020	B	`conf`	SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices. ICECCS Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu
2020	—	`conf`	Towards automated verification of smart contract fairness. ESEC/SIGSOFT FSE Ye Liu, Yi Li, Shang-Wei Lin, Rong Zhao
2019	A	`conf`	A Neural Model for Method Name Generation from Functional Description. SANER Sa Gao, Chunyang Chen, Zhenchang Xing, Yukun Ma, Wen Song, Shang-Wei Lin
2019	J	`jnl`	A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems. IEEE Trans. Syst. Man Cybern. Syst. Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding
2019	—	`conf`	Learning Performance Optimization from Code Changes for Android Apps. ICST Workshops Ruitao Feng, Guozhu Meng, Xiaofei Xie, Ting Su, Yang Liu, Shang-Wei Lin
2019	—	`conf`	Locating vulnerabilities in binaries via memory layout recovering. ESEC/SIGSOFT FSE Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, Ting Liu
2019	B	`conf`	MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform. ICECCS Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu, Shang-Wei Lin
2019	J	`jnl`	Oracle-Supported Dynamic Exploit Generation for Smart Contracts. CoRR Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu
2019	—	`conf`	Vultron: catching vulnerable smart contracts once and for all. ICSE (NIER) Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu
2018	J	`jnl`	A distributed approach to robust control of multi-robot systems. Autom. Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding
2018	J	`jnl`	APIReal: an API recognition and linking approach for online developer forums. Empir. Softw. Eng. Deheng Ye, Lingfeng Bao, Zhenchang Xing, Shang-Wei Lin
2018	B	`conf`	Compositional Reasoning for Shared-Variable Concurrent Programs. FM Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun
2018	J	`jnl`	Executable Operational Semantics of Solidity. CoRR Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun
2018	J	`jnl`	K-Rust: An Executable Formal Semantics for Rust. CoRR Shuanglong Kan, David Sanán, Shang-Wei Lin, Yang Liu
2018	A*	`conf`	Quasi-Open Bisimilarity with Mismatch is Intuitionistic. LICS Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu
2018	J	`jnl`	The language preservation problem is undecidable for parametric event-recording automata. CoRR Étienne André, Shang-Wei Lin
2018	J	`jnl`	The language preservation problem is undecidable for parametric event-recording automata. Inf. Process. Lett. Étienne André, Shang-Wei Lin
2017	A*	`conf`	Automatic loop-invariant generation and refinement through selective sampling. ASE Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
2017	B	`conf`	Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking. ICECCS Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin
2017	A*	`conf`	FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. ASE Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen
2017	A	`conf`	HDSKG: Harvesting domain specific knowledge graph from content of webpages. SANER Xuejiao Zhao, Zhenchang Xing, Muhammad Ashad Kabir, Naoya Sawada, Jing Li, Shang-Wei Lin
2017	C	`conf`	Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. FORTE Étienne André, Shang-Wei Lin
2017	—	`conf`	Loopster: static loop termination analysis. ESEC/SIGSOFT FSE Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, Xiaohong Li
2017	—	`conf`	Process Patterns: Reusable Design Artifacts for Business Process Models. COMPSAC (1) Muhammad Ashad Kabir, Zhenchang Xing, Prakash Chandrasekaran, Shang-Wei Lin
2017	—	`conf`	Steelix: program-state based binary fuzzing. ESEC/SIGSOFT FSE Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, Alwen Tiu
2016	J	`jnl`	Compositional Reasoning for Shared-variable Concurrent Programs. CoRR Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun
2016	B	`conf`	Engineering Socially-Aware Systems and Applications. ICECCS Muhammad Ashad Kabir, Jun Han, Alan W. Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin
2016	J	`jnl`	From verified model to executable program: the PAT approach. Innov. Syst. Softw. Eng. Huiquan Zhu, Jing Sun, Jin Song Dong, Shang-Wei Lin
2015	A*	`conf`	Interpolation Guided Compositional Verification (T). ASE Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong
2015	—	`conf`	TLV: abstraction through testing, learning, and validation. ESEC/SIGSOFT FSE Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin
2014	B	`conf`	Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. FM Shang-Wei Lin, Pao-Ann Hsiung
2014	A*	`conf`	Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. CAV Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun
2014	J	`jnl`	Learning Assumptions for CompositionalVerification of Timed Systems. IEEE Trans. Software Eng. Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, Jin Song Dong
2014	—	`ed.`	Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014. FSFMA Shang-Wei Lin, Laure Petrucci
2013	B	`conf`	CELL: A Compositional Verification Framework. ATVA Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen
2013	—	`conf`	Generating C# Programs from CSP# Models. ICST Workshops Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin
2013	A*	`conf`	PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. CAV Étienne André, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin
2013	A*	`conf`	TzuYu: Learning stateful typestates. ASE Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, Chengnian Sun
2012	B	`conf`	Automatic Compositional Verification of Timed Systems. FM Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André
2012	C	`conf`	Automatic Generation of Provably Correct Embedded Systems. ICFEM Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong
2012	J	`jnl`	Model Checking Prioritized Timed Systems. IEEE Trans. Computers Shang-Wei Lin, Pao-Ann Hsiung
2011	B	`conf`	An Efficient Algorithm for Learning Event-Recording Automata. ATVA Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu
2011	J	`jnl`	Counterexample-Guided Assume-Guarantee Synthesis through Learning. IEEE Trans. Computers Shang-Wei Lin, Pao-Ann Hsiung
2011	J	`jnl`	VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. J. Comput. Sci. Technol. Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung
2010	J	`jnl`	Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. J. Signal Process. Syst. Pao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin
2009	—	`conf`	Model-driven development of multi-core embedded software. IWMSE@ICSE Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Nien-Lin Hsueh, Chih-Hung Chang, Chihhsiong Shih, Chorng-Shiuh Koong, Chao-Sheng Lin, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, William C. Chu
2009	J	`jnl`	Modeling and verification of real-time embedded systems with urgency. J. Syst. Softw. Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu
2009	C	`conf`	VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. ICA3PP Pao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chihhsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hung Chang, William C. Chu
2008	J	`jnl`	Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems. Comput. Lang. Syst. Struct. Pao-Ann Hsiung, Shang-Wei Lin
2007	B	`conf`	From ISA to application design via RTOS - a course design framework for embedded software. ICPADS Pao-Ann Hsiung, Shang-Wei Lin
2007	C	`conf`	Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. EUC Pao-Ann Hsiung, Shang-Wei Lin, Chin-Chieh Hung, Jih-Ming Fu, Chao-Sheng Lin, Cheng-Chi Chiang, Kuo-Cheng Chiang, Chun-Hsien Lu, Pin-Hsien Lu
2006	B	`conf`	Model Checking Timed Systems with Urgencies. ATVA Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao
2005	B	`conf`	Model Checking Prioritized Timed Automata. ATVA Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen
2005	B	`conf`	Model Checking Timed Systems with Priorities. RTCSA Pao-Ann Hsiung, Shang-Wei Lin
2004	C	`conf`	Automatic Synthesis and Verification of Real-Time Embedded Software. EUC Pao-Ann Hsiung, Shang-Wei Lin
2004	B	`conf`	Formal Design and Verification of Real-Time Embedded Software. APLAS Pao-Ann Hsiung, Shang-Wei Lin
2004	J	`jnl`	VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. IEEE Trans. Software Eng. Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See