23 citations · 29 across the 4 of their papers we have counts for
4 papers
Failure Prediction in Production Line Based on Federated Learning: An Empirical Study
Ning Ge, Guanghao Li, Li Zhang +1
Data protection across organizations is limiting the application of centralized learning (CL) techniques. Federated learning (FL) enables multiple participants to build a learning…
A Systematic Literature Review on Federated Learning: From A Model Quality Perspective
Yi Liu, Li Zhang, Ning Ge +1
As an emerging technique, Federated Learning (FL) can jointly train a global model with the data remaining locally, which effectively solves the problem of data privacy protection…
Probabilistic Failure Analysis in Model Validation & Verification
Ning Ge, Marc Pantel, Xavier Crégut
Automated fault localization is an important issue in model validation and verification. It helps the end users in analyzing the origin of failure. In this work, we show the early…
From Event-B to Verified C via HLL
Ning Ge, Arnaud Dieumegard, Eric Jenn +1
This work addresses the correct translation of an Event-B model to C code via an intermediate formal language, HLL. The proof of correctness follows two main steps. First, the fina…