Author of the publication

ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks.

, , , , , , , and . ACM Trans. Softw. Eng. Methodol., 32 (5): 129:1-129:31 (September 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement., , , and . IEEE Trans. Ind. Informatics, 12 (4): 1321-1331 (2016)Visualization Enhancement of Saliency Methods Based on the Sliding Window Mechanism., , , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 2728-2735. IOS Press, (2023)MSG-CAM:Multi-scale inputs make a better visual interpretation of CNN networks., , , and . ICME, page 312-317. IEEE, (2023)Compositional Reasoning for Shared-Variable Concurrent Programs., , , , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 523-541. Springer, (2018)A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems., , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 161-178. Springer, (2019)QuraTest: Integrating Quantum Specific Features in Quantum Program Testing., , , , , , and . ASE, page 1149-1161. IEEE, (2023)Time Split Network for Temporal Knowledge Graph Completion., , , , , and . ChineseCSCW (1), volume 2012 of Communications in Computer and Information Science, page 333-347. Springer, (2023)MPNet: temporal knowledge graph completion based on a multi-policy network., , , , , and . Appl. Intell., 54 (3): 2491-2507 (February 2024)Refinement-based Specification and Security Analysis of Separation Kernels., , , and . CoRR, (2017)The control regularization-term iterative algorithm for image deconvolution., , , and . ICSAI, page 1191-1196. IEEE, (2017)