Shin Nakajima

J-GLOBAL         Last updated: Jun 18, 2019 at 17:08
 
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

 
05/29 11:44
 

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

 
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   
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

 
Guillermina Cledou and Shin Nakajima
Proc.3rd International Conference on Complex Systems Design and Management (CSD&M Asia 2018)   1-12   Dec 2018   [Refereed]
Shin Nakajima
Proc. 8th SOFL+MSVL   21-38   Feb 2019   [Refereed]
Shin Nakajima
Proc. GCCE 2018   601-604   Oct 2018   [Invited]
Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto
Proc. 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018)   194-203   Jul 2018   [Refereed]
Shin Nakajima
Journal of Science Policy and Research Management   32(3) 235-250   Nov 2017   [Invited]