Shang-Wei Lin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
38
Venues
23
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
38 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Shift-Left Requirements Verification: Integrating LLMs and Formal Methods for Automotive Systems. | Zi Pong Lim, Bozhi Wu, Yon Shin Teo, Shang-Wei Lin, Yi Li |
| 2024 | ICML | Improving Neural Logic Machines via Failure Reflection. | 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 | TACAS | A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. | Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sann, Yon Shin Teo |
| 2023 | SoMeT | An Automatic Test Plan Generation Approach for Automotive Software Testing. | Yushi Cao, Yanran Li, Yon Shin Teo, Yan Zheng, Zhexin Liang, Shang-Wei Lin |
| 2022 | ISSTA | Finding permission bugs in smart contracts with role mining. | Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho |
| 2022 | SoMeT | A Holistic Automated Software Structure Exploration Framework for Testing. | Yushi Cao, Yon Shin Teo, Yan Zheng, Yuxuan Toh, Shang-Wei Lin |
| 2021 | FC | Formal Analysis of Composable DeFi Protocols. | Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu |
| 2020 | FASE | A Generalized Formal Semantic Framework for Smart Contracts. | Jiao Jiao, Shang-Wei Lin, Jun Sun |
| 2020 | ICECCS | 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 |
| 2020 | ICECCS | Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. | Xuan-Bach Le, David Sann, Jun Sun, Shang-Wei Lin |
| 2020 | SP | Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. | Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sann, Yang Liu, Jun Sun |
| 2019 | ICECCS | 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 |
| 2019 | ICSE | Vultron: catching vulnerable smart contracts once and for all. | Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu |
| 2019 | ICST | Learning Performance Optimization from Code Changes for Android Apps. | Ruitao Feng, Guozhu Meng, Xiaofei Xie, Ting Su, Yang Liu, Shang-Wei Lin |
| 2018 | FM | Compositional Reasoning for Shared-Variable Concurrent Programs. | Fuyuan Zhang, Yongwang Zhao, David Sann, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun |
| 2018 | LICS | Quasi-Open Bisimilarity with Mismatch is Intuitionistic. | Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu |
| 2017 | COMPSAC | Process Patterns: Reusable Design Artifacts for Business Process Models. | Muhammad Ashad Kabir, Zhenchang Xing, Prakash Chandrasekaran, Shang-Wei Lin |
| 2017 | FORTE | Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. | tienne Andr, Shang-Wei Lin |
| 2017 | ICECCS | Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking. | Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin |
| 2016 | ICECCS | Engineering Socially-Aware Systems and Applications. | Muhammad Ashad Kabir, Jun Han, Alan W. Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin |
| 2014 | CAV | 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 |
| 2014 | FM | Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. | Shang-Wei Lin, Pao-Ann Hsiung |
| 2013 | ATVA | CELL: A Compositional Verification Framework. | Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen |
| 2013 | CAV | PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. | tienne Andr, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin |
| 2013 | IC2E | From Monolithic Systems to a Federated e-Learning Cloud System. | Mon-Yen Luo, Shang-Wei Lin |
| 2013 | ICST | Generating C# Programs from CSP# Models. | Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin |
| 2012 | FM | Automatic Compositional Verification of Timed Systems. | Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, tienne Andr |
| 2012 | ICFEM | Automatic Generation of Provably Correct Embedded Systems. | Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong |
| 2011 | ATVA | An Efficient Algorithm for Learning Event-Recording Automata. | Shang-Wei Lin, tienne Andr, Jin Song Dong, Jun Sun, Yang Liu |
| 2009 | ICA3PP | 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 |
| 2009 | ICSE | 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 |
| 2007 | EUC | 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 |
| 2007 | ICPADS | From ISA to application design via RTOS - a course design framework for embedded software. | Pao-Ann Hsiung, Shang-Wei Lin |
| 2006 | ATVA | 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 |
| 2005 | ATVA | Model Checking Prioritized Timed Automata. | Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen |
| 2005 | RTCSA | Model Checking Timed Systems with Priorities. | Pao-Ann Hsiung, Shang-Wei Lin |
| 2004 | APLAS | Formal Design and Verification of Real-Time Embedded Software. | Pao-Ann Hsiung, Shang-Wei Lin |
| 2004 | EUC | Automatic Synthesis and Verification of Real-Time Embedded Software. | Pao-Ann Hsiung, Shang-Wei Lin |