Shin Nakajima

J-GLOBAL         Last updated: Dec 6, 2017 at 13:53
 
Avatar
Name
Shin Nakajima
Affiliation
National Institute of Informatics
Job title
Professor
Degree
Ph.D. (The University of Tokyo)
Other affiliation
SOKENDAI

Profile

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

What's new

 
 

Research Areas

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

Association Memberships

 
 

Misc

 
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

 
Shin Nakajima
Journal of Science Policy and Research Management   32(3) 235-250   Nov 2017   [Invited]
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]
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]