Shin Nakajima
发表
Shin Nakajima,
Hai Ngoc Bui,
S. Nakajima,
2016,
2016 23rd Asia-Pacific Software Engineering Conference (APSEC).
Shaoying Liu,
Mo Li,
Shin Nakajima,
2012,
SOFL.
Dominique Méry,
Shin Nakajima,
Yamine Aït Ameur,
2016,
NII Shonan Meet. Rep..
Naoyasu Ubayashi,
Shin Nakajima,
S. Nakajima,
2007,
SAC '07.
Shin Nakajima,
Franz Weitl,
2010,
WWV.
Shin Nakajima,
Marc Pantel,
Ning Ge,
2013,
2013 IEEE 4th International Conference on Software Engineering and Service Science.
Shin Nakajima,
2002,
Ninth Asia-Pacific Software Engineering Conference, 2002..
Kazuyuki Tanaka,
Shin Nakajima,
Masaki Ishiguro,
2010,
SEUS.
Naoyasu Ubayashi,
Masayuki Hirayama,
Shin Nakajima,
2013,
Sci. Comput. Program..
Shin Nakajima,
Jorge Sousa Pinto,
Cláudio Belo Lourenço,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Tetsuo Tamai,
Shin Nakajima,
2006,
SESS '06.
Shin Nakajima,
Jorge Sousa Pinto,
Cláudio Belo Lourenço,
2015
.
Satoshi Harauchi,
Shin Nakajima,
Shinpei Ogata,
2017,
2017 26th International Conference on Computer Communication and Networks (ICCCN).
Shin Nakajima,
S. Nakajima,
2002
.
Naoyasu Ubayashi,
Masayuki Hirayama,
Shin Nakajima,
2010,
SPLC.
Jean-Pierre Talpin,
Shin Nakajima,
Huafeng Yu,
2016,
NII Shonan Meet. Rep..
Shaoying Liu,
Shin Nakajima,
2010,
2010 Fourth International Conference on Secure Software Integration and Reliability Improvement.
Burkhart Wolff,
Shin Nakajima,
David Basin,
2007
.
Burkhard Freitag,
Shin Nakajima,
Franz Weitl,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Naoyasu Ubayashi,
Shin Nakajima,
Keiji Hokamura,
2009,
2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design.
Shin Nakajima,
S. Nakajima,
2014,
Specification, Algebra, and Software.
Shaoying Liu,
Tetsuo Tamai,
Shin Nakajima,
2011,
Int. J. Softw. Eng. Knowl. Eng..
Naoyasu Ubayashi,
Shin Nakajima,
Keiji Hokamura,
2010,
2010 IEEE 34th Annual Computer Software and Applications Conference Workshops.
Tetsuo Tamai,
Shin Nakajima,
T. Tamai,
2004
.
Shaoying Liu,
Cong Tian,
Shin Nakajima,
2011,
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.
Shaoying Liu,
Tetsuo Tamai,
Shin Nakajima,
2009,
SAC '09.
Shin Nakajima,
2005
.
Shin Nakajima,
M. Tomono,
A. Yamanaka,
1997,
GLOBECOM 97. IEEE Global Telecommunications Conference. Conference Record.
Shin Nakajima,
2015,
2015 IEEE 3rd International Conference on Cyber-Physical Systems, Networks, and Applications.
Burkhard Freitag,
Shin Nakajima,
Franz Weitl,
2010,
it Inf. Technol..
Shin Nakajima,
S. Nakajima,
2014,
CSDM Asia.
Shin Nakajima,
2009,
SEKE.
Shin Nakajima,
2015,
FM.
Akihito Iwai,
Naoyasu Ubayashi,
Yasutaka Kamei,
2011
.
Akihiko Ohsuga,
Shinichi Honiden,
Shin Nakajima,
2007
.
Tetsuo Tamai,
Shin Nakajima,
T. Tamai,
2006,
SCESM '06.
Shin Nakajima,
Kokichi Futatsugi,
2001
.
Shin Nakajima,
Marc Pantel,
Ning Ge,
2015,
Simul..
Shaoying Liu,
Shin Nakajima,
Cencen Li,
2012
.
Shin Nakajima,
2006,
Electron. Notes Theor. Comput. Sci..
Shin Nakajima,
Si-Mohamed Lamraoui,
2015,
CyPhy.
Shin Nakajima,
Makoto Motoki,
1994
.
Shin Nakajima,
S. Nakajima,
2004,
ICWE.
Shin Nakajima,
Yoshikazu Ueda,
Satoru Furukawa,
2012,
2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
Shin Nakajima,
S. Nakajima,
2014,
SOFL+MSVL.
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
Shin Nakajima,
Franz Weitl,
2012
.
Shaoying Liu,
Shin Nakajima,
Wuwei Shen,
2012,
2012 International Conference on Systems and Informatics (ICSAI2012).
Shin Nakajima,
S. Nakajima,
2013,
ACES-MB@MoDELS.
Shin Nakajima,
2012,
2012 19th Asia-Pacific Software Engineering Conference.
Shin Nakajima,
2013,
QASBA 2013.
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
Shin Nakajima,
Franz Weitl,
S. Nakajima,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Shin Nakajima,
S. Nakajima,
2005
.
Shin Nakajima,
S. Nakajima,
1999,
World Congress on Formal Methods.
Shin Nakajima,
Yuusuke Hashimoto,
2009,
2009 16th Asia-Pacific Software Engineering Conference.
Shin Nakajima,
M. Tomobe,
M. Miki,
1996,
Proceedings of GLOBECOM'96. 1996 IEEE Global Telecommunications Conference.
Shin Nakajima,
2011,
2011 18th Asia-Pacific Software Engineering Conference.
Dominique Méry,
Régine Laleau,
Elena Troubitsyna,
2018
.
Shin Nakajima,
Si-Mohamed Lamraoui,
2015,
SOFL+MSVL.
Shin Nakajima,
Hiroshi Hosobe,
Si-Mohamed Lamraoui,
2015,
2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
Shin Nakajima,
S. Nakajima,
2001
.
Tetsuo Tamai,
Shin Nakajima,
T. Tamai,
2001,
SPIN '01.
Shin Nakajima,
S. Nakajima,
2010,
SAC '10.
Shin Nakajima,
Hong Anh Le,
Ninh Thuan Truong,
2016,
SpringerPlus.
Shaoying Liu,
Shin Nakajima,
Shaoying Liu,
2013,
SOFL+MSVL.
Aya Kubota,
Shin Nakajima,
Daisuke Matsui,
2010
.
Shin Nakajima,
Takashi Fukushima,
Toshio Tonouchi,
1997,
Proceedings of ICC'97 - International Conference on Communications.
Shaoying Liu,
Shin Nakajima,
2011,
2011 18th Asia-Pacific Software Engineering Conference.
Shin Nakajima,
S. Nakajima,
2018,
SOFL+MSVL.
Shin Nakajima,
2021
.
Shaoying Liu,
Kazuhiro Takahashi,
Shin Nakajima,
2010,
SoMeT.
Shin Nakajima,
2007
.
Shin Nakajima,
Toshio Tonouchi,
2000
.
Shin Nakajima,
M. Tomono,
T. Tonouchi,
1997
.
Toshiaki Aoki,
Shin Nakajima,
Takuya Katayama,
2004,
Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings..
Shin Nakajima,
Huynh Quyet Thang,
Thanh Nguyen Tien,
2013,
SoICT.
Akihito Iwai,
Naoyasu Ubayashi,
Shin Nakajima,
2008,
2008 15th Asia-Pacific Software Engineering Conference.
Taiichi Yuasa,
Toshiaki Aoki,
Tatsuo Nakajima,
2005,
IEICE Trans. Inf. Syst..
Dominique Méry,
Shin Nakajima,
Yamine Aït-Ameur,
2021
.
Akihito Iwai,
Naoyasu Ubayashi,
Shin Nakajima,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Shin Nakajima,
2010,
SPLC.
Shin Nakajima,
Marc Pantel,
Yamine Aït Ameur,
2015,
SETTA.
Shin Nakajima,
Yuusuke Hashimoto,
2009,
Electron. Notes Theor. Comput. Sci..
Shin Nakajima,
Si-Mohamed Lamraoui,
2016,
J. Inf. Process..
Shin Nakajima,
S. Nakajima,
2018,
2018 IEEE 7th Global Conference on Consumer Electronics (GCCE).
Shin Nakajima,
Marc Pantel,
Ning Ge,
2013,
SpringSim.
Shin Nakajima,
Guillermina Cledou,
2018,
CSDM Asia.
Shin Nakajima,
Hidetoshi Saito,
Shigeo Nakano,
2008
.
Shin Nakajima,
2000
.
Shaoying Liu,
Shin Nakajima,
2011,
AST '11.
Toshiaki Aoki,
Shin Nakajima,
Takuya Katayama,
2004
.
Shin Nakajima,
2013,
2013 20th Asia-Pacific Software Engineering Conference (APSEC).
Akihiko Ohsuga,
Shin Nakajima,
Tetsuo Hasegawa,
2000,
Proceedings Fourth International Enterprise Distributed Objects Computing Conference. EDOC2000.
Shin Nakajima,
2015,
2015 IEEE 39th Annual Computer Software and Applications Conference.
Daisuke Ishii,
Guillaume Melquiond,
Shin Nakajima,
2013,
IFM.
Akihiko Ohsuga,
Shinichi Honiden,
Shin Nakajima,
2005
.
Shin Nakajima,
2019,
2019 International Conference on Technologies and Applications of Artificial Intelligence (TAAI).
Shin Nakajima,
2008,
ICSE 2008.
Akihiko Ohsuga,
Shinichi Honiden,
Shin Nakajima,
2003,
AAMAS '03.
Shin Nakajima,
2017,
SEFM Workshops.
Akihito Iwai,
Naoyasu Ubayashi,
Shin Nakajima,
2010,
TENCON 2010 - 2010 IEEE Region 10 Conference.
Shin Nakajima,
M. Tanaka,
M. Tomobe,
1997,
GLOBECOM 97. IEEE Global Telecommunications Conference. Conference Record.
Shin Nakajima,
Si-Mohamed Lamraoui,
2014,
ICFEM.
Akihito Iwai,
Naoyasu Ubayashi,
Yasutaka Kamei,
2011,
2011 Joint Conference of the 21st International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement.
Naoyasu Ubayashi,
Masayuki Hirayama,
Shin Nakajima,
2007
.
Shin Nakajima,
Si-Mohamed Lamraoui,
2015
.
Shin Nakajima,
Kokichi Futatsugi,
K. Futatsugi,
1997,
Proceedings of the (19th) International Conference on Software Engineering.
Shin Nakajima,
S. Nakajima,
2013
.
Jean-Pierre Talpin,
Shin Nakajima,
Huafeng Yu,
2017
.