Yunwei Dong

According to our database, Yunwei Dong authored at least 60 papers between 2006 and 2024.

Collaborative distances:

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

2024

Semantic similarity-based program retrieval: a multi-relational graph perspective.

Qian-wen Gou, Yunwei Dong, YuJiao Wu, Qiao Ke

Frontiers Comput. Sci., June, 2024

2023

Adv-BDPM: Adversarial attack based on Boundary Diffusion Probability Model.

Dian Zhang, Yunwei Dong

Neural Networks, October, 2023

Software issues report for bug fixing process: An empirical study of machine-learning libraries.

Adekunle Ajibode, Yunwei Dong, Hongji Yang

CoRR, 2023

Modeling and Discovering Data Race with Concurrent Code Property Graphs.

Yang Cao, Yunwei Dong

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2021

On Schedulability Analysis of AADL Architecture with Storage Resource Constraint.

Yin Lu, Shudong Qin, Leqi Xi, Yunwei Dong

Int. J. Softw. Informatics, 2021

Architecture-Level Schedulability Analysis with IO Constraint using AADL.

Yunwei Dong, Qian-wen Gou, Pei Tang

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

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

Cascading Failure Path Prediction based on Association Rules in Cyber-Physical Active Distribution Networks.

Chong Wang, Yunwei Dong, Pengpeng Sun, Yin Lu

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

On Vulnerability Analysis of Nodes against Cross-domain Cascading Failures Propagation in Active Distribution Network Cyber-physical System.

Pengpeng Sun, Yunwei Dong

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

2019

AADL Vulnerability Modeling and Security Analysis Method.

Yang Cao, Yunwei Dong, Xiaomin Wei, Xiao Wu

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

2018

Architecture-level hazard analysis using AADL.

Xiaomin Wei, Yunwei Dong, Xue-Lin Li, W. Eric Wong

J. Syst. Softw., 2018

Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model.

Xiaomin Wei, Yunwei Dong, Mingrui Xiao

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models.

Yin Lu, Yunwei Dong, Xiaomin Wei, Mingrui Xiao

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Overview: System Architecture Virtual Integration based on an AADL Model.

Yunwei Dong, Xiaomin Wei, Mingrui Xiao

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

A Model Driven Approach for Device Driver Development.

Yunwei Dong, Yuanyuan He, Yin Lu, Hong Ye

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

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

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Metamorphic testing as a test case selection strategy.

Dave Towey, Yunwei Dong, Chang-Ai Sun, Tsong Yueh Chen

Sci. China Inf. Sci., 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

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

A Wireless Power Transfer CPS Based on 2D Omni-directional Rotating Magnetic Field.

Pengpeng Sun, Yunwei Dong, Hong Ye, Hongbin Zhao

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

A Co-Simulation Interface for Cyber-Physical Systems.

Yu Zhang, Yunwei Dong, Wenlong Feng, Mengxing Huang

Proceedings of the 13th International Conference on Embedded Software and Systems, 2016

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, Naijun Zhan

Sci. China Inf. Sci., 2015

A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model.

Yunwei Dong, Zhe Li, Yibo Cheng, Hongbin Zhao

Proceedings of the 2015 Second International Conference on Trustworthy Systems and Their Applications, 2015

QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model.

Xiaomin Wei, Yunwei Dong, Hong Ye

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

The Legitimacy Detection for Multilevel Hybrid Cloud Algorithm Based Data Access.

Na Li, Yunwei Dong, Tianwei Che, Chao Wang, Yang Gao

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink.

Yunwei Dong, Zhe Li, Dave Towey

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

2014

Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems.

Yongqi Ge, Yunwei Dong, Hong-bing Zhao

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

A Qualitative Safety Analysis Method for AADL Model.

Bin Gu, Yunwei Dong, Xiaomin Wei

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 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

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Hazard analysis for AADL model.

Xiaomin Wei, Yunwei Dong, Mengmeng Yang, Ning Hu, Hong Ye

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Bounded Model Checking of Hybrid Automata Pushdown System.

Yu Zhang, Yunwei Dong, Fei Xie

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Adding Formal Meanings to AADL with Hybrid Annex.

Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Formal Specification and Transformation Method of System Requirements from B Method to AADL Model.

Tingting Wu, Yunwei Dong, Ning Hu

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

2013

High fidelity Virtualization of Cyber-Physical Systems.

Yu Zhang, Fei Xie, Yunwei Dong, Gang Yang, Xingshe Zhou

Int. J. Model. Simul. Sci. Comput., 2013

A High Reliable Communication Technology in Electric Vehicle Charging Station.

Xiaona Wu, Yunwei Dong, Yongqi Ge, Hongbin Zhao

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

On Schedulability Analysis for Embedded Systems with AADL Model.

Yunwei Dong, Yao Cheng, Tingting Wu, Hong Ye

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.

Yu Zhang, Fei Xie, Yunwei Dong, Xingshe Zhou, Chunyan Ma

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

An If-While-If Model-Based Performance Evaluation of Ranking Metrics for Spectra-Based Fault Localization.

Chunyan Ma, Tian Tan, Yibo Chen, Yunwei Dong

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

On Enhancing Adaptive Random Testing for AADL Model.

Bo Sun, Yunwei Dong, Hong Ye

Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012

Study of Safety Analysis and Assessment Methodology for AADL Model.

Deming Song, Yunwei Dong, Fan Zhang, Hong Huo, Bin Gu

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Design and Implementation of AADL Model Safety Assessment Tool.

Hong-bing Zhao, Deming Song, Yunwei Dong

Proceedings of the 2012 12th International Conference on Quality Software, 2012

On Reliability Analysis for Embedded Systems with AADL Behavior Model.

Shaofeng Chang, Yunwei Dong, Fan Zhang

Proceedings of the 2012 12th International Conference on Quality Software, 2012

A Cyber-physical Energy System Architecture for Electric Vehicles Charging Application.

Yongqi Ge, Yunwei Dong, Hong-bing Zhao

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Formal Semantics of AADL Models with Machine-Readable CSP.

Chunxin Yang, Yunwei Dong, Fan Zhang, Ehsan Ahmad, Bin Gu

Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30, 2012

2011

A Methodology of Model-Based Testing for AADL Flow Latency in CPS.

Yufeng Zhu, Yunwei Dong, Chunyan Ma, Fan Zhang

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Research on Modeling and Analysis of CPS.

Yu Zhang, Yunwei Dong, Fan Zhang, Yunfeng Zhang

Proceedings of the Autonomic and Trusted Computing - 8th International Conference, 2011

A Configurable Environment Simulation Tool for Embedded Software.

Yuying Wang, Xingshe Zhou, Yunwei Dong, Sha Liu

Proceedings of the Autonomic and Trusted Computing - 8th International Conference, 2011

2010

An Integrated PLC Smart Home System in Pervasive Computing.

Yunwei Dong, Bo Zhang, Kang Dong

Proceedings of the Symposia and Workshops on Ubiquitous, 2010

Experiments on Test Case Reuse of Test Coverage Criteria.

Yunwei Dong, Yuying Wang, M. F. Lau, Si-yu Lin

Proceedings of the Symposia and Workshops on Ubiquitous, 2010

Design and implementation of configurable simulation system for embedded software based on MDA.

Xiang Ji, Yunwei Dong, Yuying Wang, Hong-bing Zhao

Proceedings of the SummerSim '10, 2010

2009

Studying on AADL-Based Architecture Abstraction of Embedded Software.

Geng Wang, Xingshe Zhou, Yunwei Dong, Hong-bing Zhao

Proceedings of the International Conference on Scalable Computing and Communications / Eighth International Conference on Embedded Computing, 2009

A MDA-Based Approach for General Embedded Software Simulation Platform.

Yuying Wang, Xingshe Zhou, Yunwei Dong, Changde Li

Proceedings of the International Conference on Scalable Computing and Communications / Eighth International Conference on Embedded Computing, 2009

A Model-Based Testing for AADL Model of Embedded Software.

Yunwei Dong, Geng Wang, Hong-bing Zhao

Proceedings of the Ninth International Conference on Quality Software, 2009

On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL.

Xiao Wu, Heng Ling, Yunwei Dong

Proceedings of the International Conference on Embedded Software and Systems, 2009

A Formal Model for Component-Based Embedded Software Development.

Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu

Proceedings of the International Conference on Embedded Software and Systems, 2009

An Improved Path-Based Reliability Prediction Model for Component-Based Embedded Software.

Changde Li, Xingshe Zhou, Yuying Wang, Yunwei Dong

Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

Consider of fault propagation in architecture-based software reliability analysis.

Fan Zhang, Xingshe Zhou, Yunwei Dong, Junwen Chen

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

On Partitioning the Domain for Test Case Reusability (Short Paper).

Yunwei Dong, M. F. Lau, Si-yu Lin

Proceedings of the Eighth International Conference on Quality Software, 2008

A Novel Model for Component-Based Software Reliability Analysis.

Fan Zhang, Xingshe Zhou, Junwen Chen, Yunwei Dong

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

On Designing and Verifying Smart Home Embedded Software Model Based on AADL.

Wei Song, Yunwei Dong

Proceedings of the Second International Conference on Future Generation Communication and Networking, 2008

2006

Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions.

Chang-Ai Sun, Yunwei Dong, Richard Lai, Kwan Yong Sim, Tsong Yueh Chen

Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006