Nos partenaires
Rechercher
Accueil du site > Français > Productions scientifiques > Publications
Publications
Shin Nakajima
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
-
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 : Institute of Electrical and Electronics Engineers, (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 : Association for Computing Machinery, (support électronique), avril 2013.
Accès : http://oatao.univ-toulouse.fr/15150/
BibTeX