Shangwei Lin

According to our database, Shangwei Lin authored at least 90 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control.

Yuan Zhou, Hesuan Hu, Gelei Deng, Kun Cheng, Shang-Wei Lin, Yang Liu, Zuohua Ding

IEEE Trans. Syst. Man Cybern. Syst., February, 2024

FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools.

Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu

CoRR, 2024

Pre-trained Model-based Actionable Warning Identification: A Feasibility Study.

Xiuting Ge, Chunrong Fang, Quanjun Zhang, Daoyuan Wu, Bowen Yu, Qirui Zheng, An Guo, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen

CoRR, 2024

LLMs for Relational Reasoning: How Far are We?

Zhiming Li, Yushi Cao, Xiufeng Xu, Junzhe Jiang, Xu Liu, Yon Shin Teo, Shang-Wei Lin, Yang Liu

CoRR, 2024

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.

Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

SMT Solver With Hardware Acceleration.

Yean-Ru Chen, Si-Han Chen, Shangwei Lin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023

Machine Learning for Actionable Warning Identification: A Comprehensive Survey.

Xiuting Ge, Chunrong Fang, Xuanye Li, Weisong Sun, Daoyuan Wu, Juan Zhai, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen

CoRR, 2023

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation.

Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo

CoRR, 2023

A Quantum SMT Solver for Bit-Vector Theory.

Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang, Yean-Ru Chen

CoRR, 2023

An Automatic Test Plan Generation Approach for Automotive Software Testing.

Yushi Cao, Yanran Li, Yon Shin Teo, Yan Zheng, Zhexin Liang, Shang-Wei Lin

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2023

Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing.

Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun, Shang-Wei Lin

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack.

Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Shang-Wei Lin, Wei Feng, Weisi Lin, Yang Liu

IEEE Trans. Multim., 2022

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

Haijun Wang, Ye Liu, Yi Li, Shangwei Lin, Cyrille Artho, Lei Ma, Yang Liu

IEEE Trans. Dependable Secur. Comput., 2022

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic.

Xuan-Bach Le, Shang-Wei Lin, Jun Sun, David Sanán

Proc. ACM Program. Lang., 2022

A Survey of Smart Contract Formal Specification and Verification.

Palina Tolmach, Yi Li, Shangwei Lin, Yang Liu, Zengxiang Li

ACM Comput. Surv., 2022

Enhancing Security Patch Identification by Capturing Structures in Commits.

Bozhi Wu, Shangqing Liu, Ruitao Feng, Xiaofei Xie, Jing Kai Siow, Shang-Wei Lin

CoRR, 2022

A Holistic Automated Software Structure Exploration Framework for Testing.

Yushi Cao, Yon Shin Teo, Yan Zheng, Yuxuan Toh, Shang-Wei Lin

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2022

SolSEE: a source-level symbolic execution engine for solidity.

Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Property-Based Automated Repair of DeFi Protocols.

Palina Tolmach, Yi Li, Shang-Wei Lin

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Finding permission bugs in smart contracts with role mining.

Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

CSim^<i>2</i>: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee.

David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu

ACM Trans. Program. Lang. Syst., 2021

A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices.

Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin, Yang Liu

IEEE Trans. Inf. Forensics Secur., 2021

A security type verifier for smart contracts.

Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao

Comput. Secur., 2021

Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning.

Yushi Cao, Yan Zheng, Shang-Wei Lin, Yang Liu, Yon Shin Teo, Yuxuan Toh, Vinay Vishnumurthy Adiga

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Formal Analysis of Composable DeFi Protocols.

Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2020

SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices.

Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu

CoRR, 2020

Adversarial Exposure Attack on Diabetic Retinopathy Imagery.

Yupeng Cheng, Felix Juefei-Xu, Qing Guo, Huazhu Fu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Yang Liu

CoRR, 2020

Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack.

Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Wei Feng, Yang Liu

CoRR, 2020

A distributed method to avoid higher-order deadlocks in multi-robot systems.

Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding

Autom., 2020

Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity.

Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

ModCon: a model-based testing platform for smart contracts.

Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Towards automated verification of smart contract fairness.

Ye Liu, Yi Li, Shang-Wei Lin, Rong Zhao

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Defense for adversarial videos by self-adaptive JPEG compression and optical texture.

Yupeng Cheng, Xingxing Wei, Huazhu Fu, Shang-Wei Lin, Weisi Lin

Proceedings of the MMAsia 2020: ACM Multimedia Asia, 2020

Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications.

Xuan-Bach Le, David Sanán, Jun Sun, Shang-Wei Lin

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices.

Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

A Generalized Formal Semantic Framework for Smart Contracts.

Jiao Jiao, Shang-Wei Lin, Jun Sun

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems.

Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding

IEEE Trans. Syst. Man Cybern. Syst., 2019

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu

CoRR, 2019

A Neural Model for Method Name Generation from Functional Description.

Sa Gao, Chunyang Chen, Zhenchang Xing, Yukun Ma, Wen Song, Shang-Wei Lin

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Locating vulnerabilities in binaries via memory layout recovering.

Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, Ting Liu

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Learning Performance Optimization from Code Changes for Android Apps.

Ruitao Feng, Guozhu Meng, Xiaofei Xie, Ting Su, Yang Liu, Shang-Wei Lin

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Vultron: catching vulnerable smart contracts once and for all.

Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

A Performance-Sensitive Malware Detection System on Mobile Platform.

Ruitao Feng, Yang Liu, Shangwei Lin

Proceedings of the Formal Methods and Software Engineering, 2019

MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform.

Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu, Shang-Wei Lin

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

The language preservation problem is undecidable for parametric event-recording automata.

Étienne André, Shang-Wei Lin

Inf. Process. Lett., 2018

APIReal: an API recognition and linking approach for online developer forums.

Deheng Ye, Lingfeng Bao, Zhenchang Xing, Shang-Wei Lin

Empir. Softw. Eng., 2018

K-Rust: An Executable Formal Semantics for Rust.

Shuanglong Kan, David Sanán, Shang-Wei Lin, Yang Liu

CoRR, 2018

Executable Operational Semantics of Solidity.

Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun

CoRR, 2018

A distributed approach to robust control of multi-robot systems.

Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding

Autom., 2018

Quasi-Open Bisimilarity with Mismatch is Intuitionistic.

Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Compositional Reasoning for Shared-Variable Concurrent Programs.

Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

HDSKG: Harvesting domain specific knowledge graph from content of webpages.

Xuejiao Zhao, Zhenchang Xing, Muhammad Ashad Kabir, Naoya Sawada, Jing Li, Shang-Wei Lin

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Loopster: static loop termination analysis.

Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, Xiaohong Li

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Steelix: program-state based binary fuzzing.

Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, Alwen Tiu

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers.

Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Automatic loop-invariant generation and refinement through selective sampling.

Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking.

Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Learning-Based Compositional Parameter Synthesis for Event-Recording Automata.

Étienne André, Shang-Wei Lin

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Process Patterns: Reusable Design Artifacts for Business Process Models.

Muhammad Ashad Kabir, Zhenchang Xing, Prakash Chandrasekaran, Shang-Wei Lin

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

From verified model to executable program: the PAT approach.

Huiquan Zhu, Jing Sun, Jin Song Dong, Shang-Wei Lin

Innov. Syst. Softw. Eng., 2016

Compositional Reasoning for Shared-variable Concurrent Programs.

Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun

CoRR, 2016

Engineering Socially-Aware Systems and Applications.

Muhammad Ashad Kabir, Jun Han, Alan W. Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

TLV: abstraction through testing, learning, and validation.

Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Interpolation Guided Compositional Verification (T).

Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Learning Assumptions for CompositionalVerification of Timed Systems.

Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, Jin Song Dong

IEEE Trans. Software Eng., 2014

Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning.

Shang-Wei Lin, Pao-Ann Hsiung

Proceedings of the FM 2014: Formal Methods, 2014

Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions.

Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

TzuYu: Learning stateful typestates.

Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, Chengnian Sun

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Generating C# Programs from CSP# Models.

Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems.

Étienne André, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

CELL: A Compositional Verification Framework.

Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Model Checking Prioritized Timed Systems.

Shang-Wei Lin, Pao-Ann Hsiung

IEEE Trans. Computers, 2012

Automatic Generation of Provably Correct Embedded Systems.

Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2012

Automatic Compositional Verification of Timed Systems.

Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André

Proceedings of the FM 2012: Formal Methods, 2012

2011

Counterexample-Guided Assume-Guarantee Synthesis through Learning.

Shang-Wei Lin, Pao-Ann Hsiung

IEEE Trans. Computers, 2011

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development.

Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung

J. Comput. Sci. Technol., 2011

An Efficient Algorithm for Learning Event-Recording Automata.

Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Real-Time Embedded Software Design for Mobile and Ubiquitous Systems.

Pao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin

J. Signal Process. Syst., 2010

2009

Modeling and verification of real-time embedded systems with urgency.

Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu

J. Syst. Softw., 2009

Model-driven development of multi-core embedded software.

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

Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, 2009

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development.

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

Proceedings of the Algorithms and Architectures for Parallel Processing, 2009

2008

Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems.

Pao-Ann Hsiung, Shang-Wei Lin

Comput. Lang. Syst. Struct., 2008

2007

From ISA to application design via RTOS - a course design framework for embedded software.

Pao-Ann Hsiung, Shang-Wei Lin

Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

Real-Time Embedded Software Design for Mobile and Ubiquitous Systems.

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

Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007

2006

Model Checking Timed Systems with Urgencies.

Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Model Checking Timed Systems with Priorities.

Pao-Ann Hsiung, Shang-Wei Lin

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Model Checking Prioritized Timed Automata.

Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.

Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See

IEEE Trans. Software Eng., 2004

Automatic Synthesis and Verification of Real-Time Embedded Software.

Pao-Ann Hsiung, Shang-Wei Lin

Proceedings of the Embedded and Ubiquitous Computing, 2004

Formal Design and Verification of Real-Time Embedded Software.

Pao-Ann Hsiung, Shang-Wei Lin

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004