![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Yunwei Dong
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]Dian Zhang
, Yunwei Dong, Yun Yang
:
Sample-analysis based adversarial attack with saliency map. Appl. Soft Comput. 161: 111733 (2024) - [j12]Qian-wen Gou, Yunwei Dong, YuJiao Wu, Qiao Ke:
Semantic similarity-based program retrieval: a multi-relational graph perspective. Frontiers Comput. Sci. 18(3): 183209 (2024) - [j11]Qian-wen Gou, Yunwei Dong, Bo Shen:
Code generation for Security and Stability Control System based on extended reactive component. J. Syst. Archit. 148: 103069 (2024) - [j10]Qian-wen Gou
, Yunwei Dong, YuJiao Wu, Qiao Ke
:
RRGcode: Deep hierarchical search-based code generation. J. Syst. Softw. 211: 111982 (2024) - [j9]Qian-wen Gou
, Yunwei Dong, Qiao Ke
:
SynthoMinds: Bridging human programming intuition with retrieval, analogy, and reasoning in program synthesis. J. Syst. Softw. 216: 112140 (2024) - [j8]Dian Zhang
, Yunwei Dong, Hongji Yang:
An adversarial defense algorithm based on robust U-net. Multim. Tools Appl. 83(15): 45575-45601 (2024) - [c52]Yunwei Dong
, Zeshan Li
, Ruiheng Zhang
, Rubing Huang
, Tao Wang
:
A Scenario Model-driven Task Planning Method for Unmanned Aerial Vehicle Swarm. Internetware 2024 - [c51]Haoyu Liu, Yunwei Dong, Qiao Ke, Zhiyang Zhou:
ReCo: A Modular Neural Framework for Automatically Recommending Connections in Software Models. SANER 2024: 637-648 - 2023
- [j7]Dian Zhang
, Yunwei Dong:
Adv-BDPM: Adversarial attack based on Boundary Diffusion Probability Model. Neural Networks 167: 730-740 (2023) - [c50]Yang Cao, Yunwei Dong:
Modeling and Discovering Data Race with Concurrent Code Property Graphs. QRS Companion 2023: 646-653 - [i1]Adekunle Ajibode, Yunwei Dong, Hongji Yang:
Software issues report for bug fixing process: An empirical study of machine-learning libraries. CoRR abs/2312.06005 (2023) - 2021
- [j6]Yin Lu, Shudong Qin, Leqi Xi, Yunwei Dong:
On Schedulability Analysis of AADL Architecture with Storage Resource Constraint. Int. J. Softw. Informatics 11(4): 429-452 (2021) - [c49]Yunwei Dong, Qian-wen Gou, Pei Tang:
Architecture-Level Schedulability Analysis with IO Constraint using AADL. DSA 2021: 220-229 - 2020
- [j5]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): 1607-1625 (2020) - [c48]Pengpeng Sun, Yunwei Dong:
On Vulnerability Analysis of Nodes against Cross-domain Cascading Failures Propagation in Active Distribution Network Cyber-physical System. DSA 2020: 355-363 - [c47]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: 458-464
2010 – 2019
- 2019
- [c46]Yang Cao, Yunwei Dong, Xiaomin Wei
, Xiao Wu:
AADL Vulnerability Modeling and Security Analysis Method. QRS Companion 2019: 399-406 - 2018
- [j4]Xiaomin Wei, Yunwei Dong, Xue-Lin Li
, W. Eric Wong:
Architecture-level hazard analysis using AADL. J. Syst. Softw. 137: 580-604 (2018) - [c45]Yin Lu, Yunwei Dong, Xiaomin Wei
, Mingrui Xiao
:
A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models. QRS Companion 2018: 294-300 - [c44]Xiaomin Wei
, Yunwei Dong, Mingrui Xiao
:
Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model. QRS Companion 2018: 450-455 - [p1]Yunwei Dong, Xiaomin Wei
, Mingrui Xiao
:
Overview: System Architecture Virtual Integration based on an AADL Model. Symposium on Real-Time and Hybrid Systems 2018: 105-115 - 2017
- [c43]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: 413-429 - [c42]Yunwei Dong, Yuanyuan He, Yin Lu, Hong Ye:
A Model Driven Approach for Device Driver Development. QRS Companion 2017: 122-129 - 2016
- [j3]Dave Towey
, Yunwei Dong, Chang-Ai Sun, Tsong Yueh Chen
:
Metamorphic testing as a test case selection strategy. Sci. China Inf. Sci. 59(5): 050108:1-050108:2 (2016) - [c41]Yu Zhang, Yunwei Dong, Wenlong Feng, Mengxing Huang:
A Co-Simulation Interface for Cyber-Physical Systems. ICESS 2016: 176-181 - [c40]Pengpeng Sun, Yunwei Dong, Hong Ye, Hongbin Zhao:
A Wireless Power Transfer CPS Based on 2D Omni-directional Rotating Magnetic Field. QRS Companion 2016: 252-258 - [c39]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: 395-399 - 2015
- [j2]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): 1-20 (2015) - [c38]Na Li, Yunwei Dong, Tianwei Che, Chao Wang, Yang Gao:
The Legitimacy Detection for Multilevel Hybrid Cloud Algorithm Based Data Access. QRS Companion 2015: 169-172 - [c37]Yunwei Dong, Zhe Li, Dave Towey
:
On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink. QRS 2015: 213-218 - [c36]Xiaomin Wei
, Yunwei Dong, Hong Ye:
QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model. TASE 2015: 103-110 - [c35]Yunwei Dong, Zhe Li, Yibo Cheng, Hongbin Zhao:
A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model. TSA 2015: 24-29 - 2014
- [c34]Tingting Wu, Yunwei Dong, Ning Hu:
Formal Specification and Transformation Method of System Requirements from B Method to AADL Model. CSE 2014: 1621-1628 - [c33]Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou:
Adding Formal Meanings to AADL with Hybrid Annex. FACS 2014: 228-247 - [c32]Yu Zhang, Yunwei Dong, Fei Xie:
Bounded Model Checking of Hybrid Automata Pushdown System. QSIC 2014: 190-195 - [c31]Xiaomin Wei
, Yunwei Dong, Mengmeng Yang, Ning Hu, Hong Ye:
Hazard analysis for AADL model. RTCSA 2014: 1-10 - [c30]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: 29-38 - [c29]Bin Gu, Yunwei Dong, Xiaomin Wei
:
A Qualitative Safety Analysis Method for AADL Model. SERE (Companion) 2014: 213-217 - [c28]Yongqi Ge
, Yunwei Dong, Hong-bing Zhao:
Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems. TASE 2014: 135-138 - 2013
- [j1]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): 1340005 (2013) - [c27]Yu Zhang, Fei Xie, Yunwei Dong, Xingshe Zhou, Chunyan Ma:
Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems. COMPSAC 2013: 539-548 - [c26]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: 609-618 - [c25]Yunwei Dong, Yao Cheng, Tingting Wu, Hong Ye:
On Schedulability Analysis for Embedded Systems with AADL Model. QSIC 2013: 320-325 - [c24]Xiaona Wu, Yunwei Dong, Yongqi Ge, Hongbin Zhao:
A High Reliable Communication Technology in Electric Vehicle Charging Station. SERE (Companion) 2013: 198-203 - 2012
- [c23]Chunxin Yang, Yunwei Dong, Fan Zhang, Ehsan Ahmad, Bin Gu:
Formal Semantics of AADL Models with Machine-Readable CSP. ACIS-ICIS 2012: 565-571 - [c22]Shaofeng Chang, Yunwei Dong, Fan Zhang:
On Reliability Analysis for Embedded Systems with AADL Behavior Model. QSIC 2012: 116-119 - [c21]Yongqi Ge
, Yunwei Dong, Hong-bing Zhao:
A Cyber-physical Energy System Architecture for Electric Vehicles Charging Application. QSIC 2012: 246-250 - [c20]Hong-bing Zhao, Deming Song, Yunwei Dong:
Design and Implementation of AADL Model Safety Assessment Tool. QSIC 2012: 251-257 - [c19]Deming Song, Yunwei Dong, Fan Zhang, Hong Huo, Bin Gu:
Study of Safety Analysis and Assessment Methodology for AADL Model. SERE (Companion) 2012: 174-183 - [c18]Bo Sun, Yunwei Dong, Hong Ye:
On Enhancing Adaptive Random Testing for AADL Model. UIC/ATC 2012: 455-461 - 2011
- [c17]Yuying Wang, Xingshe Zhou, Yunwei Dong, Sha Liu:
A Configurable Environment Simulation Tool for Embedded Software. ATC 2011: 47-59 - [c16]Yu Zhang, Yunwei Dong, Fan Zhang, Yunfeng Zhang:
Research on Modeling and Analysis of CPS. ATC 2011: 92-105 - [c15]Yufeng Zhu, Yunwei Dong, Chunyan Ma, Fan Zhang:
A Methodology of Model-Based Testing for AADL Flow Latency in CPS. SSIRI (Companion) 2011: 99-105 - 2010
- [c14]Xiang Ji, Yunwei Dong, Yuying Wang, Hong-bing Zhao:
Design and implementation of configurable simulation system for embedded software based on MDA. SummerSim 2010: 190-194 - [c13]Yunwei Dong, Yuying Wang, M. F. Lau, Si-yu Lin:
Experiments on Test Case Reuse of Test Coverage Criteria. UIC/ATC Workshops 2010: 277-281 - [c12]Yunwei Dong, Bo Zhang, Kang Dong:
An Integrated PLC Smart Home System in Pervasive Computing. UIC/ATC Workshops 2010: 288-291
2000 – 2009
- 2009
- [c11]Fan Zhang, Xingshe Zhou, Yunwei Dong, Junwen Chen:
Consider of fault propagation in architecture-based software reliability analysis. AICCSA 2009: 783-786 - [c10]Changde Li, Xingshe Zhou, Yuying Wang, Yunwei Dong:
An Improved Path-Based Reliability Prediction Model for Component-Based Embedded Software. FCST 2009: 301-307 - [c9]Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu:
A Formal Model for Component-Based Embedded Software Development. ICESS 2009: 19-23 - [c8]Xiao Wu, Heng Ling, Yunwei Dong:
On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL. ICESS 2009: 572-577 - [c7]Yunwei Dong, Geng Wang, Hong-bing Zhao:
A Model-Based Testing for AADL Model of Embedded Software. QSIC 2009: 185-190 - [c6]Geng Wang, Xingshe Zhou, Yunwei Dong, Hong-bing Zhao:
Studying on AADL-Based Architecture Abstraction of Embedded Software. ScalCom-EmbeddedCom 2009: 14-19 - [c5]Yuying Wang, Xingshe Zhou, Yunwei Dong, Changde Li:
A MDA-Based Approach for General Embedded Software Simulation Platform. ScalCom-EmbeddedCom 2009: 20-25 - 2008
- [c4]Wei Song, Yunwei Dong:
On Designing and Verifying Smart Home Embedded Software Model Based on AADL. FGCN (2) 2008: 217-221 - [c3]Fan Zhang, Xingshe Zhou, Junwen Chen, Yunwei Dong:
A Novel Model for Component-Based Software Reliability Analysis. HASE 2008: 303-309 - [c2]Yunwei Dong, M. F. Lau, Si-yu Lin:
On Partitioning the Domain for Test Case Reusability (Short Paper). QSIC 2008: 264-269 - 2006
- [c1]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: 184
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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 2024-08-14 22:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint