Shin Nakajima
(中島 震)
Modified on: 08/02
Profile Information
- Affiliation
- (Professor Emeritus), National Institute of Informatics
- Degree
-
Ph.D. (The University of Tokyo)(Nov, 2000, The University of Tokyo)
- ORCID ID
https://orcid.org/0000-0002-3827-3165- researchmap Member ID
- 5000034850
- External link
Software Engineering for Dependable Systems; Formal Methods including Formal Specification Languages and Logic Model-Checking.
Research Interests
11Research Areas
2Research History
17-
Apr, 2021 - Present
-
Apr, 2021 - Present
-
Apr, 2018 - Present
-
Apr, 2019 - Mar, 2021
-
Apr, 2017 - Mar, 2021
-
Apr, 2005 - Mar, 2021
-
Apr, 2018 - Mar, 2019
-
Apr, 2006 - Mar, 2017
-
Apr, 2012 - Mar, 2016
-
Dec, 2004 - Mar, 2007
-
Apr, 2004 - Mar, 2007
-
Apr, 2004 - Mar, 2006
-
Oct, 2003 - Nov, 2004
-
Apr, 2002 - Mar, 2004
-
Dec, 2001 - Sep, 2003
-
Apr, 1981 - Mar, 2002
Professional Memberships
1Awards
5-
Sep, 2020
-
Nov, 2017
-
Oct, 2015
-
Jun, 2004
-
Sep, 2001
Misc.
80-
Technical report of IEICE. SS, 114(510) 13-18, Mar 9, 2015
-
電子情報通信学会誌, 98(2) 124-129, Feb, 2015 Invited
-
コンピュータソフトウェア, 31(1) 43-48, Jan, 2014 Peer-reviewedInvited
-
電子情報通信学会 情報・システムソサイエティ誌, 17(3) 8-9, Nov, 2012 Invited
-
Technical report of IEICE. SS, 111(268) 55-60, Oct 20, 2011
-
2011 1-8, Sep 6, 2011
-
IEICE technical report, 111(107) 7-10, Jun 23, 2011
-
IEICE technical report, 110(458) 91-96, Feb 28, 2011
-
自動車研究, 32(10) 561-565, Oct, 2010 Invited
-
IEICE technical report, 110(169) 41-46, Jul 29, 2010
-
2010(3) 1-8, Jul 15, 2010
-
IEICE technical report, 110(61) 63-68, May 20, 2010
-
IEICE technical report, 109(367) 1-6, Jan 14, 2010
-
IEICE technical report, 109(231) 25-30, Oct 8, 2009
-
IEICE technical report, 109(231) 13-18, Oct 8, 2009
-
IEICE technical report, 109(231) 19-24, Oct 8, 2009
-
コンピュータ ソフトウェア, 26(3) 78-83, Aug, 2009 Peer-reviewedInvited
-
IEICE technical report, 108(173) 7-12, Jul 24, 2008
-
IPSJ SIG Notes, 2008(55) 81-88, Jun 12, 2008
Books and Other Publications
17-
丸善出版, Nov, 2020 (ISBN: 9784621305737)
-
Springer, Sep, 2020 (ISBN: 9789811550539)
-
近代科学社, Apr, 2019 (ISBN: 9784764905894)
-
放送大学教育振興会, Mar, 2019 (ISBN: 9784595141195)
-
Springer, Jun, 2017 (ISBN: 9789811044359)
-
近代科学社, Feb, 2015 (ISBN: 9784764904248)
-
丸善出版, Mar, 2013 (ISBN: 9784621053836)
-
オーム社, Apr, 2012 (ISBN: 9784274211881)
-
晃洋書房, Jul, 2011 (ISBN: 9784771022874)
-
オーム社, Jul, 2011 (ISBN: 9784274068584)
-
オーム社, Mar, 2010 (ISBN: 9784274208447)
-
近代科学社, Nov, 2009 (ISBN: 9784764903760)
-
IEEE, Mar, 2009
-
近代科学社, Apr, 2008 (ISBN: 9784764903531)
-
近代科学社, Dec 25, 2007 (ISBN: 9784764903470)
-
情報処理学会, Oct, 2007
-
近代科学社, 2002
Presentations
75-
情報処理学会 第206回ソフトウェア工学研究発表会（オンライン開催）, Nov 27, 2020
-
日本ソフトウェア科学会第37 回大会（オンライン開催）, Sep 10, 2020
-
情報処理学会 第205回ソフトウェア工学研究会（オンライン開催）, Jul 2, 2020
-
FOSE 2019, Nov 28, 2019
-
Aug 28, 2019
-
情報処理学会第202回ソフトウェア工学研究発表会, Jul 12, 2019
-
電子情報通信学会ソフトウェア・サイエンス研究会, Mar 5, 2019
-
電子情報通信学会知能ソフトウェア工学研究会, Nov 9, 2018
-
Asia Pacific Conference on Robot IoT System Development and Platform (APRIS2018), Oct 31, 2018 Invited
-
情報処理学会第199回ソフトウェア工学研究発表会, Jul 19, 2018
-
機械学習工学研究会キックオフシンポジウム, May 17, 2018 Invited
-
電子情報通信学会ソフトウェア・サイエンス研究会, Mar 7, 2018
-
情報処理学会ソフトウェア工学研究会, Nov 10, 2017
-
CEATECx産総研人工知能コンファレンス, Oct 4, 2017 Invited
-
日本ソフトウェア科学会第34回大会, Sep 21, 2017
-
情報処理学会 第45回組込みシステム研究発表会, Jun 30, 2017
-
JAIST イノベーション・デザイン・セミナー, Mar 17, 2017 Invited
-
電子情報通信学会ソフトウェアサイエンス研究会, Mar 9, 2017
Teaching Experience
7Major Papers
120-
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), Dec, 2021
-
Proc. 10th SOFL+MSVL, 175-192, Mar, 2021 Peer-reviewedLead author
-
IEEE Transactions on Software Engineering, 48(2) 691-712, Jun, 2020 Peer-reviewed
-
Proc. IFIP-ICTSS 2019, 56-64, Oct, 2019 Peer-reviewed
-
コンピュータ・ソフトウェア, 35(2) 26-32, May, 2018 Peer-reviewed
-
Journal of Science Policy and Research Management, 32(3) 235-250, Nov, 2017 Invited
-
FM 2015: FORMAL METHODS, 9109 378-394, 2015 Peer-reviewed
-
Progress in Informatics, (2) 57-76, Nov, 2005 Peer-reviewed
-
コンピュータ・ソフトウェア, 19(2) 82-98, Mar, 2002 Peer-reviewed
-
コンピュータ・ソフトウェア, 18(5) 17-46, Sep 15, 2001
-
Proc. SPIN 2001, 163-182, May 1, 2001 Peer-reviewed
-
FM'99-Formal Methods, VOL II, 1709 1664-1683, 1999 Peer-reviewed
-
Proceedings of the 1997 International Conference on Software Engineering (ICSE), 34-44, 1997 Peer-reviewedLead authorCorresponding author
Committee Memberships
9-
Oct, 2018 - Present
-
Jun, 2011 - Present
-
Apr, 2004 - Present
-
Jun, 2014 - May, 2018
-
Apr, 2012 - Mar, 2018
-
Jun, 2012 - May, 2014
-
Jan, 2013 - Feb, 2013
-
Jun, 2010 - May, 2012
-
Jun, 1999 - May, 2003
Media Coverage
2-
朝日新聞社, 朝日新聞デジタル WEBRONZA, Nov 30, 2018 Newspaper, magazine
-
CEATEC Japan & 産総研人工知能センター, Oct 4, 2017 Other
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated
Social Activities
5