Follow
Ning Ge
Ning Ge
Associate Professor, Beihang University
Verified email at buaa.edu.cn
Title
Cited by
Cited by
Year
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
422021
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
252020
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
212015
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
182012
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
172012
Industrial grade model checking: use Cases, constraints, tools and applications
M Clabaut, N Ge, N Breton, E Jenn, R Delmas, Y Fonteneau
142016
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
132017
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
132014
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
122019
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
102012
Correct-by-Construction Specification to Verified Code
N Ge, A Dieumegard, E Jenn, L Voisin
Journal of Software: Evolution and Process 30 (10), 2018
92018
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
92016
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
82017
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
82017
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
82013
Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model.
N Ge, S Nakajima, M Pantel
ACM, 2013
72013
Exploration on theoretical and practical projects of software architecture course
L Zhang, Y Li, N Ge
2020 15th International Conference on Computer Science & Education (ICCSE …, 2020
62020
From Event-B to Verified C via HLL
N Ge, A Dieumegard, E Jenn, L Voisin
arXiv preprint arXiv:1610.07410, 2016
62016
Real-Time Property Specific Reduction for Time Petri Net
N Ge, M Pantel
International Workshop on Petri Nets and Software Engineering (PNSE …, 2014
62014
An adaptive multiobjective evolutionary algorithm for dynamic multiobjective flexible scheduling problem
W Yu, L Zhang, N Ge
International Journal of Intelligent Systems, 2022
52022
The system can't perform the operation now. Try again later.
Articles 1–20