


default search action
Shangwei Lin 0001
Person information
- affiliation: Nanyang Technological University, College of Engineering, Singapore
- affiliation (former): National Chung Cheng University, Chiayi, Taiwan
Other persons with the same name
- Shangwei Lin (aka: Shang-Wei Lin) — disambiguation page
- Shangwei Lin 0002
— Shanxi University, School of Mathematical Sciences, China
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j26]Xiuting Ge
, Chunrong Fang
, Xuanye Li
, Weisong Sun
, Daoyuan Wu
, Juan Zhai
, Shang-Wei Lin
, Zhihong Zhao
, Yang Liu
, Zhenyu Chen
:
Machine Learning for Actionable Warning Identification: A Comprehensive Survey. ACM Comput. Surv. 57(2): 39:1-39:35 (2025) - [j25]Yupeng Cheng
, Qing Guo
, Felix Juefei-Xu
, Huazhu Fu
, Shangwei Lin
, Weisi Lin
:
Adversarial Exposure Attack on Diabetic Retinopathy Imagery Grading. IEEE J. Biomed. Health Informatics 29(1): 297-309 (2025) - 2024
- [j24]Yanran Li
, Yan Zheng
, Yon Shin Teo
, Shangwei Lin
:
Is AI testing beneficial for the manufacturer and social welfare? Optimal test strategy of a smart product. Expert Syst. Appl. 241: 122637 (2024) - [j23]Yuan Zhou
, Hesuan Hu
, Gelei Deng, Kun Cheng
, Shang-Wei Lin
, Yang Liu
, Zuohua Ding
:
Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control. IEEE Trans. Syst. Man Cybern. Syst. 54(2): 997-1010 (2024) - [c55]Zhiming Li, Yushi Cao, Yan Zheng, Xu Liu, Bozhi Wu, Tianlin Li, Xiufeng Xu, Junzhe Jiang, Yon Shin Teo, Shang-Wei Lin, Yang Liu:
Improving Neural Logic Machines via Failure Reflection. ICML 2024 - [c54]Zhiming Li
, Yushi Cao
, Xiufeng Xu
, Junzhe Jiang
, Xu Liu
, Yon Shin Teo
, Shang-Wei Lin
, Yang Liu
:
LLMs for Relational Reasoning: How Far are We? LLM4CODE@ICSE 2024: 119-126 - [c53]Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou
, David Sanán, Yon Shin Teo:
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. TACAS (2) 2024: 363-382 - [i18]Zhiming Li, Yushi Cao, Xiufeng Xu, Junzhe Jiang, Xu Liu, Yon Shin Teo, Shang-Wei Lin, Yang Liu:
LLMs for Relational Reasoning: How Far are We? CoRR abs/2401.09042 (2024) - [i17]Xiuting Ge, Chunrong Fang, Quanjun Zhang, Daoyuan Wu, Bowen Yu, Qirui Zheng, An Guo, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen:
Pre-trained Model-based Actionable Warning Identification: A Feasibility Study. CoRR abs/2403.02716 (2024) - [i16]Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu:
FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools. CoRR abs/2403.16032 (2024) - 2023
- [j22]Yean-Ru Chen
, Si-Han Chen
, Shangwei Lin
:
SMT Solver With Hardware Acceleration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(6): 2055-2068 (2023) - [c52]Bozhi Wu
, Shangqing Liu
, Yang Xiao
, Zhiming Li
, Jun Sun
, Shang-Wei Lin
:
Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing. ESEC/SIGSOFT FSE 2023: 1371-1383 - [c51]Yushi Cao, Yanran Li, Yon Shin Teo, Yan Zheng, Zhexin Liang, Shang-Wei Lin:
An Automatic Test Plan Generation Approach for Automotive Software Testing. SoMeT 2023: 18-27 - [i15]Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang, Yean-Ru Chen:
A Quantum SMT Solver for Bit-Vector Theory. CoRR abs/2303.09353 (2023) - [i14]Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo:
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation. CoRR abs/2308.03344 (2023) - [i13]Xiuting Ge, Chunrong Fang, Xuanye Li, Weisong Sun, Daoyuan Wu, Juan Zhai
, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen:
Machine Learning for Actionable Warning Identification: A Comprehensive Survey. CoRR abs/2312.00324 (2023) - 2022
- [j21]Palina Tolmach
, Yi Li, Shangwei Lin, Yang Liu, Zengxiang Li:
A Survey of Smart Contract Formal Specification and Verification. ACM Comput. Surv. 54(7): 148:1-148:38 (2022) - [j20]Xuan-Bach Le, Shang-Wei Lin, Jun Sun
, David Sanán:
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic. Proc. ACM Program. Lang. 6(POPL): 1-27 (2022) - [j19]Haijun Wang, Ye Liu
, Yi Li
, Shangwei Lin
, Cyrille Artho
, Lei Ma
, Yang Liu
:
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. IEEE Trans. Dependable Secur. Comput. 19(3): 1795-1809 (2022) - [j18]Yupeng Cheng
, Qing Guo
, Felix Juefei-Xu
, Shang-Wei Lin
, Wei Feng
, Weisi Lin
, Yang Liu
:
Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack. IEEE Trans. Multim. 24: 3807-3822 (2022) - [c50]Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho:
Finding permission bugs in smart contracts with role mining. ISSTA 2022: 716-727 - [c49]Palina Tolmach
, Yi Li
, Shang-Wei Lin
:
Property-Based Automated Repair of DeFi Protocols. ASE 2022: 184:1-184:5 - [c48]Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li:
SolSEE: a source-level symbolic execution engine for solidity. ESEC/SIGSOFT FSE 2022: 1687-1691 - [c47]Yushi Cao, Yon Shin Teo, Yan Zheng, Yuxuan Toh, Shang-Wei Lin:
A Holistic Automated Software Structure Exploration Framework for Testing. SoMeT 2022: 286-297 - [i12]Bozhi Wu, Shangqing Liu, Ruitao Feng, Xiaofei Xie
, Jing Kai Siow, Shang-Wei Lin:
Enhancing Security Patch Identification by Capturing Structures in Commits. CoRR abs/2207.09022 (2022) - 2021
- [j17]Xinwen Hu
, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao:
A security type verifier for smart contracts. Comput. Secur. 108: 102343 (2021) - [j16]Ruitao Feng
, Sen Chen
, Xiaofei Xie
, Guozhu Meng
, Shang-Wei Lin
, Yang Liu
:
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices. IEEE Trans. Inf. Forensics Secur. 16: 1563-1578 (2021) - [j15]David Sanán
, Yongwang Zhao, Shang-Wei Lin, Yang Liu
:
CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. ACM Trans. Program. Lang. Syst. 43(1): 2:1-2:46 (2021) - [c46]Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu
:
Formal Analysis of Composable DeFi Protocols. Financial Cryptography Workshops 2021: 149-161 - [c45]Yushi Cao, Yan Zheng, Shang-Wei Lin, Yang Liu
, Yon Shin Teo, Yuxuan Toh, Vinay Vishnumurthy Adiga:
Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning. ASE 2021: 1151-1155 - [i11]Palina Tolmach
, Yi Li, Shang-Wei Lin, Yang Liu:
Formal Analysis of Composable DeFi Protocols. CoRR abs/2103.00540 (2021) - 2020
- [j14]Yuan Zhou
, Hesuan Hu, Yang Liu
, Shang-Wei Lin
, Zuohua Ding:
A distributed method to avoid higher-order deadlocks in multi-robot systems. Autom. 112 (2020) - [c44]Jiao Jiao
, Shang-Wei Lin
, Jun Sun
:
A Generalized Formal Semantic Framework for Smart Contracts. FASE 2020: 75-96 - [c43]Xuan-Bach Le, David Sanán
, Jun Sun, Shang-Wei Lin:
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. ICECCS 2020: 43-52 - [c42]Ruitao Feng
, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu
:
SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices. ICECCS 2020: 63-72 - [c41]Yupeng Cheng, Xingxing Wei, Huazhu Fu, Shang-Wei Lin, Weisi Lin:
Defense for adversarial videos by self-adaptive JPEG compression and optical texture. MMAsia 2020: 55:1-55:7 - [c40]Ye Liu, Yi Li
, Shang-Wei Lin, Rong Zhao:
Towards automated verification of smart contract fairness. ESEC/SIGSOFT FSE 2020: 666-677 - [c39]Ye Liu, Yi Li
, Shang-Wei Lin, Qiang Yan:
ModCon: a model-based testing platform for smart contracts. ESEC/SIGSOFT FSE 2020: 1601-1605 - [c38]Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán
, Yang Liu
, Jun Sun:
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. SP 2020: 1695-1712 - [e2]Shang-Wei Lin
, Zhe Hou
, Brendan P. Mahony:
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings. Lecture Notes in Computer Science 12531, Springer 2020, ISBN 978-3-030-63405-6 [contents] - [i10]Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin, Yang Liu:
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices. CoRR abs/2005.04970 (2020) - [i9]Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Wei Feng, Yang Liu:
Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack. CoRR abs/2007.07097 (2020) - [i8]Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li:
A Survey of Smart Contract Formal Specification and Verification. CoRR abs/2008.02712 (2020) - [i7]Yupeng Cheng, Felix Juefei-Xu, Qing Guo, Huazhu Fu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Yang Liu:
Adversarial Exposure Attack on Diabetic Retinopathy Imagery. CoRR abs/2009.09231 (2020) - [i6]Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu:
SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices. CoRR abs/2011.05218 (2020)
2010 – 2019
- 2019
- [j13]Yuan Zhou
, Hesuan Hu
, Yang Liu
, Shang-Wei Lin
, Zuohua Ding
:
A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems. IEEE Trans. Syst. Man Cybern. Syst. 49(12): 2636-2650 (2019) - [c37]Ruitao Feng
, Sen Chen, Xiaofei Xie
, Lei Ma, Guozhu Meng, Yang Liu
, Shang-Wei Lin
:
MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform. ICECCS 2019: 61-70 - [c36]Ruitao Feng
, Yang Liu
, Shangwei Lin
:
A Performance-Sensitive Malware Detection System on Mobile Platform. ICFEM 2019: 493-497 - [c35]Haijun Wang, Yi Li
, Shang-Wei Lin
, Lei Ma, Yang Liu
:
Vultron: catching vulnerable smart contracts once and for all. ICSE (NIER) 2019: 1-4 - [c34]Ruitao Feng
, Guozhu Meng, Xiaofei Xie
, Ting Su, Yang Liu
, Shang-Wei Lin
:
Learning Performance Optimization from Code Changes for Android Apps. ICST Workshops 2019: 285-290 - [c33]Haijun Wang, Xiaofei Xie
, Shang-Wei Lin
, Yun Lin, Yuekang Li
, Shengchao Qin, Yang Liu
, Ting Liu:
Locating vulnerabilities in binaries via memory layout recovering. ESEC/SIGSOFT FSE 2019: 718-728 - [c32]Sa Gao, Chunyang Chen
, Zhenchang Xing, Yukun Ma, Wen Song
, Shang-Wei Lin
:
A Neural Model for Method Name Generation from Functional Description. SANER 2019: 411-421 - [i5]Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu:
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. CoRR abs/1909.06605 (2019) - 2018
- [j12]Yuan Zhou
, Hesuan Hu, Yang Liu
, Shang-Wei Lin
, Zuohua Ding:
A distributed approach to robust control of multi-robot systems. Autom. 98: 1-13 (2018) - [j11]Deheng Ye, Lingfeng Bao
, Zhenchang Xing, Shang-Wei Lin
:
APIReal: an API recognition and linking approach for online developer forums. Empir. Softw. Eng. 23(6): 3129-3160 (2018) - [j10]Étienne André
, Shang-Wei Lin
:
The language preservation problem is undecidable for parametric event-recording automata. Inf. Process. Lett. 136: 17-20 (2018) - [c31]Fuyuan Zhang, Yongwang Zhao, David Sanán
, Yang Liu
, Alwen Tiu, Shang-Wei Lin
, Jun Sun:
Compositional Reasoning for Shared-Variable Concurrent Programs. FM 2018: 523-541 - [c30]Ross Horne
, Ki Yung Ahn, Shang-Wei Lin
, Alwen Tiu:
Quasi-Open Bisimilarity with Mismatch is Intuitionistic. LICS 2018: 26-35 - [i4]Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun:
Executable Operational Semantics of Solidity. CoRR abs/1804.01295 (2018) - [i3]Shuanglong Kan, David Sanán, Shang-Wei Lin, Yang Liu:
K-Rust: An Executable Formal Semantics for Rust. CoRR abs/1804.07608 (2018) - [i2]Étienne André, Shang-Wei Lin:
The language preservation problem is undecidable for parametric event-recording automata. CoRR abs/1812.08948 (2018) - 2017
- [c29]Muhammad Ashad Kabir
, Zhenchang Xing, Prakash Chandrasekaran, Shang-Wei Lin
:
Process Patterns: Reusable Design Artifacts for Business Process Models. COMPSAC (1) 2017: 714-721 - [c28]Étienne André
, Shang-Wei Lin
:
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. FORTE 2017: 17-32 - [c27]Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin
:
Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking. ICECCS 2017: 90-99 - [c26]Jiaying Li, Jun Sun
, Li Li, Quang Loc Le, Shang-Wei Lin
:
Automatic loop-invariant generation and refinement through selective sampling. ASE 2017: 782-792 - [c25]Shang-Wei Lin
, Jun Sun
, Hao Xiao, Yang Liu
, David Sanán
, Henri Hansen
:
FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. ASE 2017: 793-803 - [c24]Xiaofei Xie
, Bihuan Chen, Liang Zou, Shang-Wei Lin
, Yang Liu
, Xiaohong Li:
Loopster: static loop termination analysis. ESEC/SIGSOFT FSE 2017: 84-94 - [c23]Yuekang Li
, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin
, Yang Liu
, Alwen Tiu:
Steelix: program-state based binary fuzzing. ESEC/SIGSOFT FSE 2017: 627-637 - [c22]Xuejiao Zhao, Zhenchang Xing, Muhammad Ashad Kabir
, Naoya Sawada, Jing Li, Shang-Wei Lin
:
HDSKG: Harvesting domain specific knowledge graph from content of webpages. SANER 2017: 56-67 - 2016
- [j9]Huiquan Zhu, Jing Sun
, Jin Song Dong, Shang-Wei Lin
:
From verified model to executable program: the PAT approach. Innov. Syst. Softw. Eng. 12(1): 1-26 (2016) - [c21]Muhammad Ashad Kabir
, Jun Han, Alan W. Colman
, Naif R. Aljohani, Mohammed Basheri
, Zhenchang Xing, Shang-Wei Lin
:
Engineering Socially-Aware Systems and Applications. ICECCS 2016: 81-90 - [i1]Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun:
Compositional Reasoning for Shared-variable Concurrent Programs. CoRR abs/1611.00574 (2016) - 2015
- [c20]Shang-Wei Lin
, Jun Sun
, Truong Khanh Nguyen, Yang Liu
, Jin Song Dong:
Interpolation Guided Compositional Verification (T). ASE 2015: 65-74 - [c19]Jun Sun
, Hao Xiao, Yang Liu
, Shang-Wei Lin
, Shengchao Qin
:
TLV: abstraction through testing, learning, and validation. ESEC/SIGSOFT FSE 2015: 698-709 - 2014
- [j8]Shang-Wei Lin
, Étienne André
, Yang Liu
, Jun Sun
, Jin Song Dong:
Learning Assumptions for CompositionalVerification of Timed Systems. IEEE Trans. Software Eng. 40(2): 137-153 (2014) - [c18]Henri Hansen
, Shang-Wei Lin
, Yang Liu
, Truong Khanh Nguyen, Jun Sun
:
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. CAV 2014: 391-406 - [c17]Shang-Wei Lin
, Pao-Ann Hsiung
:
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. FM 2014: 416-431 - [e1]Shang-Wei Lin, Laure Petrucci
:
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014. EPTCS 156, 2014 [contents] - 2013
- [c16]Kun Ji, Yang Liu
, Shang-Wei Lin
, Jun Sun
, Jin Song Dong, Truong Khanh Nguyen:
CELL: A Compositional Verification Framework. ATVA 2013: 474-477 - [c15]Étienne André
, Yang Liu
, Jun Sun
, Jin Song Dong, Shang-Wei Lin
:
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. CAV 2013: 984-989 - [c14]Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa
, Shang-Wei Lin
:
Generating C# Programs from CSP# Models. ICST Workshops 2013: 21-26 - [c13]Hao Xiao, Jun Sun
, Yang Liu
, Shang-Wei Lin
, Chengnian Sun:
TzuYu: Learning stateful typestates. ASE 2013: 432-442 - 2012
- [j7]Shang-Wei Lin
, Pao-Ann Hsiung
:
Model Checking Prioritized Timed Systems. IEEE Trans. Computers 61(6): 843-856 (2012) - [c12]Shang-Wei Lin
, Yang Liu
, Jun Sun
, Jin Song Dong, Étienne André
:
Automatic Compositional Verification of Timed Systems. FM 2012: 272-276 - [c11]Shang-Wei Lin
, Yang Liu
, Pao-Ann Hsiung
, Jun Sun
, Jin Song Dong:
Automatic Generation of Provably Correct Embedded Systems. ICFEM 2012: 214-229 - 2011
- [j6]Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin
, Yean-Ru Chen, Pao-Ann Hsiung
:
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. J. Comput. Sci. Technol. 26(3): 448-462 (2011) - [j5]Shang-Wei Lin
, Pao-Ann Hsiung
:
Counterexample-Guided Assume-Guarantee Synthesis through Learning. IEEE Trans. Computers 60(5): 734-750 (2011) - [c10]Shang-Wei Lin
, Étienne André
, Jin Song Dong, Jun Sun
, Yang Liu
:
An Efficient Algorithm for Learning Event-Recording Automata. ATVA 2011: 463-472 - 2010
- [j4]Pao-Ann Hsiung
, Shang-Wei Lin
, Chao-Sheng Lin:
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. J. Signal Process. Syst. 59(1): 13-32 (2010)
2000 – 2009
- 2009
- [j3]Pao-Ann Hsiung
, Shang-Wei Lin
, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu:
Modeling and verification of real-time embedded systems with urgency. J. Syst. Softw. 82(10): 1627-1641 (2009) - [c9]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:
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. ICA3PP 2009: 303-314 - [c8]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:
Model-driven development of multi-core embedded software. IWMSE@ICSE 2009: 9-16 - 2008
- [j2]Pao-Ann Hsiung
, Shang-Wei Lin
:
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems. Comput. Lang. Syst. Struct. 34(4): 153-169 (2008) - 2007
- [c7]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:
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. EUC 2007: 718-729 - [c6]Pao-Ann Hsiung
, Shang-Wei Lin
:
From ISA to application design via RTOS - a course design framework for embedded software. ICPADS 2007: 1-6 - 2006
- [c5]Pao-Ann Hsiung
, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao:
Model Checking Timed Systems with Urgencies. ATVA 2006: 67-81 - 2005
- [c4]Shang-Wei Lin
, Pao-Ann Hsiung
, Chun-Hsian Huang, Yean-Ru Chen:
Model Checking Prioritized Timed Automata. ATVA 2005: 370-384 - [c3]Pao-Ann Hsiung
, Shang-Wei Lin
:
Model Checking Timed Systems with Priorities. RTCSA 2005: 539-544 - 2004
- [j1]Pao-Ann Hsiung
, Shang-Wei Lin
, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See:
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. IEEE Trans. Software Eng. 30(10): 656-674 (2004) - [c2]Pao-Ann Hsiung
, Shang-Wei Lin:
Formal Design and Verification of Real-Time Embedded Software. APLAS 2004: 382-397 - [c1]Pao-Ann Hsiung
, Shang-Wei Lin:
Automatic Synthesis and Verification of Real-Time Embedded Software. EUC 2004: 12-21
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-10 20:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint