Yunwei Dong

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 31

Top Topics

Relational Graph

Distribution Networks

Safety Analysis

Top Venues

J. Syst. Softw.

Sci. China Inf. Sci.

Publications

Qian-wen Gou, Yunwei Dong, YuJiao Wu, Qiao Ke
RRGcode: Deep hierarchical search-based code generation. J. Syst. Softw. 211 (2024)
Qian-wen Gou, Yunwei Dong, YuJiao Wu, Qiao Ke
Semantic similarity-based program retrieval: a multi-relational graph perspective. Frontiers Comput. Sci. 18 (3) (2024)
Yunwei Dong, Zeshan Li, Ruiheng Zhang, Rubing Huang, Tao Wang
A Scenario Model-driven Task Planning Method for Unmanned Aerial Vehicle Swarm. Internetware (2024)
Dian Zhang, Yunwei Dong, Yun Yang
Sample-analysis based adversarial attack with saliency map. Appl. Soft Comput. 161 (2024)
Haoyu Liu, Yunwei Dong, Qiao Ke, Zhiyang Zhou
ReCo: A Modular Neural Framework for Automatically Recommending Connections in Software Models. SANER (2024)
Qian-wen Gou, Yunwei Dong, Qiao Ke
SynthoMinds: Bridging human programming intuition with retrieval, analogy, and reasoning in program synthesis. J. Syst. Softw. 216 (2024)
Qian-wen Gou, Yunwei Dong, Bo Shen
Code generation for Security and Stability Control System based on extended reactive component. J. Syst. Archit. 148 (2024)
Dian Zhang, Yunwei Dong, Hongji Yang
An adversarial defense algorithm based on robust U-net. Multim. Tools Appl. 83 (15) (2024)
Yang Cao, Yunwei Dong
Modeling and Discovering Data Race with Concurrent Code Property Graphs. QRS Companion (2023)
Adekunle Ajibode, Yunwei Dong, Hongji Yang
Software issues report for bug fixing process: An empirical study of machine-learning libraries. CoRR (2023)
Dian Zhang, Yunwei Dong
Adv-BDPM: Adversarial attack based on Boundary Diffusion Probability Model. Neural Networks 167 (2023)
Yunwei Dong, Qian-wen Gou, Pei Tang
Architecture-Level Schedulability Analysis with IO Constraint using AADL. DSA (2021)
Yin Lu, Shudong Qin, Leqi Xi, Yunwei Dong
On Schedulability Analysis of AADL Architecture with Storage Resource Constraint. Int. J. Softw. Informatics 11 (4) (2021)
Pengpeng Sun, Yunwei Dong
On Vulnerability Analysis of Nodes against Cross-domain Cascading Failures Propagation in Active Distribution Network Cyber-physical System. DSA (2020)
Chong Wang, Yunwei Dong, Pengpeng Sun, Yin Lu
Cascading Failure Path Prediction based on Association Rules in Cyber-Physical Active Distribution Networks. QRS Companion (2020)
Mingrui Xiao, Yunwei Dong, Qian-wen Gou, Feng Xue, Yong-Hua Chen
Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL. Frontiers Inf. Technol. Electron. Eng. 21 (11) (2020)
Yang Cao, Yunwei Dong, Xiaomin Wei, Xiao Wu
AADL Vulnerability Modeling and Security Analysis Method. QRS Companion (2019)
Xiaomin Wei, Yunwei Dong, Xue-Lin Li, W. Eric Wong
Architecture-level hazard analysis using AADL. J. Syst. Softw. 137 (2018)
Xiaomin Wei, Yunwei Dong, Mingrui Xiao
Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model. QRS Companion (2018)
Yin Lu, Yunwei Dong, Xiaomin Wei, Mingrui Xiao
A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models. QRS Companion (2018)
Tingting Wu, Yunwei Dong, Tsong Yueh Chen, Mingyue Jiang, Man Fai Lau, Fei-Ching Kuo, Sebastian Ng
Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence. ICFEM (2017)
Yunwei Dong, Yuanyuan He, Yin Lu, Hong Ye
A Model Driven Approach for Device Driver Development. QRS Companion (2017)
Dave Towey, Yunwei Dong, Chang-Ai Sun, Tsong Yueh Chen
Metamorphic testing as a test case selection strategy. Sci. China Inf. Sci. 59 (5) (2016)
Pengpeng Sun, Yunwei Dong, Hong Ye, Hongbin Zhao
A Wireless Power Transfer CPS Based on 2D Omni-directional Rotating Magnetic Field. QRS Companion (2016)
Yu Zhang, Yunwei Dong, Wenlong Feng, Mengxing Huang
A Co-Simulation Interface for Cyber-Physical Systems. ICESS (2016)
Jihu Zhang, Haipeng Wang, Wu Liu, Yan Gong, Yunwei Dong, Xiaochuan Jing, Wei Zhang
Safety Awareness Online Detection System of Driving Behavior Based on Software and Hardware Co-design. QRS Companion (2016)
Xiaomin Wei, Yunwei Dong, Hong Ye
QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model. TASE (2015)
Na Li, Yunwei Dong, Tianwei Che, Chao Wang, Yang Gao
The Legitimacy Detection for Multilevel Hybrid Cloud Algorithm Based Data Access. QRS Companion (2015)
Yunwei Dong, Zhe Li, Yibo Cheng, Hongbin Zhao
A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model. TSA (2015)
Yunwei Dong, Zhe Li, Dave Towey
On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink. QRS (2015)
Ehsan Ahmad, Yunwei Dong, Brian R. Larson, Jidong Lü, Tao Tang, Naijun Zhan
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL. Sci. China Inf. Sci. 58 (11) (2015)
Bin Gu, Yunwei Dong, Xiaomin Wei
A Qualitative Safety Analysis Method for AADL Model. SERE (Companion) (2014)
Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou
Adding Formal Meanings to AADL with Hybrid Annex. FACS (2014)
Tingting Wu, Yunwei Dong, Ning Hu
Formal Specification and Transformation Method of System Requirements from B Method to AADL Model. CSE (2014)
Yu Zhang, Yunwei Dong, Fei Xie
Bounded Model Checking of Hybrid Automata Pushdown System. QSIC (2014)
Yongqi Ge, Yunwei Dong, Hong-bing Zhao
Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems. TASE (2014)
Xiaomin Wei, Yunwei Dong, Mengmeng Yang, Ning Hu, Hong Ye
Hazard analysis for AADL model. RTCSA (2014)
Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. HILT (2014)
Yu Zhang, Fei Xie, Yunwei Dong, Xingshe Zhou, Chunyan Ma
Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems. COMPSAC (2013)
Xiaona Wu, Yunwei Dong, Yongqi Ge, Hongbin Zhao
A High Reliable Communication Technology in Electric Vehicle Charging Station. SERE (Companion) (2013)
Yunwei Dong, Yao Cheng, Tingting Wu, Hong Ye
On Schedulability Analysis for Embedded Systems with AADL Model. QSIC (2013)
Chunyan Ma, Tian Tan, Yibo Chen, Yunwei Dong
An If-While-If Model-Based Performance Evaluation of Ranking Metrics for Spectra-Based Fault Localization. COMPSAC (2013)
Yu Zhang, Fei Xie, Yunwei Dong, Gang Yang, Xingshe Zhou
High fidelity Virtualization of Cyber-Physical Systems. Int. J. Model. Simul. Sci. Comput. 4 (2) (2013)
Yongqi Ge, Yunwei Dong, Hong-bing Zhao
A Cyber-physical Energy System Architecture for Electric Vehicles Charging Application. QSIC (2012)
Chunxin Yang, Yunwei Dong, Fan Zhang, Ehsan Ahmad, Bin Gu
Formal Semantics of AADL Models with Machine-Readable CSP. ACIS-ICIS (2012)
Deming Song, Yunwei Dong, Fan Zhang, Hong Huo, Bin Gu
Study of Safety Analysis and Assessment Methodology for AADL Model. SERE (Companion) (2012)
Shaofeng Chang, Yunwei Dong, Fan Zhang
On Reliability Analysis for Embedded Systems with AADL Behavior Model. QSIC (2012)
Hong-bing Zhao, Deming Song, Yunwei Dong
Design and Implementation of AADL Model Safety Assessment Tool. QSIC (2012)
Bo Sun, Yunwei Dong, Hong Ye
On Enhancing Adaptive Random Testing for AADL Model. UIC/ATC (2012)
Yufeng Zhu, Yunwei Dong, Chunyan Ma, Fan Zhang
A Methodology of Model-Based Testing for AADL Flow Latency in CPS. SSIRI (Companion) (2011)
Yu Zhang, Yunwei Dong, Fan Zhang, Yunfeng Zhang
Research on Modeling and Analysis of CPS. ATC (2011)
Yuying Wang, Xingshe Zhou, Yunwei Dong, Sha Liu
A Configurable Environment Simulation Tool for Embedded Software. ATC (2011)
Yunwei Dong, Yuying Wang, M. F. Lau, Si-yu Lin
Experiments on Test Case Reuse of Test Coverage Criteria. UIC/ATC Workshops (2010)
Xiang Ji, Yunwei Dong, Yuying Wang, Hong-bing Zhao
Design and implementation of configurable simulation system for embedded software based on MDA. SummerSim (2010)
Yunwei Dong, Bo Zhang, Kang Dong
An Integrated PLC Smart Home System in Pervasive Computing. UIC/ATC Workshops (2010)
Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu
A Formal Model for Component-Based Embedded Software Development. ICESS (2009)
Yuying Wang, Xingshe Zhou, Yunwei Dong, Changde Li
A MDA-Based Approach for General Embedded Software Simulation Platform. ScalCom-EmbeddedCom (2009)
Yunwei Dong, Geng Wang, Hong-bing Zhao
A Model-Based Testing for AADL Model of Embedded Software. QSIC (2009)
Changde Li, Xingshe Zhou, Yuying Wang, Yunwei Dong
An Improved Path-Based Reliability Prediction Model for Component-Based Embedded Software. FCST (2009)
Xiao Wu, Heng Ling, Yunwei Dong
On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL. ICESS (2009)
Fan Zhang, Xingshe Zhou, Yunwei Dong, Junwen Chen
Consider of fault propagation in architecture-based software reliability analysis. AICCSA (2009)
Geng Wang, Xingshe Zhou, Yunwei Dong, Hong-bing Zhao
Studying on AADL-Based Architecture Abstraction of Embedded Software. ScalCom-EmbeddedCom (2009)
Yunwei Dong, M. F. Lau, Si-yu Lin
On Partitioning the Domain for Test Case Reusability (Short Paper). QSIC (2008)
Fan Zhang, Xingshe Zhou, Junwen Chen, Yunwei Dong
A Novel Model for Component-Based Software Reliability Analysis. HASE (2008)
Wei Song, Yunwei Dong
On Designing and Verifying Smart Home Embedded Software Model Based on AADL. FGCN (2) (2008)
Chang-Ai Sun, Yunwei Dong, Richard Lai, Kwan Yong Sim, Tsong Yueh Chen
Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions. CIT (2006)