Get started
Author

Ning Ge

Failure prediction in production line based on federated learning: an empirical study
2021 · Ning Ge, Guanghao Li, et al. · Journal of Intelligent Manufacturing · 57
PDF
An adaptive multiobjective evolutionary algorithm for dynamic multiobjective flexible scheduling problem
2022 · Weiwei Yu, Li Zhang, et al. · International Journal of Intelligent Systems · 30
PDF
A Systematic Literature Review on Federated Learning: From A Model Quality Perspective
2020 · Liu, Yi, Zhang, Li, et al. · arXiv (Cornell University) · 23
PDF
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems
2012 · Ning Ge, Marc Pantel · Lecture notes in computer science · 15
Integrated formal verification of safety-critical software
2017 · Ning Ge, Eric Jenn, et al. · International Journal on Software Tools for Technology Transfer · 13
PDF
Formal Specification and Verification of Task Time Constraints for Real-Time Systems
2012 · Ning Ge, Marc Pantel, et al. · Lecture notes in computer science · 13
Generating SysML Behavior Models via Large Language Models: an Empirical Study
2025 · Yuan Wang, Ning Ge, et al. · 11
PDF
Invited Paper: Beagle: A New Framework for Smart Contracts Taking Account of Law
2019 · Wei-Tek Tsai, Ning Ge, et al. · IEEE International Conference on Service-Oriented System Engineering (SOSE) · 11
Correct‐by‐construction specification to verified code
2018 · Ning Ge, Arnaud Dieumegard, et al. · Journal of Software Evolution and Process · 10
Automated Failure Analysis in Model Checking Based on Data Mining
2014 · Ning Ge, Marc Pantel, et al. · Lecture notes in computer science · 9
Formal development process of safety-critical embedded human machine interface systems
2017 · Ning Ge, Arnaud Dieumegard, et al. · International Symposium on Theoretical Aspects of Software Engineering (TASE) · 8
PDF
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model
2015 · Ning Ge, Shin Nakajima, et al. · SIMULATION · 8
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function
2017 · Arnaud Dieumegard, Ning Ge, et al. · Lecture notes in computer science · 7
Industrial Grade Model Checking Use Cases, Constraints, Tools and Applications
2016 · Mathieu Clabaut, Ning Ge, et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 7
Hidden Markov model based automated fault localization for integration testing
2013 · Ning Ge, Shin Nakajima, et al. · IEEE International Conference on Software Engineering and Service Science (ICSESS) · 7
Collaborative manufacturing operation mode and modelling simulation of manufacturing enterprise based on collective intelligence
2023 · Weiwei Yu, Li Zhang, et al. · International Journal of Bio-Inspired Computation · 6
AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts
2023 · Ning Ge, Jinwen Yang, et al. · International Conference on Engineering of Complex Computer Systems · 5
Framework Information Based Java Software Architecture Recovery
2017 · Xiaocong Li, Li Zhang, et al. · 5
Formal verification of user-level real-time property patterns
2017 · Ning Ge, Marc Pantel, et al. · International Symposium on Theoretical Aspects of Software Engineering (TASE) · 5
Formal Verification of a Rover Anti-collision System
2016 · Ning Ge, Eric Jenn, et al. · Lecture notes in computer science · 5
PDF
Time properties dedicated transformation from UML-MARTE activity to time transition system
2012 · Ning Ge, Marc Pantel, et al. · ACM SIGSOFT Software Engineering Notes · 5
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus
2021 · Ning Ge, Silvano Dal Zilio, et al. · Science of Computer Programming · 4
Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System
2019 · Rongfei Xu, Li Zhang, et al. · IEEE Access · 4
PDF
A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry
2024 · Wenting Dong, Huibiao Zhu, et al. · IEEE International Symposium on Software Reliability Engineering (ISSRE) · 3
Exploration on Theoretical and Practical Projects of Software Architecture Course
2020 · Li Zhang, Yanxu Li, et al. · International Conference on Computer Science & Education (ICCSE) · 3
Works count: 61
Citation count: 301
H-index: 9
I10-index: 9
Year
Topic
Type