Ning Ge
Ning Ge
Associate Professor, Beihang University
Adresse e-mail validée de buaa.edu.cn
Titre
Citée par
Citée par
Année
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model
N Ge, S Nakajima, M Pantel
Simulation 91 (10), 851-868, 2015
172015
Formal specification and verification of task time constraints for real-time systems
N Ge, M Pantel, X Crégut
International Symposium On Leveraging Applications of Formal Methods …, 2012
172012
Time properties verification framework for uml-marte safety critical real-time systems
N Ge, M Pantel
European Conference on Modelling Foundations and Applications, 352-367, 2012
172012
Industrial grade model checking: use Cases, constraints, tools and applications
M Clabaut, N Ge, N Breton, E Jenn, R Delmas, Y Fonteneau
112016
Automated failure analysis in model checking based on data mining
N Ge, M Pantel, X Crégut
International Conference on Model and Data Engineering, 13-28, 2014
112014
Time properties dedicated transformation from UML-MARTE activity to time transition system
N Ge, M Pantel, X Crégut
ACM SIGSOFT Software Engineering Notes 37 (4), 1-8, 2012
102012
Integrated formal verification of safety-critical software
N Ge, E Jenn, N Breton, Y Fonteneau
International Journal on Software Tools for Technology Transfer, 1-18, 2017
92017
Hidden markov model based automated fault localization for integration testing
N Ge, S Nakajima, M Pantel
2013 IEEE 4th International Conference on Software Engineering and Service …, 2013
72013
Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model
N Ge, S Nakajima, M Pantel
ACM, 2013
72013
Correct-by-Construction Specification to Verified Code
N Ge, A Dieumegard, E Jenn, L Voisin
Journal of Software: Evolution and Process 30 (10), 2018
62018
Formal Verification of a Rover Anti-collision System
N Ge, E Jenn, N Breton, Y Fonteneau
International Workshop on Formal Methods for Industrial Critical Systems and …, 2016
62016
Beagle: A New Framework for Smart Contracts Taking Account of Law
WT Tsai, N Ge, J Jiang, K Feng, J He
Thirteenth IEEE International Conference on Service-Oriented System Engineering, 2019
52019
Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems
N Ge, A Dieumegard, E Jenn, B d'Ausbourg, Y Aït-Ameur
Eleventh International Symposium on Theoretical Aspects of Software Engineering, 2017
52017
Event-B at work: some lessons learnt from an application to a robot anti-collision function
A Dieumegard, N Ge, E Jenn
NASA Formal Methods Symposium, 327-341, 2017
52017
Real-Time Property Specific Reduction for Time Petri Net
N Ge, M Pantel
International Workshop on Petri Nets and Software Engineering (PNSE …, 2014
52014
Packet-mode scheduling with proportional fairness for input-queued switches
K Xi, S Arakawa, M Murata, N Ge, C Feng
IEICE transactions on communications 88 (11), 4274-4284, 2005
52005
A UML-MARTE Temporal Property Verification Tool based on Model Checking
N Ge, M Pantel, X Crégut
International Conference on Embedded Real Time Software and Systems (ERTS), 2014
42014
Time properties dedicated semantics for uml-marte safety critical real-time system verification
N Ge, M Pantel
Proc. the 8th European Conference on Modelling Foundations and Applications …, 2012
42012
Formal Verification of User-Level Real-Time Property Patterns
N Ge, M Pantel, S Dal Zilio
Eleventh International Symposium on Theoretical Aspects of Software Engineering, 2017
32017
From Event-B to Verified C via HLL
N Ge, A Dieumegard, E Jenn, L Voisin
arXiv preprint arXiv:1610.07410, 2016
32016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20