68 results on '"Yunwei Dong"'
Search Results
2. ReCo: A Modular Neural Framework for Automatically Recommending Connections in Software Models.
3. An adversarial defense algorithm based on robust U-net.
4. A Scenario Model-driven Task Planning Method for Unmanned Aerial Vehicle Swarm.
5. Modeling and Discovering Data Race with Concurrent Code Property Graphs.
6. Adv-BDPM: Adversarial attack based on Boundary Diffusion Probability Model.
7. Code generation for Security and Stability Control System based on extended reactive component.
8. Semantic similarity-based program retrieval: a multi-relational graph perspective.
9. Sample-analysis based adversarial attack with saliency map.
10. SynthoMinds: Bridging human programming intuition with retrieval, analogy, and reasoning in program synthesis.
11. RRGcode: Deep hierarchical search-based code generation.
12. Software issues report for bug fixing process: An empirical study of machine-learning libraries.
13. Architecture-Level Schedulability Analysis with IO Constraint using AADL.
14. On Vulnerability Analysis of Nodes against Cross-domain Cascading Failures Propagation in Active Distribution Network Cyber-physical System.
15. Cascading Failure Path Prediction based on Association Rules in Cyber-Physical Active Distribution Networks.
16. On Schedulability Analysis of AADL Architecture with Storage Resource Constraint.
17. AADL Vulnerability Modeling and Security Analysis Method.
18. Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL.
19. Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model.
20. A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models.
21. Overview: System Architecture Virtual Integration based on an AADL Model.
22. Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence.
23. A Model Driven Approach for Device Driver Development.
24. Architecture-level hazard analysis using AADL.
25. A Wireless Power Transfer CPS Based on 2D Omni-directional Rotating Magnetic Field.
26. Safety Awareness Online Detection System of Driving Behavior Based on Software and Hardware Co-design.
27. A Co-Simulation Interface for Cyber-Physical Systems.
28. QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model.
29. On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink.
30. The Legitimacy Detection for Multilevel Hybrid Cloud Algorithm Based Data Access.
31. A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model.
32. Bounded Model Checking of Hybrid Automata Pushdown System.
33. A Qualitative Safety Analysis Method for AADL Model.
34. Formal Specification and Transformation Method of System Requirements from B Method to AADL Model.
35. Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems.
36. Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling.
37. Adding Formal Meanings to AADL with Hybrid Annex.
38. Hazard analysis for AADL model.
39. On Schedulability Analysis for Embedded Systems with AADL Model.
40. Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.
41. An If-While-If Model-Based Performance Evaluation of Ranking Metrics for Spectra-Based Fault Localization.
42. A High Reliable Communication Technology in Electric Vehicle Charging Station.
43. A Cyber-physical Energy System Architecture for Electric Vehicles Charging Application.
44. On Reliability Analysis for Embedded Systems with AADL Behavior Model.
45. Design and Implementation of AADL Model Safety Assessment Tool.
46. Formal Semantics of AADL Models with Machine-Readable CSP.
47. On Enhancing Adaptive Random Testing for AADL Model.
48. Study of Safety Analysis and Assessment Methodology for AADL Model.
49. A Methodology of Model-Based Testing for AADL Flow Latency in CPS.
50. Research on Modeling and Analysis of CPS.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.