Ning Ge
Ning Ge
Associate Professor, Beihang University
Adresse e-mail validée de
Citée par
Citée par
Failure Prediction in Production Line Based on Federated Learning: An Empirical Study
N Ge, G Li, L Zhang, Y Liu
Journal of Intelligent Manufacturing, 2021
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model
N Ge, S Nakajima, M Pantel
Simulation 91 (10), 851-868, 2015
Time properties verification framework for uml-marte safety critical real-time systems
N Ge, M Pantel
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012
Formal specification and verification of task time constraints for real-time systems
N Ge, M Pantel, X Crégut
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
Industrial grade model checking: use Cases, constraints, tools and applications
M Clabaut, N Ge, N Breton, E Jenn, R Delmas, Y Fonteneau
Integrated formal verification of safety-critical software
N Ge, E Jenn, N Breton, Y Fonteneau
International Journal on Software Tools for Technology Transfer, 1-18, 2017
Automated failure analysis in model checking based on data mining
N Ge, M Pantel, X Crégut
Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca …, 2014
A systematic literature review on federated learning: From a model quality perspective
Y Liu, L Zhang, N Ge, G Li
arXiv preprint arXiv:2012.01973, 2020
Time properties dedicated transformation from UML-MARTE activity to time transition system
N Ge, M Pantel, X Crégut
ACM SIGSOFT Software Engineering Notes 37 (4), 1-8, 2012
Correct-by-Construction Specification to Verified Code
N Ge, A Dieumegard, E Jenn, L Voisin
Journal of Software: Evolution and Process 30 (10), 2018
Beagle: A New Framework for Smart Contracts Taking Account of Law
WT Tsai, N Ge, J Jiang, K Feng, J He
Thirteenth IEEE International Conference on Service-Oriented System Engineering, 2019
Formal Verification of a Rover Anti-collision System
N Ge, E Jenn, N Breton, Y Fonteneau
International Workshop on Formal Methods for Industrial Critical Systems and …, 2016
Hidden markov model based automated fault localization for integration testing
N Ge, S Nakajima, M Pantel
2013 IEEE 4th International Conference on Software Engineering and Service …, 2013
Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems
N Ge, A Dieumegard, E Jenn, B d'Ausbourg, Y Aït-Ameur
Eleventh International Symposium on Theoretical Aspects of Software Engineering, 2017
Event-B at work: some lessons learnt from an application to a robot anti-collision function
A Dieumegard, N Ge, E Jenn
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
Real-Time Property Specific Reduction for Time Petri Net
N Ge, M Pantel
International Workshop on Petri Nets and Software Engineering (PNSE …, 2014
Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model.
N Ge, S Nakajima, M Pantel
ACM, 2013
From Event-B to Verified C via HLL
N Ge, A Dieumegard, E Jenn, L Voisin
arXiv preprint arXiv:1610.07410, 2016
Packet-mode scheduling with proportional fairness for input-queued switches
K Xi, S Arakawa, M Murata, N Ge, C Feng
IEICE transactions on communications 88 (11), 4274-4284, 2005
Formal Verification of User-Level Real-Time Property Patterns
N Ge, M Pantel, S Dal Zilio
Eleventh International Symposium on Theoretical Aspects of Software Engineering, 2017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20