Ning Ge

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 24

Top Venues

Paul Sabatier University, Toulouse, France (PHD)

Education History

Paul Sabatier University, Toulouse, France

PHD

Publications

Shumao Zhai, Xiaozhou Li, Ning Ge
HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. ICSE Companion (2023)
Weiwei Yu, Li Zhang, Ning Ge, Hang Jia, Hui Wang
Collaborative manufacturing operation mode and modelling simulation of manufacturing enterprise based on collective intelligence. Int. J. Bio Inspired Comput. 21 (4) (2023)
Weiwei Yu, Li Zhang, Ning Ge
An adaptive multiobjective evolutionary algorithm for dynamic multiobjective flexible scheduling problem. Int. J. Intell. Syst. 37 (12) (2022)
Ning Ge, Yuchen Liu
MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking. ISSRE (2022)
Ning Ge, Guanghao Li, Li Zhang, Yi Liu
Failure prediction in production line based on federated learning: an empirical study. J. Intell. Manuf. 33 (8) (2022)
Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang
-calculus. Sci. Comput. Program. 206 (2021)
Ning Ge, Guanghao Li, Li Zhang, Yi Liu
Failure Prediction in Production Line Based on Federated Learning: An Empirical Study. CoRR (2021)
Li Zhang, Yanxu Li, Ning Ge
Exploration on Theoretical and Practical Projects of Software Architecture Course. ICCSE (2020)
Yi Liu, Li Zhang, Ning Ge, Guanghao Li
A Systematic Literature Review on Federated Learning: From A Model Quality Perspective. CoRR (2020)
Rongfei Xu, Li Zhang, Ning Ge
Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System. IEEE Access 7 (2019)
Wei-Tek Tsai, Ning Ge, Jiaying Jiang, Kevin Feng, Juan He
Invited Paper: Beagle: A New Framework for Smart Contracts Taking Account of Law. SOSE (2019)
Rongfei Xu, Li Zhang, Ning Ge, Xavier Blanc
Schedulability Analysis of Real-time Tasks with Precedence Constraints. SEKE (2018)
Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
Integrated formal verification of safety-critical software. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
Correct-by-construction specification to verified code. J. Softw. Evol. Process. 30 (10) (2018)
Rongfei Xu, Li Zhang, Ning Ge, Xavier Blanc
Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints. Int. J. Softw. Eng. Knowl. Eng. 28 (11-12) (2018)
Rongfei Xu, Li Zhang, Ning Ge, Jing Jiang
Timing Analysis for Microkernel-based Real-Time Embedded System. SEKE (2018)
Xiaocong Li, Li Zhang, Ning Ge
Framework Information Based Java Software Architecture Recovery. APSEC Workshops (2017)
Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur
Formal development process of safety-critical embedded human machine interface systems. TASE (2017)
Ning Ge, Marc Pantel, Silvano Dal-Zilio
Formal verification of user-level real-time property patterns. TASE (2017)
Arnaud Dieumegard, Ning Ge, Eric Jenn
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. NFM (2017)
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model Validation & Verification. CoRR (2016)
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
From Event-B to Verified C via HLL. CoRR (2016)
Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
Formal Verification of a Rover Anti-collision System. FMICS-AVoCS (2016)
Ning Ge, Shin Nakajima, Marc Pantel
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model. Simul. 91 (10) (2015)
Ning Ge, Marc Pantel, Xavier Crégut
Automated Failure Analysis in Model Checking Based on Data Mining. MEDI (2014)
Ning Ge, Marc Pantel
Real-Time Property Specific Reduction for Time Petri Net. PNSE @ Petri Nets (2014)
Ning Ge, Shin Nakajima, Marc Pantel
Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model. SpringSim (TMS-DEVS) (2013)
Ning Ge, Marc Pantel
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. ECMFA (2012)
Ning Ge, Marc Pantel, Xavier Crégut
Formal Specification and Verification of Task Time Constraints for Real-Time Systems. ISoLA (2) (2012)
Ning Ge, Marc Pantel, Xavier Crégut
Time properties dedicated transformation from UML-MARTE activity to time transition system. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)

Ning Ge.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ning Ge