Federated Repair of Deep Neural Networks

DL Calsi, T Laurent, P Arcaini, F Ishikawa - 2024 IEEE/ACM International …, 2024 - dl.acm.org
As DNNs are embedded in more and more critical systems, it is essential to ensure that they
perform well on specific inputs. DNN repair has shown good results in fixing specific …

Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications

D Lyu, Z Zhang, P Arcaini, F Ishikawa… - Proceedings of the …, 2024 - dl.acm.org
In AI-enabled CPSs, DNNs are used as controllers for the physical system. Despite their
advantages, DNN controllers can produce wrong control decisions, which can lead to safety …

A Post-training Framework for Improving the Performance of Deep Learning Models via Model Transformation

J Jiang, J Yang, Y Zhang, Z Wang, H You… - ACM Transactions on …, 2024 - dl.acm.org
Deep learning (DL) techniques have attracted much attention in recent years and have been
applied to many application scenarios. To improve the performance of DL models regarding …

Repairs and Breaks Prediction for Deep Neural Networks

Y Ishimoto, M Kondo, L Ma, N Ubayashi… - ACM Transactions on …, 2024 - dl.acm.org
With the increasing prevalence of software incorporating deep neural networks (DNNs),
quality assurance for these software systems has become a crucial concern. To this end …

SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences

D Lyu, Z Zhang, P Arcaini, XY Zhang… - ACM Transactions on …, 2024 - dl.acm.org
Cyber-Physical Systems (CPSs) are increasingly adopting deep neural networks (DNNs) as
controllers, giving birth to AI-enabled CPSs. Despite their advantages, many concerns arise …

MuFF: Stable and Sensitive Post-training Mutation Testing for Deep Learning

J Kim, N Humbatova, G Jahangirova, S Yoo… - arxiv preprint arxiv …, 2025 - arxiv.org
Rapid adoptions of Deep Learning (DL) in a broad range of fields led to the development of
specialised testing techniques for DL systems, including DL mutation testing. However …

More is Not Always Better: Exploring Early Repair of DNNs

A Mancu, T Laurent, F Rieger, P Arcaini… - Proceedings of the 5th …, 2024 - dl.acm.org
DNN repair is an effective technique applied after training to enhance the class-specific
accuracy of classifier models, where a low failure rate is required on specific classes. The …

Improving DNN Modularization via Activation-Driven Training

T Ngo, A Hassan, S Shafiq, N Medvidovic - arxiv preprint arxiv …, 2024 - arxiv.org
Deep Neural Networks (DNNs) suffer from significant retraining costs when adapting to
evolving requirements. Modularizing DNNs offers the promise of improving their reusability …

[HTML][HTML] PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs

Y Liu, A Fang - Entropy, 2025 - mdpi.com
As an important kind of DNN (deep neural network), CNN (convolutional neural network)
has made remarkable progress and been widely used in the vision and decision-making of …

Technical Briefing on Deep Neural Network Repair

P Arcaini, F Ishikawa, L Ma, Y Maezawa… - Proceedings of the …, 2024 - dl.acm.org
Deep Neural Networks (DNNs) are used for different tasks in many domains, some safety
critical like autonomous driving. When in operation, the DNN could misbehave on some …