Shin Nakajima

J-GLOBAL         Last updated: Oct 10, 2017 at 13:48
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

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   
Are Formal Engineering Methods and Agile Methods Friend or Enemy? [Invited]
Shin Nakajima
ICFEM 2014   4 Nov 2014   
SMTreloaded – SMT-based Model Checking with Relational Logic Added
Franz Weitl, Shin Nakajima
Workshop on Dependability of Network Software Applications 2010 (DNSA Workshop)   Nov 2010   
A Refinement Planning Sheet
Shin Nakajima
Rodin User and Developer Workshop 2010   Sep 2010   

Published Papers

Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata and Shin Nakajima
Proc. 7th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2017)   1-6   Aug 2017   [Refereed]
Dataset Coverage for Testing Machine Learning Computer Programs
Shin Nakajima and Hai Ngoc Bui
Proc. 23rd Asia-Pacific Software Engineering Conference (APSEC 2016)   297-304   Dec 2016   [Refereed]
Model-based Analysis of Energy Consumption Behavior
Shin Nakajima
Trustworthy Cyber Physical Systems Engineering   271-305   Oct 2016   [Refereed][Invited]
Anh Le, Shin Nakajima, Thuan Ninh Truong
SpringerPlus      Jul 2016   [Refereed]
Shin Nakajima and Si-Mohamed Lamraoui
Proc. 5th International Workshop on SOFL+MSVL (SOFL+MSVL 2015)   72-85   Mar 2016   [Refereed]