default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNing Ge 0002
Person information
- affiliation: Beihang University, School of Software, Beijing, China
- affiliation: IRT-Saint Exupéry, Toulouse, France
- affiliation: Systerel, Toulouse, France
- affiliation (former): University of Toulouse, France
Other persons with the same name
- Ning Ge — disambiguation page
- Ning Ge 0001
![[0000-0002-4922-7025]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-4922-7025")
— Tsinghua University, Department of Electronic Engineering, Beijing, China
2020 – today
- 2024
[c21]Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao:
Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. ICTAC 2024: 290-309- [c20]Wenting Dong, Huibiao Zhu, Sini Chen, Ning Ge:
A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry. ISSRE 2024: 535-546 - 2023
- [j10]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): 218-229 (2023) - [c19]Ning Ge, Jinwen Yang, Tianyu Yu, Wei Liu:
AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts. ICECCS 2023: 71-80 - [c18]Shumao Zhai, Xiaozhou Li, Ning Ge:
HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. ICSE Companion 2023: 16-20 - 2022
- [j9]Weiwei Yu, Li Zhang, Ning Ge:
An adaptive multiobjective evolutionary algorithm for dynamic multiobjective flexible scheduling problem. Int. J. Intell. Syst. 37(12): 12335-12366 (2022) - [j8]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): 2277-2294 (2022) - [c17]Ning Ge, Yuchen Liu:
MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking. ISSRE 2022: 332-343 - [c16]Ning Ge, Yunduo Wang, Yuan Wang, Yong Wang:
Towards the practical adoption of LIDL: a toolchain for modeling human-machine interface software interactions. MoDELS (Companion) 2022: 12-16 - [c15]Ning Ge, Ze Wang, Li Zhang, Jiuang Zhao, Yufei Zhou, Zewei Liu:
ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code. SANER 2022: 566-576 - 2021
- [j7]Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang:
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus. Sci. Comput. Program. 206: 102624 (2021) - [i4]Ning Ge, Guanghao Li, Li Zhang, Yi Liu:
Failure Prediction in Production Line Based on Federated Learning: An Empirical Study. CoRR abs/2101.11715 (2021) - 2020
- [c14]Li Zhang, Yanxu Li, Ning Ge:
Exploration on Theoretical and Practical Projects of Software Architecture Course. ICCSE 2020: 391-395 - [i3]Yi Liu, Li Zhang, Ning Ge, Guanghao Li:
A Systematic Literature Review on Federated Learning: From A Model Quality Perspective. CoRR abs/2012.01973 (2020)
2010 – 2019
- 2019
- [j6]Rongfei Xu, Li Zhang, Ning Ge:
Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System. IEEE Access 7: 39547-39563 (2019) - [c13]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 - 2018
- [j5]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): 1575-1595 (2018) - [j4]Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin:
Correct-by-construction specification to verified code. J. Softw. Evol. Process. 30(10) (2018) - [j3]Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau:
Integrated formal verification of safety-critical software. Int. J. Softw. Tools Technol. Transf. 20(4): 423-440 (2018) - [c12]Rongfei Xu, Li Zhang, Ning Ge, Jing Jiang:
Timing Analysis for Microkernel-based Real-Time Embedded System. SEKE 2018: 512-511 - [c11]Rongfei Xu, Li Zhang, Ning Ge, Xavier Blanc:
Schedulability Analysis of Real-time Tasks with Precedence Constraints. SEKE 2018: 518-517 - 2017
- [c10]Xiaocong Li, Li Zhang, Ning Ge:
Framework Information Based Java Software Architecture Recovery. APSEC Workshops 2017: 114-120 - [c9]Arnaud Dieumegard, Ning Ge, Eric Jenn:
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. NFM 2017: 327-341 - [c8]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: 1-8 - [c7]Ning Ge, Marc Pantel, Silvano Dal-Zilio:
Formal verification of user-level real-time property patterns. TASE 2017: 1-8 - 2016
- [c6]Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau:
Formal Verification of a Rover Anti-collision System. FMICS-AVoCS 2016: 171-188 - [i2]Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin:
From Event-B to Verified C via HLL. CoRR abs/1610.07410 (2016) - [i1]Ning Ge, Marc Pantel, Xavier Crégut:
Probabilistic Failure Analysis in Model Validation & Verification. CoRR abs/1611.05083 (2016) - 2015
- [j2]Ning Ge, Shin Nakajima, Marc Pantel:
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model. Simul. 91(10): 851-868 (2015) - 2014
- [b1]Ning Ge:
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). National Polytechnic Institute of Toulouse, France, 2014 - [c5]Ning Ge, Marc Pantel:
Real-Time Property Specific Reduction for Time Petri Net. PNSE @ Petri Nets 2014: 165-179 - [c4]Ning Ge, Marc Pantel, Xavier Crégut:
Automated Failure Analysis in Model Checking Based on Data Mining. MEDI 2014: 13-28 - 2013
- [c3]Ning Ge, Shin Nakajima, Marc Pantel:
Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model. SpringSim (TMS-DEVS) 2013: 16 - 2012
- [j1]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): 1-8 (2012) - [c2]Ning Ge, Marc Pantel:
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. ECMFA 2012: 352-367 - [c1]Ning Ge, Marc Pantel, Xavier Crégut:
Formal Specification and Verification of Task Time Constraints for Real-Time Systems. ISoLA (2) 2012: 143-157
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-07 00:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
