Ning Ge
Beihang University
H-index: 10
Asia-China
Top articles of Ning Ge
AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts
2023/6/14
Ning Ge
H-Index: 6
Wei Liu
H-Index: 16
HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols
2023/5
Xiaozhou Li
H-Index: 3
Ning Ge
H-Index: 6
Production plan analysis oriented collaborative manufacturing process modeling language and modeling/simulation system
Computer Integrated Manufacturing System
2023
Collaborative manufacturing operation mode and modelling simulation of manufacturing enterprise based on collective intelligence
International Journal of Bio-Inspired Computation
2023
MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking
2022
Ning Ge
H-Index: 6
Yuchen Liu
H-Index: 4
ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code
2022
共识协议的形式化验证研究现状与展望
Journal of Software
2022
基于消息传递关系网络的布尔可满足性预测
Journal of Software
2022/1/28
An adaptive multiobjective evolutionary algorithm for dynamic multiobjective flexible scheduling problem
2022/7/18
Towards the Practical Adoption of LIDL: A Toolchain for Modeling Human-Machine Interface Software Interactions
2022
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus
Science of Computer Programming
2021/6/1
Failure Prediction in Production Line Based on Federated Learning: An Empirical Study
Journal of Intelligent Manufacturing
2021/5/21
A systematic literature review on federated learning: From a model quality perspective
2020/12/1
Exploration on theoretical and practical projects of software architecture course
2020/8/18
Li Zhang
H-Index: 7
Ning Ge
H-Index: 6