Ning Ge

According to our database, Ning Ge authored at least 35 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry.

Wenting Dong, Huibiao Zhu, Sini Chen, Ning Ge

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs.

Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

2023

Collaborative manufacturing operation mode and modelling simulation of manufacturing enterprise based on collective intelligence.

Weiwei Yu, Li Zhang, Ning Ge, Hang Jia, Hui Wang

Int. J. Bio Inspired Comput., 2023

HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols.

Shumao Zhai, Xiaozhou Li, Ning Ge

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts.

Ning Ge, Jinwen Yang, Tianyu Yu, Wei Liu

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2022

An adaptive multiobjective evolutionary algorithm for dynamic multiobjective flexible scheduling problem.

Weiwei Yu, Li Zhang, Ning Ge

Int. J. Intell. Syst., December, 2022

Failure prediction in production line based on federated learning: an empirical study.

Ning Ge, Guanghao Li, Li Zhang, Yi Liu

J. Intell. Manuf., 2022

ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code.

Ning Ge, Ze Wang, Li Zhang, Jiuang Zhao, Yufei Zhou, Zewei Liu

Proceedings of the IEEE International Conference on Software Analysis, 2022

Towards the practical adoption of LIDL: a toolchain for modeling human-machine interface software interactions.

Ning Ge, Yunduo Wang, Yuan Wang, Yong Wang

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking.

Ning Ge, Yuchen Liu

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021

RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on <i>μ</i>-calculus.

Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang

Sci. Comput. Program., 2021

2020

A Systematic Literature Review on Federated Learning: From A Model Quality Perspective.

Yi Liu, Li Zhang, Ning Ge, Guanghao Li

CoRR, 2020

Exploration on Theoretical and Practical Projects of Software Architecture Course.

Li Zhang, Yanxu Li, Ning Ge

Proceedings of the 15th International Conference on Computer Science & Education, 2020

2019

Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System.

Rongfei Xu, Li Zhang, Ning Ge

IEEE Access, 2019

Invited Paper: Beagle: A New Framework for Smart Contracts Taking Account of Law.

Wei-Tek Tsai, Ning Ge, Jiaying Jiang, Kevin Feng, Juan He

Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019

2018

Integrated formal verification of safety-critical software.

Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau

Int. J. Softw. Tools Technol. Transf., 2018

Correct-by-construction specification to verified code.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin

J. Softw. Evol. Process., 2018

Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints.

Rongfei Xu, Li Zhang, Ning Ge, Xavier Blanc

Int. J. Softw. Eng. Knowl. Eng., 2018

Timing Analysis for Microkernel-based Real-Time Embedded System.

Rongfei Xu, Li Zhang, Ning Ge, Jing Jiang

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Schedulability Analysis of Real-time Tasks with Precedence Constraints.

Rongfei Xu, Li Zhang, Ning Ge, Xavier Blanc

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

2017

Formal verification of user-level real-time property patterns.

Ning Ge, Marc Pantel, Silvano Dal-Zilio

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Formal development process of safety-critical embedded human machine interface systems.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur

Proceedings of the 11th 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.

Arnaud Dieumegard, Ning Ge, Eric Jenn

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Framework Information Based Java Software Architecture Recovery.

Xiaocong Li, Li Zhang, Ning Ge

Proceedings of the 24th Asia-Pacific Software Engineering Conference Workshops, 2017

2016

Probabilistic Failure Analysis in Model Validation & Verification.

Ning Ge, Marc Pantel, Xavier Crégut

CoRR, 2016

From Event-B to Verified C via HLL.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin

CoRR, 2016

Formal Verification of a Rover Anti-collision System.

Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model.

Ning Ge, Shin Nakajima, Marc Pantel

Simul., 2015

2014

Property driven verification framework: application to real time property for UML MARTE software design. (Les outils de vérification dédiés à partir des familles de propriétés : une application aux propriétés temps réel pour les modèles UML-MARTE).

Ning Ge

PhD thesis, 2014

Automated Failure Analysis in Model Checking Based on Data Mining.

Ning Ge, Marc Pantel, Xavier Crégut

Proceedings of the Model and Data Engineering - 4th International Conference, 2014

Real-Time Property Specific Reduction for Time Petri Net.

Ning Ge, Marc Pantel

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model.

Ning Ge, Shin Nakajima, Marc Pantel

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

2012

Time properties dedicated transformation from UML-MARTE activity to time transition system.

Ning Ge, Marc Pantel, Xavier Crégut

ACM SIGSOFT Softw. Eng. Notes, 2012

Formal Specification and Verification of Task Time Constraints for Real-Time Systems.

Ning Ge, Marc Pantel, Xavier Crégut

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems.

Ning Ge, Marc Pantel

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012