Shin Nakajima
(中島 震)
Modified on: 06/07
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
Major Misc.
81Major Books and Other Publications
19-
Jul, 2023 (ISBN: 9784621308134)
-
丸善出版, Dec, 2022 (ISBN: 9784621307809)
-
丸善出版, Nov, 2020 (ISBN: 9784621305737)
-
放送大学教育振興会, Mar, 2019 (ISBN: 9784595141195)
Major Presentations
78-
デジタル社会における新たなトラスト形成〜総合知による取り組み〜, Jan 10, 2023 Invited
-
電子情報通信学会ソフトウェア研究会・ディペンダブルコンピューティング研究会, Oct 25, 2022 Invited
-
The 11th international workshop on SOFL + MSVL for Reliability and Security, Oct 24, 2022 Invited
Teaching Experience
7Major Papers
121-
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 306-313, Dec, 2021 Peer-reviewedLead author
-
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 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
Major Media Coverage
2
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated
Major Social Activities
5