BIOGRAPHY

2014 - now    Post-doc in LAAS-CNRS, Toulouse, France
2010 - 2014   Ph.D in ACADIE Group of IRIT Laboratory (UMR 5505 of the CNRS), Toulouse, France
2009 - 2010   M.Sc Computer Science and Telecommunication, INPT, Toulouse, France
2008 - 2010   M.Eng Computer Science and Applied Mathematics, ENSEEIHT, Toulouse, France
2003 - 2007   B.Sc Computer Science and Technology, Beihang University, Beijing, China

CONTACTS

E-mail              Ning [dot] Ge [at] laas [dot] fr

RESEARCH INTEREST

My research activities in Software Engineering focus on Software Safety. I investigate the following areas:
  • Model-Driven Engineering
  • Domain Specific (Modeling) Languages, and Metamodeling
  • Model Validation & Verification
  • Model Checking
  • Automatic Fault Localization
  • Safety Critical Real-Time Systems

PH.D THESIS

Property Driven Verification Framework: Application to Real-Time Property for UML-MARTE Software Designs

Advisors
Marc Pantel
Xavier Crégut

PROJECTS

FUI P project
OpenETCS project

UMLMMC (UML-MARTE Model Checker) Toolset

  • Real-Time Property Verification Toolset for UML-MARTE Safety Critical Real-Time System Designs (avaiable soon).
I'm involved in the teaching of some courses in INP-ENSEEIHT and INSA-Toulouse.
    2014 - 2015
  • Model Driven Engineering (Practical sessions)
    (5rd year, M2 level, INSA - Electrical and Computer Engineering)
    2013 - 2014
  • Software and System Engineering (Practical sessions)
    (2nd year, M1 level, ENSEEIHT - Computer Science and Applied Mathematics)
  • Cyber Physical System Development (Practical sessions)
    (3rd year, M2 level, ENSEEIHT - Computer Science and Applied Mathematics)
  • Model Driven Engineering (Tutorial sessions)
    (3rd year, M2 level, ENSEEIHT - Computer Science and Networks)
  • Object-Oriented Technology (Practical Sessions)
    (1st year, L3 level, ENSEEIHT - Computer Science and Applied Mathematics)
    2012 - 2013
  • Software Engineering (Practical sessions)
    (2nd year, M1 level, ENSEEIHT - Computer Science and Applied Mathematics)

INTERNATIONAL JOURNAL PUBLICATIONS

[1] Ning Ge, Marc Pantel and Xavier Crégut. Time Properties Dedicated Transformation from UML-MARTE Activity to Time Petri Net. In: ACM SIGSOFT Software Engineering Notes, Vol.37, N.4, pp.1-8, 2012. BibTeX

[2] Ning Ge, Shin Nakajima and Marc Pantel. Online Diagnosis of Accidental Faults for Real-Time Embedded Systems using Hidden Markov Model. Submitted.

INTERNATIONAL CONFERENCE PUBLICATIONS

[3] Ning Ge, Marc Pantel and Xavier Crégut. Automated Failure Analysis in Model Checking based on Data Mining. In: 4th International Conference on Model & Data Engineering (MEDI’2014). Larnaca, Cyprus. September 24-26, 2014. BibTex

[4] Ning Ge and Marc Pantel. Real-Time Property Specific Reduction for Time Petri Net. In: International Workshop on Petri Nets and Software Engineering (PNSE'14'). Tunis, Tunisia. June 23-24, 2014. BibTeX

[5] Ning Ge, Marc Pantel and Xavier Crégut. A UML-MARTE Real-Time Property Verification Tool based on Model Checking. In: International Conference on Embedded Real Time Software and Systems (ERTS'14). Toulouse, France. February 5-7, 2014.

[6] Ning Ge, Marc Pantel and Xavier Crégut. Probabilistic Failure Analysis in Model V&V. Accepted by International Conference on Embedded Real Time Software and Systems (ERTS'14). Toulouse, France. February 5-7, 2014.

[7] Ning Ge, Shin Nakajima and Marc Pantel. Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model. In: Spring Simulation Multi-Conference (SpringSim'13), Symposium of Theory of Modeling and Simulation (TMS'13). San Diego, CA, USA. April 7-10, 2013. (Best Paper Award of both TMS'13 and SpringSim'13) BibTeX

[8] Ning Ge, Shin Nakajima and Marc Pantel. Hidden Markov Model Based Automated Fault Localization for Integration Testing. In: 4th IEEE International Conference on Software Engineering and Service Science (ICSESS'13). Beijing, China. May 23-25, 2013. BibTeX

[9] Ning Ge, Marc Pantel and Xavier Crégut. Formal Specification and Verification of Task Time Constraints for Real-Time Systems. In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'12). Heraclion, Crete, Greece, October 15-18, 2012, Springer, Lecture Notes in Computer Science 7610, pp.143-157, 2012. BibTeX

[10] Ning Ge and Marc Pantel. Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. In: 8th European Conference on Modelling Foundations and Applications (ECMFA'12). Lyngby, Denmark, July 2-5, 2012. Springer, Lecture Notes in Computer Science 7349, pp.352-367, 2012. BibTeX

NATIONAL CONFERENCE PUBLICATIONS

[11] Ning Ge, Shin Nakajima and Marc Pantel. Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model. In: Formalisation des Activités Concurrentes. (FAC'13). Toulouse, France, April 9-10, 2013.

[12] Ning Ge, Marc Pantel and Xavier Crégut. A Framework Dedicated to Time Properties’ Verification of UML-MARTE Specifications. In: Conférence en Ingénierie du Logiciel (CIEL'12). Rennes, France, June 19--20, 2012.

[13] Ning Ge and Marc Pantel. Time Properties Verification Framework for UML-MARTE Safety Critical RTES Design. In: Formalisation des Activités Concurrentes. (FAC'12). Toulouse, France, April 4--5, 2012.

TECHNICAL REPORTS

[14] Ning Ge, Marc Pantel, Bernard Berthomieu and Xavier Crégut. A Flexible WCET Analysis Method for Safety Critical Real-Time System using UML-MARTE Model Checker.

[15] Ning Ge, Marc Pantel and Xavier Crégut. Helping the Designer in the Analysis of Model Checking Failure in UML Real-Time Designs. 

PH.D THESIS

[16] Ning Ge. Property Driven Verification Framework: Application to Real-Time Property for UML-MARTE Software Designs. May, 2014.