Shin Nakajima

J-GLOBAL         Last updated: Mar 27, 2017 at 13:59
 
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.

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

 
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   
Analyzing Lifecycle Behavior of Android Application Components
Shin Nakajima
The First International Workshop on Dependable Software and Applications (DSA 2015)   5 Jul 2015   
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   

Published Papers

 
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]
Si-Mohamed Lamraoui and Shin Nakajima
Journal of Information Processing   24(1) 88-98   Jan 2016   [Refereed]