Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions. - Chang-Ai Sun; Yunwei Dong; Richard Lai 001; Kwan Yong Sim; Tsong Yueh Chen (CIT, 2006)

On Designing and Verifying Smart Home Embedded Software Model Based on AADL. - Wei Song; Yunwei Dong (FGCN (2), 2008)

A Novel Model for Component-Based Software Reliability Analysis. - Fan Zhang 099; Xingshe Zhou 001; Junwen Chen; Yunwei Dong (HASE, 2008)

On Partitioning the Domain for Test Case Reusability (Short Paper). - Yunwei Dong; M. F. Lau; Si-yu Lin (QSIC, 2008)

Consider of fault propagation in architecture-based software reliability analysis. - Fan Zhang 099; Xingshe Zhou 001; Yunwei Dong; Junwen Chen (AICCSA, 2009)

An Improved Path-Based Reliability Prediction Model for Component-Based Embedded Software. - Changde Li; Xingshe Zhou 001; Yuying Wang; Yunwei Dong (FCST, 2009)

A Formal Model for Component-Based Embedded Software Development. - Changde Li; Xingshe Zhou 001; Yunwei Dong; Zhiwen Yu 001 (ICESS, 2009)

On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL. - Xiao Wu; Heng Ling; Yunwei Dong (ICESS, 2009)

A Model-Based Testing for AADL Model of Embedded Software. - Yunwei Dong; Geng Wang; Hong-bing Zhao (QSIC, 2009)

A MDA-Based Approach for General Embedded Software Simulation Platform. - Yuying Wang; Xingshe Zhou 001; Yunwei Dong; Changde Li (ScalCom-EmbeddedCom, 2009)

Studying on AADL-Based Architecture Abstraction of Embedded Software. - Geng Wang; Xingshe Zhou 001; Yunwei Dong; Hong-bing Zhao (ScalCom-EmbeddedCom, 2009)

Design and implementation of configurable simulation system for embedded software based on MDA. - Xiang Ji; Yunwei Dong; Yuying Wang; Hong-bing Zhao (SummerSim, 2010)

Experiments on Test Case Reuse of Test Coverage Criteria. - Yunwei Dong; Yuying Wang; M. F. Lau; Si-yu Lin (UIC/ATC Workshops, 2010)

An Integrated PLC Smart Home System in Pervasive Computing. - Yunwei Dong; Bo Zhang; Kang Dong (UIC/ATC Workshops, 2010)

A Configurable Environment Simulation Tool for Embedded Software. - Yuying Wang; Xingshe Zhou 001; Yunwei Dong; Sha Liu (ATC, 2011)

Research on Modeling and Analysis of CPS. - Yu Zhang 034; Yunwei Dong; Fan Zhang 099; Yunfeng Zhang (ATC, 2011)

A Methodology of Model-Based Testing for AADL Flow Latency in CPS. - Yufeng Zhu; Yunwei Dong; Chunyan Ma; Fan Zhang 099 (SSIRI (Companion), 2011)

Formal Semantics of AADL Models with Machine-Readable CSP. - Chunxin Yang; Yunwei Dong; Fan Zhang 099; Ehsan Ahmad; Bin Gu (ACIS-ICIS, 2012)

A Cyber-physical Energy System Architecture for Electric Vehicles Charging Application. - Yongqi Ge; Yunwei Dong; Hong-bing Zhao (QSIC, 2012)

On Reliability Analysis for Embedded Systems with AADL Behavior Model. - Shaofeng Chang; Yunwei Dong; Fan Zhang 099 (QSIC, 2012)

Design and Implementation of AADL Model Safety Assessment Tool. - Hong-bing Zhao; Deming Song; Yunwei Dong (QSIC, 2012)

Study of Safety Analysis and Assessment Methodology for AADL Model. - Deming Song; Yunwei Dong; Fan Zhang 099; Hong Huo; Bin Gu (SERE (Companion), 2012)

On Enhancing Adaptive Random Testing for AADL Model. - Bo Sun; Yunwei Dong; Hong Ye (UIC/ATC, 2012)

An If-While-If Model-Based Performance Evaluation of Ranking Metrics for Spectra-Based Fault Localization. - Chunyan Ma; Tian Tan 001; Yibo Chen; Yunwei Dong (COMPSAC, 2013)

Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems. - Yu Zhang 034; Fei Xie; Yunwei Dong; Xingshe Zhou 001; Chunyan Ma (COMPSAC, 2013)

On Schedulability Analysis for Embedded Systems with AADL Model. - Yunwei Dong; Yao Cheng; Tingting Wu; Hong Ye (QSIC, 2013)

A High Reliable Communication Technology in Electric Vehicle Charging Station. - Xiaona Wu; Yunwei Dong; Yongqi Ge; Hongbin Zhao (SERE (Companion), 2013)

High fidelity Virtualization of Cyber-Physical Systems. - Yu Zhang 034; Fei Xie; Yunwei Dong; Gang Yang 008; Xingshe Zhou 001 (Int. J. Model. Simul. Sci. Comput., 2013)

Formal Specification and Transformation Method of System Requirements from B Method to AADL Model. - Tingting Wu; Yunwei Dong; Ning Hu (CSE, 2014)

Adding Formal Meanings to AADL with Hybrid Annex. - Ehsan Ahmad; Yunwei Dong; Shuling Wang 003; Naijun Zhan; Liang Zou (FACS, 2014)

Bounded Model Checking of Hybrid Automata Pushdown System. - Yu Zhang 034; Yunwei Dong; Fei Xie (QSIC, 2014)

Hazard analysis for AADL model. - Xiaomin Wei; Yunwei Dong; Mengmeng Yang; Ning Hu; Hong Ye (RTCSA, 2014)

Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. - Ehsan Ahmad; Brian R. Larson; Stephen C. Barrett; Naijun Zhan; Yunwei Dong (HILT, 2014)

A Qualitative Safety Analysis Method for AADL Model. - Bin Gu; Yunwei Dong; Xiaomin Wei (SERE (Companion), 2014)

Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems. - Yongqi Ge; Yunwei Dong; Hong-bing Zhao (TASE, 2014)

On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink. - Yunwei Dong; Zhe Li; Dave Towey (QRS, 2015)

The Legitimacy Detection for Multilevel Hybrid Cloud Algorithm Based Data Access. - Na Li; Yunwei Dong; Tianwei Che; Chao Wang 085; Yang Gao (QRS Companion, 2015)

QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model. - Xiaomin Wei; Yunwei Dong; Hong Ye (TASE, 2015)

A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model. - Yunwei Dong; Zhe Li; Yibo Cheng; Hongbin Zhao (TSA, 2015)

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL. - Ehsan Ahmad; Yunwei Dong; Brian R. Larson; Jidong Lü; Tao Tang 004; Naijun Zhan (Sci. China Inf. Sci., 2015)

A Co-Simulation Interface for Cyber-Physical Systems. - Yu Zhang 071; Yunwei Dong; Wenlong Feng; Mengxing Huang (ICESS, 2016)

A Wireless Power Transfer CPS Based on 2D Omni-directional Rotating Magnetic Field. - Pengpeng Sun; Yunwei Dong; Hong Ye; Hongbin Zhao (QRS Companion, 2016)

Safety Awareness Online Detection System of Driving Behavior Based on Software and Hardware Co-design. - Jihu Zhang; Haipeng Wang; Wu Liu; Yan Gong; Yunwei Dong; Xiaochuan Jing; Wei Zhang (QRS Companion, 2016)

Metamorphic testing as a test case selection strategy. - Dave Towey; Yunwei Dong; Chang-Ai Sun; Tsong Yueh Chen (Sci. China Inf. Sci., 2016)

Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence. - Tingting Wu; Yunwei Dong; Tsong Yueh Chen; Mingyue Jiang; Man Fai Lau; Fei-Ching Kuo; Sebastian Ng (ICFEM, 2017)

A Model Driven Approach for Device Driver Development. - Yunwei Dong; Yuanyuan He; Yin Lu; Hong Ye (QRS Companion, 2017)

Overview: System Architecture Virtual Integration based on an AADL Model. - Yunwei Dong; Xiaomin Wei; Mingrui Xiao (Symposium on Real-Time and Hybrid Systems, 2018)

A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models. - Yin Lu; Yunwei Dong; Xiaomin Wei; Mingrui Xiao (QRS Companion, 2018)

Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model. - Xiaomin Wei; Yunwei Dong; Mingrui Xiao (QRS Companion, 2018)

Architecture-level hazard analysis using AADL. - Xiaomin Wei; Yunwei Dong; Xue-Lin Li; W. Eric Wong (J. Syst. Softw., 2018)

AADL Vulnerability Modeling and Security Analysis Method. - Yang Cao; Yunwei Dong; Xiaomin Wei; Xiao Wu (QRS Companion, 2019)

On Vulnerability Analysis of Nodes against Cross-domain Cascading Failures Propagation in Active Distribution Network Cyber-physical System. - Pengpeng Sun; Yunwei Dong (DSA, 2020)

Cascading Failure Path Prediction based on Association Rules in Cyber-Physical Active Distribution Networks. - Chong Wang; Yunwei Dong; Pengpeng Sun; Yin Lu (QRS Companion, 2020)

Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL. - Mingrui Xiao; Yunwei Dong; Qian-wen Gou; Feng Xue; Yong-Hua Chen (Frontiers Inf. Technol. Electron. Eng., 2020)

Architecture-Level Schedulability Analysis with IO Constraint using AADL. - Yunwei Dong; Qian-wen Gou; Pei Tang (DSA, 2021)

On Schedulability Analysis of AADL Architecture with Storage Resource Constraint. - Yin Lu; Shudong Qin; Leqi Xi; Yunwei Dong (Int. J. Softw. Informatics, 2021)

Modeling and Discovering Data Race with Concurrent Code Property Graphs. - Yang Cao; Yunwei Dong (QRS Companion, 2023)

Software issues report for bug fixing process: An empirical study of machine-learning libraries. - Adekunle Ajibode; Yunwei Dong; Hongji Yang (CoRR, 2023)

Adv-BDPM: Adversarial attack based on Boundary Diffusion Probability Model. - Dian Zhang; Yunwei Dong (Neural Networks, 2023)

A Scenario Model-driven Task Planning Method for Unmanned Aerial Vehicle Swarm. - Yunwei Dong; Zeshan Li; Ruiheng Zhang 002; Rubing Huang; Tao Wang 082 (Internetware, 2024)

Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm. - Manqing Zhang; Renliang Wu; Kang Su; Yunwei Dong; Tao Zhang 001 (QRS, 2024)

ReCo: A Modular Neural Framework for Automatically Recommending Connections in Software Models. - Haoyu Liu; Yunwei Dong; Qiao Ke; Zhiyang Zhou (SANER, 2024)

Sample-analysis based adversarial attack with saliency map. - Dian Zhang; Yunwei Dong; Yun Yang 001 (Appl. Soft Comput., 2024)

Safety Analysis for Mixed-criticality System with Random Errors and Burst Errors Based on AADL. - Xiaomin Wei; Yunwei Dong; Cong Sun 001; Xinghua Li 001; Jianfeng Ma 001 (Int. J. Softw. Informatics, 2024)

Code generation for Security and Stability Control System based on extended reactive component. - Qian-wen Gou; Yunwei Dong; Bo Shen (J. Syst. Archit., 2024)

SynthoMinds: Bridging human programming intuition with retrieval, analogy, and reasoning in program synthesis. - Qian-wen Gou; Yunwei Dong; Qiao Ke (J. Syst. Softw., 2024)

RRGcode: Deep hierarchical search-based code generation. - Qian-wen Gou; Yunwei Dong; YuJiao Wu; Qiao Ke (J. Syst. Softw., 2024)

An adversarial defense algorithm based on robust U-net. - Dian Zhang; Yunwei Dong; Hongji Yang (Multim. Tools Appl., 2024)

Semantic similarity-based program retrieval: a multi-relational graph perspective. - Qian-wen Gou; Yunwei Dong; YuJiao Wu; Qiao Ke (Frontiers Comput. Sci., 2024)

Vulnerability detection based on transformer and high-quality number embedding. - Yang Cao; Yunwei Dong; Jiajie Peng (Concurr. Comput. Pract. Exp., 2024)

Visual defect recognition with stationary wavelet transform based neural networks. - Qiang Cui; Yafeng Li; Hongwei Bian; Jie Kong; Yunwei Dong (Digit. Signal Process., 2025)

Multi-source cross-domain vulnerability detection based on code pre-trained model. - Yang Cao; Yunwei Dong (Inf. Softw. Technol., 2025)

Modeling and verifying resources and capabilities of ubiquitous scenarios for Unmanned Aerial Vehicle swarm. - Manqing Zhang; Yunwei Dong; Tao Zhang 001; Kang Su; Zeshan Li (J. Syst. Softw., 2025)

MAE-MACD: The Masked Adversarial Contrastive Distillation Algorithm Grounded in Masked Autoencoders. - Dian Zhang; Yunwei Dong (IEEE Trans. Ind. Informatics, 2025)

BugRepro: Enhancing Android Bug Reproduction with Domain-Specific Knowledge Integration. - Hongrong Yin; Jinhong Huang; Yao Li 017; Yunwei Dong; Tao Zhang 001 (CoRR, 2025)

Cross-Domain Multi-Label Prediction of Metamorphic Relation Patterns Leveraging Multimodal Features. - Zhenqiu Li; Tingting Wu; Sihui Chen; Mingyue Jiang; Zuohua Ding; Yunwei Dong (J. Electron. Test., 2025)