Publications de
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 : Institute of Electrical and Electronics Engineers, (support électronique), mai 2013.
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 : Association for Computing Machinery, (support électronique), avril 2013.
Time Properties Dedicated Semantics for UML-MARTE Safety Critical Real-Time System Verification (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2012), Toulouse, France, 04/04/12-05/04/12, IRIT, (en ligne), avril 2012.
Accès : http://seminaire-verif.enseeiht.fr/FAC/2012/Papiers/I-5.pdf
BibTeXNing Ge, Marc Pantel, Xavier Crégut
Time Properties Dedicated Framework for UML-MARTE Safety Critical RTES Verification (regular paper)
Dans : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (en ligne), 2012.
Accès : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Ge-paper37.pdf
BibTeXNing Ge, Marc Pantel, Xavier Crégut
Formal specification and verification of task time constraints for real-time systems (regular paper)
Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Héraclion, Crète, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, p. 143-157, 2012.
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.
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 : Association for Computing Machinery, SIGSOFT Software Engineering Notes 4, p. 1-8, 2012.