Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. - Ning Ge 002; Marc Pantel (ECMFA, 2012)

Formal Specification and Verification of Task Time Constraints for Real-Time Systems. - Ning Ge 002; Marc Pantel; Xavier Crégut (ISoLA (2), 2012)

Time properties dedicated transformation from UML-MARTE activity to time transition system. - Ning Ge 002; Marc Pantel; Xavier Crégut (ACM SIGSOFT Softw. Eng. Notes, 2012)

Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model. - Ning Ge 002; Shin Nakajima 001; Marc Pantel (SpringSim (TMS-DEVS), 2013)

Real-Time Property Specific Reduction for Time Petri Net. - Ning Ge 002; Marc Pantel (PNSE @ Petri Nets, 2014)

Automated Failure Analysis in Model Checking Based on Data Mining. - Ning Ge 002; Marc Pantel; Xavier Crégut (MEDI, 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 002 (2014)

Formal Verification of a Rover Anti-collision System. - Ning Ge 002; Eric Jenn; Nicolas Breton; Yoann Fonteneau (FMICS-AVoCS, 2016)

From Event-B to Verified C via HLL. - Ning Ge 002; Arnaud Dieumegard; Eric Jenn; Laurent Voisin (CoRR, 2016)

Probabilistic Failure Analysis in Model Validation & Verification. - Ning Ge 002; Marc Pantel; Xavier Crégut (CoRR, 2016)

Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. - Arnaud Dieumegard; Ning Ge 002; Eric Jenn (NFM, 2017)

Formal development process of safety-critical embedded human machine interface systems. - Ning Ge 002; Arnaud Dieumegard; Eric Jenn; Bruno d'Ausbourg; Yamine Aït Ameur (TASE, 2017)

Formal verification of user-level real-time property patterns. - Ning Ge 002; Marc Pantel; Silvano Dal-Zilio (TASE, 2017)

Schedulability Analysis of Real-time Tasks with Precedence Constraints. - Rongfei Xu; Li Zhang 029; Ning Ge 002; Xavier Blanc 001 (SEKE, 2018)

Timing Analysis for Microkernel-based Real-Time Embedded System. - Rongfei Xu; Li Zhang 029; Ning Ge 002; Jing Jiang 005 (SEKE, 2018)

Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints. - Rongfei Xu; Li Zhang 029; Ning Ge 002; Xavier Blanc 001 (Int. J. Softw. Eng. Knowl. Eng., 2018)

Correct-by-construction specification to verified code. - Ning Ge 002; Arnaud Dieumegard; Eric Jenn; Laurent Voisin (J. Softw. Evol. Process., 2018)

Integrated formal verification of safety-critical software. - Ning Ge 002; Eric Jenn; Nicolas Breton; Yoann Fonteneau (Int. J. Softw. Tools Technol. Transf., 2018)

Invited Paper: Beagle: A New Framework for Smart Contracts Taking Account of Law. - Wei-Tek Tsai; Ning Ge 002; Jiaying Jiang; Kevin Feng; Juan He (SOSE, 2019)

Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System. - Rongfei Xu; Li Zhang 029; Ning Ge 002 (IEEE Access, 2019)

Exploration on Theoretical and Practical Projects of Software Architecture Course. - Li Zhang 029; Yanxu Li; Ning Ge 002 (ICCSE, 2020)

A Systematic Literature Review on Federated Learning: From A Model Quality Perspective. - Yi Liu; Li Zhang 029; Ning Ge 002; Guanghao Li (CoRR, 2020)

RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus. - Ning Ge 002; Silvano Dal-Zilio; Hongyu Liu; Li Zhang 029; Lianyi Zhang (Sci. Comput. Program., 2021)

MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking. - Ning Ge 002; Yuchen Liu (ISSRE, 2022)

Towards the practical adoption of LIDL: a toolchain for modeling human-machine interface software interactions. - Ning Ge 002; Yunduo Wang; Yuan Wang; Yong Wang (MoDELS (Companion), 2022)

ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code. - Ning Ge 002; Ze Wang; Li Zhang 029; Jiuang Zhao; Yufei Zhou; Zewei Liu (SANER, 2022)

Failure prediction in production line based on federated learning: an empirical study. - Ning Ge 002; Guanghao Li; Li Zhang 029; Yi Liu (J. Intell. Manuf., 2022)

An adaptive multiobjective evolutionary algorithm for dynamic multiobjective flexible scheduling problem. - Weiwei Yu; Li Zhang 029; Ning Ge 002 (Int. J. Intell. Syst., 2022)

AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts. - Ning Ge 002; Jinwen Yang; Tianyu Yu 002; Wei Liu 131 (ICECCS, 2023)

HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. - Shumao Zhai; Xiaozhou Li; Ning Ge 002 (ICSE Companion, 2023)

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 002; Xinbin Cao (ICTAC, 2024)

A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry. - Wenting Dong; Huibiao Zhu; Sini Chen; Ning Ge 002 (ISSRE, 2024)

Learning Splitting Heuristics in Divide-and-Conquer SAT Solvers with Reinforcement Learning. - Shumao Zhai; Ning Ge 002 (ICLR, 2025)

DReM: Efficiently Generating Domain-Specific Requirements Modeling Tool. - Ruixin Geng; Jiahao Weng; Ning Ge 002; Jingyao Li; Chunming Hu (SIGSOFT FSE Companion, 2025)

SemServGen: Advancing Industrial Domain-Specific Language Engineering through Semantic Service Generation. - Yong Wang; Ning Ge 002; Jingyao Li; Loulin Wang; Guangyu Zhou; Chengrui Deng; Li Zhang 029; Chunming Hu (SIGSOFT FSE Companion, 2025)

Understanding the challenges and requirements for facilitating iStar learning: An empirical study with iStar learners. - Tong Li 001; Qixiang Zhou; Yunduo Wang; Haonan Xiong; Wenxing Liu; Ning Ge 002 (Inf. Softw. Technol., 2025)