2025
MAE-MACD: The Masked Adversarial Contrastive Distillation Algorithm Grounded in Masked Autoencoders.
IEEE Trans. Ind. Informatics, January, 2025
Visual defect recognition with stationary wavelet transform based neural networks.
Digit. Signal Process., 2025
2024
Vulnerability detection based on transformer and high-quality number embedding.
Concurr. Comput. Pract. Exp., December, 2024
Semantic similarity-based program retrieval: a multi-relational graph perspective.
Frontiers Comput. Sci., June, 2024
An adversarial defense algorithm based on robust U-net.
Multim. Tools Appl., May, 2024
RRGcode: Deep hierarchical search-based code generation.
J. Syst. Softw., 2024
SynthoMinds: Bridging human programming intuition with retrieval, analogy, and reasoning in program synthesis.
J. Syst. Softw., 2024
Code generation for Security and Stability Control System based on extended reactive component.
J. Syst. Archit., 2024
Sample-analysis based adversarial attack with saliency map.
Appl. Soft Comput., 2024
ReCo: A Modular Neural Framework for Automatically Recommending Connections in Software Models.
Proceedings of the IEEE International Conference on Software Analysis, 2024
Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
A Scenario Model-driven Task Planning Method for Unmanned Aerial Vehicle Swarm.
Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024
2023
Adv-BDPM: Adversarial attack based on Boundary Diffusion Probability Model.
Neural Networks, October, 2023
Software issues report for bug fixing process: An empirical study of machine-learning libraries.
CoRR, 2023
Modeling and Discovering Data Race with Concurrent Code Property Graphs.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
2021
On Schedulability Analysis of AADL Architecture with Storage Resource Constraint.
Int. J. Softw. Informatics, 2021
Architecture-Level Schedulability Analysis with IO Constraint using AADL.
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.
Frontiers Inf. Technol. Electron. Eng., 2020
Cascading Failure Path Prediction based on Association Rules in Cyber-Physical Active Distribution Networks.
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.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020
2019
AADL Vulnerability Modeling and Security Analysis Method.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
2018
Architecture-level hazard analysis using AADL.
J. Syst. Softw., 2018
Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Overview: System Architecture Virtual Integration based on an AADL Model.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018
2017
A Model Driven Approach for Device Driver Development.
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.
Proceedings of the Formal Methods and Software Engineering, 2017
2016
Metamorphic testing as a test case selection strategy.
Sci. China Inf. Sci., 2016
Safety Awareness Online Detection System of Driving Behavior Based on Software and Hardware Co-design.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
A Wireless Power Transfer CPS Based on 2D Omni-directional Rotating Magnetic Field.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
A Co-Simulation Interface for Cyber-Physical Systems.
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.
Sci. China Inf. Sci., 2015
A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model.
Proceedings of the 2015 Second International Conference on Trustworthy Systems and Their Applications, 2015
QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
The Legitimacy Detection for Multilevel Hybrid Cloud Algorithm Based Data Access.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
On the Relationship between Model Coverage and Code Coverage Using MATLAB's Simulink.
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.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
A Qualitative Safety Analysis Method for AADL Model.
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.
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014
Hazard analysis for AADL model.
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.
Proceedings of the 2014 14th International Conference on Quality Software, 2014
Adding Formal Meanings to AADL with Hybrid Annex.
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.
Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014
2013
High fidelity Virtualization of Cyber-Physical Systems.
Int. J. Model. Simul. Sci. Comput., 2013
A High Reliable Communication Technology in Electric Vehicle Charging Station.
Proceedings of the Seventh International Conference on Software Security and Reliability, 2013
On Schedulability Analysis for Embedded Systems with AADL Model.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.
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.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
2012
On Enhancing Adaptive Random Testing for AADL Model.
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.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012
Design and Implementation of AADL Model Safety Assessment Tool.
Proceedings of the 2012 12th International Conference on Quality Software, 2012
On Reliability Analysis for Embedded Systems with AADL Behavior Model.
Proceedings of the 2012 12th International Conference on Quality Software, 2012
A Cyber-physical Energy System Architecture for Electric Vehicles Charging Application.
Proceedings of the 2012 12th International Conference on Quality Software, 2012
Formal Semantics of AADL Models with Machine-Readable CSP.
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.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Research on Modeling and Analysis of CPS.
Proceedings of the Autonomic and Trusted Computing - 8th International Conference, 2011
A Configurable Environment Simulation Tool for Embedded Software.
Proceedings of the Autonomic and Trusted Computing - 8th International Conference, 2011
2010
An Integrated PLC Smart Home System in Pervasive Computing.
Proceedings of the Symposia and Workshops on Ubiquitous, 2010
Experiments on Test Case Reuse of Test Coverage Criteria.
Proceedings of the Symposia and Workshops on Ubiquitous, 2010
Design and implementation of configurable simulation system for embedded software based on MDA.
Proceedings of the SummerSim '10, 2010
2009
Studying on AADL-Based Architecture Abstraction of Embedded Software.
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.
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.
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.
Proceedings of the International Conference on Embedded Software and Systems, 2009
A Formal Model for Component-Based Embedded Software Development.
Proceedings of the International Conference on Embedded Software and Systems, 2009
An Improved Path-Based Reliability Prediction Model for Component-Based Embedded Software.
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009
Consider of fault propagation in architecture-based software reliability analysis.
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).
Proceedings of the Eighth International Conference on Quality Software, 2008
A Novel Model for Component-Based Software Reliability Analysis.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
On Designing and Verifying Smart Home Embedded Software Model Based on AADL.
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.
Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006