Institut de Recherche en Informatique de Toulouse

Nos partenaires

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

Ning Ge, Shin Nakajima, Marc Pantel. Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model. Dans : Simulation, SAGE Publications, Vol. 91 N. 10, p. 851-868, 2015.
Accès : http://oatao.univ-toulouse.fr/15450/
BibTeX

Conférences et workshops internationaux / International conference papers

Guillaume Babin, Yamine Ait Ameur, Shin Nakajima, Marc Pantel. Refinement and Proof Based Development of Systems Characterized by Continuous Functions (regular paper). Dans : International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), Nanjing, Chine, 04/11/2015-06/11/2015, Vol. 9409, Xuandong Li, Zhiming Liu, Wang Yi (Eds.), Springer-Verlag, Lecture Notes in Computer Science, p. 55-70, 2015.
Accès : http://dx.doi.org/10.1007/978-3-319-25942-0_4
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/2013-25/05/2013, 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/2013-10/04/2013, ACM, (support électronique), avril 2013.
Accès : http://oatao.univ-toulouse.fr/15150/
BibTeX