Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Ning Ge

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Conférences et workshops internationaux / International conference papers
  • Ning Ge, Marc Pantel, Silvano Dal Zilio. Formal Verification of User-Level Real-Time Property Patterns (regular paper). Dans : Theoretical Aspects of Software Engineering, Nice, France, 13/09/17-15/09/17, septembre 2017 (à paraître).
    BibTeX

  • Ning Ge, Marc Pantel, Xavier Crégut. Automated Failure Analysis in Model Checking based on Data Mining (regular paper). Dans : International Conference On Model and Data Engineering (MEDI 2014), Larnaca, Cyprus, 24/09/14-26/09/14, Springer-Verlag, (support électronique), septembre 2014.
    BibTeX

  • Ning Ge, Marc Pantel. Real-Time Property Specific Reduction for Time Petri Net (regular paper). Dans : Petri Nets and Software Engineering (PNSE 2014), Tunis, Tunisie, 23/06/14-24/06/14, CEUR Workshop Proceedings, p. 165-179, juin 2014.
    BibTeX

  • Ning Ge, Marc Pantel, Xavier Crégut. A UML-MARTE Temporal Property Verification Tool based on Model Checking (regular paper). Dans : International Conference on Embedded Real Time Software and Systems (ERTS2 2014), Toulouse, 05/02/14-07/02/14, SIA/3AF/SEE, (support électronique), février 2014.
    BibTeX

  • Ning Ge, Marc Pantel, Xavier Crégut. Probabilistic failure analysis in model Validation &Verification (regular paper). Dans : International Conference on Embedded Real Time Software and Systems (ERTS2 2014), Toulouse, 05/02/14-07/02/14, SIA/3AF/SEE, (support électronique), février 2014.
    BibTeX

  • Ning Ge, Shin Nakajima, Marc Pantel. Hidden Markov Model Based Automated Fault Localization for Integration Testing (regular paper). Dans : International Conference on Software Engineering and Service Science (ICSESS 2013), Beijing, 23/05/13-25/05/13, IEEE, (support électronique), mai 2013.
    Accès : http://oatao.univ-toulouse.fr/15151/
    BibTeX

  • Ning Ge, Shin Nakajima, Marc Pantel. Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model (regular paper). Dans : Symposium on Theory and Modeling of Simulation (TMS/DEVS 2013), San Diego, 07/04/13-10/04/13, ACM, (support électronique), avril 2013.
    Accès : http://oatao.univ-toulouse.fr/15150/
    BibTeX

  • Ning Ge, Marc Pantel, Xavier Crégut. Formal specification and verification of task time constraints for real-time systems (regular paper). Dans : International Symposium On Leveraging Applications (ISoLA 2012), Héraclion, Crète, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, p. 143-157, 2012.
    BibTeX

  • Ning Ge, Marc Pantel, Xavier Crégut. Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (regular paper). Dans : European Conference on Modelling Foundations and Applications (ECMFA 2012), Lyngby, Danemark, 02/07/12-05/07/12, Vol. 7349, Springer, Lecture Notes in Computer Science, p. 352-367, 2012.
    BibTeX

  • Ning Ge, Marc Pantel, Xavier Crégut. Time properties dedicated transformation from UML-MARTE Activity to Time Transition System (regular paper). Dans : International workshop UML and Formal Methods (UML&FM'2012 2012), Paris, 27/08/12-31/08/12, Vol. 37, ACM, SIGSOFT Software Engineering Notes 4, p. 1-8, 2012.
    BibTeX

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings
  • Ning Ge, Marc Pantel, Xavier Crégut. Probabilistic Failure Analysis in Model Validation & Verification. Dans : Formalisation des Activités Concurrentes, Toulouse, 16/04/14-17/04/14.
    BibTeX

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Ning Ge. Property Driven Verification Framework: Application to Real-Time Property for UML-MARTE Software Designs. Thèse de doctorat, Institut National Polytechnique de Toulouse, mai 2014.
    BibTeX