Ning Ge - RankMe

39 papers A* 1A 3B 3C 4Misc 2Journal 13Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	LusGen: Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability. FASE Yili Jiang, Zhuoran Yan, Ning Ge, Yuan Wang, Jiahao Weng, Chunming Hu
2025	—	`conf`	DReM: Efficiently Generating Domain-Specific Requirements Modeling Tool. SIGSOFT FSE Companion Ruixin Geng, Jiahao Weng, Ning Ge, Jingyao Li, Chunming Hu
2025	—	`conf`	Generating SysML Behavior Models via Large Language Models: an Empirical Study. Internetware Yuan Wang, Ning Ge, Jiangxi Liu, Zhilong Cao, Zheping Chen, Chunming Hu
2025	A*	`conf`	Learning Splitting Heuristics in Divide-and-Conquer SAT Solvers with Reinforcement Learning. ICLR Shumao Zhai, Ning Ge
2025	—	`conf`	SemServGen: Advancing Industrial Domain-Specific Language Engineering through Semantic Service Generation. SIGSOFT FSE Companion Yong Wang, Ning Ge, Jingyao Li, Loulin Wang, Guangyu Zhou, Chengrui Deng, Li Zhang, Chunming Hu
2025	J	`jnl`	Understanding the challenges and requirements for facilitating iStar learning: An empirical study with iStar learners. Inf. Softw. Technol. Tong Li, Qixiang Zhou, Yunduo Wang, Haonan Xiong, Wenxing Liu, Ning Ge
2024	A	`conf`	A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry. ISSRE Wenting Dong, Huibiao Zhu, Sini Chen, Ning Ge
2024	C	`conf`	Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. ICTAC Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao
2023	B	`conf`	AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts. ICECCS Ning Ge, Jinwen Yang, Tianyu Yu, Wei Liu
2023	—	`conf`	HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. ICSE Companion Shumao Zhai, Xiaozhou Li, Ning Ge
2022	J	`jnl`	An adaptive multiobjective evolutionary algorithm for dynamic multiobjective flexible scheduling problem. Int. J. Intell. Syst. Weiwei Yu, Li Zhang, Ning Ge
2022	A	`conf`	ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code. SANER Ning Ge, Ze Wang, Li Zhang, Jiuang Zhao, Yufei Zhou, Zewei Liu
2022	J	`jnl`	Failure prediction in production line based on federated learning: an empirical study. J. Intell. Manuf. Ning Ge, Guanghao Li, Li Zhang, Yi Liu
2022	A	`conf`	MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking. ISSRE Ning Ge, Yuchen Liu
2022	—	`conf`	Towards the practical adoption of LIDL: a toolchain for modeling human-machine interface software interactions. MoDELS (Companion) Ning Ge, Yunduo Wang, Yuan Wang, Yong Wang
2021	J	`jnl`	Failure Prediction in Production Line Based on Federated Learning: An Empirical Study. CoRR Ning Ge, Guanghao Li, Li Zhang, Yi Liu
2021	J	`jnl`	RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on Sci. Comput. Program. Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang
2020	J	`jnl`	A Systematic Literature Review on Federated Learning: From A Model Quality Perspective. CoRR Yi Liu, Li Zhang, Ning Ge, Guanghao Li
2020	—	`conf`	Exploration on Theoretical and Practical Projects of Software Architecture Course. ICCSE Li Zhang, Yanxu Li, Ning Ge
2019	—	`conf`	Invited Paper: Beagle: A New Framework for Smart Contracts Taking Account of Law. SOSE Wei-Tek Tsai, Ning Ge, Jiaying Jiang, Kevin Feng, Juan He
2019	J	`jnl`	Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System. IEEE Access Rongfei Xu, Li Zhang, Ning Ge
2018	J	`jnl`	Correct-by-construction specification to verified code. J. Softw. Evol. Process. Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
2018	J	`jnl`	Integrated formal verification of safety-critical software. Int. J. Softw. Tools Technol. Transf. Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
2018	J	`jnl`	Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints. Int. J. Softw. Eng. Knowl. Eng. Rongfei Xu, Li Zhang, Ning Ge, Xavier Blanc
2018	C	`conf`	Schedulability Analysis of Real-time Tasks with Precedence Constraints. SEKE Rongfei Xu, Li Zhang, Ning Ge, Xavier Blanc
2018	C	`conf`	Timing Analysis for Microkernel-based Real-Time Embedded System. SEKE Rongfei Xu, Li Zhang, Ning Ge, Jing Jiang
2017	—	`conf`	Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. NFM Arnaud Dieumegard, Ning Ge, Eric Jenn
2017	Misc	`conf`	Formal development process of safety-critical embedded human machine interface systems. TASE Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur
2017	Misc	`conf`	Formal verification of user-level real-time property patterns. TASE Ning Ge, Marc Pantel, Silvano Dal-Zilio
2016	—	`conf`	Formal Verification of a Rover Anti-collision System. FMICS-AVoCS Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
2016	J	`jnl`	From Event-B to Verified C via HLL. CoRR Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
2016	J	`jnl`	Probabilistic Failure Analysis in Model Validation & Verification. CoRR Ning Ge, Marc Pantel, Xavier Crégut
2014	C	`conf`	Automated Failure Analysis in Model Checking Based on Data Mining. MEDI Ning Ge, Marc Pantel, Xavier Crégut
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
2014	—	`conf`	Real-Time Property Specific Reduction for Time Petri Net. PNSE @ Petri Nets Ning Ge, Marc Pantel
2013	—	`conf`	Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model. SpringSim (TMS-DEVS) Ning Ge, Shin Nakajima, Marc Pantel
2012	—	`conf`	Formal Specification and Verification of Task Time Constraints for Real-Time Systems. ISoLA (2) Ning Ge, Marc Pantel, Xavier Crégut
2012	B	`conf`	Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. ECMFA Ning Ge, Marc Pantel
2012	J	`jnl`	Time properties dedicated transformation from UML-MARTE activity to time transition system. ACM SIGSOFT Softw. Eng. Notes Ning Ge, Marc Pantel, Xavier Crégut