Shin Nakajima

J-GLOBAL         Last updated: Jan 17, 2020 at 21:45
Shin Nakajima
National Institute of Informatics
Job title
Ph.D. (The University of Tokyo)
Other affiliation


Software Engineering for Dependable Systems; Formal Methods including Formal Specification Languages and Logic Model-Checking.

Research Areas

  • Informatics / Software / 
  • Informatics / Software / Formal Methods, Model-Checking

Association Memberships



Shin Nakajima
Ph.D. Thesis, The University of Tokyo      Nov 2000

Books etc

Cyber-Physical System Design from an Architecture Analysis Viewpoint
Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu
Springer   Jun 2017   ISBN:978-981-10-4435-9
Proceedings of ISORC 2009
Shin NAKAJIMA et al (eds.)
IEEE   Mar 2009   

Conference Activities & Talks

A Brief Introduction to Machine Learning Software Testing
Shin Nakajima
15 Jan 2020   
Shin Nakajima
28 Aug 2019   
Shin Nakajima
Asia Pacific Conference on Robot IoT System Development and Platform (APRIS2018)   31 Oct 2018   
Software Engineering of Uncertainty in the Third Economic Revolution Era [Invited]
Shin Nakajima
JAIST International Symposium on Knowledge Science   14 Mar 2016   
SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs
Si-Mohamed Lamraoui, Shin Nakajima
9 Mar 2015   

Published Papers

Shin Nakajima
Proc. 24th International Conference on Technologies and Applications of Artificial Intelligence (TAAI 2019)   1-6   Nov 2019   [Refereed]
Distortion and Faults in Machine Learning Software
Shin Nakajima
Proc. SOFL+MSVL 2019      Nov 2019   [Refereed]
Preprint arXiv:1911.11596, November 2019.
S. Nakajima and T.Y. Chen
Proc. IFIP-ICTSS 2019   56-64   Oct 2019   [Refereed]
K. Okano, S. Harauchi, T. Sekizawa, S. Ogata, and S. Nakajima
IEICE Trans. Information and Systems   E102-D(8) 1498-1505   Aug 2019   [Refereed]
Guillermina Cledou and Shin Nakajima
Proc.3rd International Conference on Complex Systems Design and Management (CSD&M Asia 2018)   1-12   Dec 2018   [Refereed]