■Books

(1) Masahiko Watanabe,Shin Sakamoto,Kousuke Morishima,Nobuhiro Yanagisawa,Li Naiju:Deep learning application development starting with API, Ohmsya,Ltd., 2020． 　　　　　　
(2) Masahiko Watanabe：「Automotive interior materials and interior comfort improvement」Section 3　Requirements and Initiatives Required for HMI of Autonomous Driving Level 3 and Later，TECHNICAL INFORMATION INSTITUTE CO.,LTD, 2019．
(3) Masahiko Watanabe, Tesushi Ishida, Syuusaku Iida: Embedded development with UML dynamic model Ohmsya,Ltd.,2003. 　　　　　　
(4) Hiroyuki Watanabe, Kazuto Horimatsu,Masahiko Watanabe,Kazunori Tomotake:Embodiment UML,shoeisha,2002. 　　　　　　
(5) Masahiko Watanabe,Extended Hierarchical State Transition Table Design Method Version 2.0,Higashi Ginza Publishing Company,1998.　 　　　　　　
(6) Masahiko Watanabe,Dai Zhi Jian,Tesushi Ishida:CASE introduction to real-time environment,Electronic Development Academy Publishing Bureau,1994. 　　　　　　
(7) Masahiko Watanabe:Real time control CASE.Electronic Development Academy Publishing Bureau,1993.

■Thesis

(1)Huihui Wu,Deyun Lyu,Yanan Zhang,Gang Hou,Masahiko Watanabe,Jie Wang,Weiqiang Kong : A verification framework for behavioral safety of self-driving cars , ORIGINAL RESEARCH PAPER, January 2022.
(2)Watanabe Masahiko, Kuanjiu Zhou, Yicong Li, Zizhong Wang & Junyu Li : EHSTM: a formal model of embedded software and research on several key issues , Regular Paper , CCF Transactions on High Performance Computing volume 3, pages365?382 (2021), November 2021.
(3)Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, and Akira Fukuda：Interpolation-based Multi-core Bounded Model Checking of HSTM Designs，Proc. the 6th Int. Conf. on Dependable Systems and Their Applications(DSA 2019), 2020.1.3-6, Harbin, China; January, 2020.
(4)Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, and Akira Fukuda：From Local to Global Semantic Clone Detection，Proc. the 6th Int. Conf. on Dependable Systems and Their Applications(DSA 2019), 2020.1.3-6, Harbin, China; January, 2020.
(5)Zhen Wang, Xiaoning Han, Weiqiang Kong, Gang Hou, Masahiko Watanabe, and Akira Fukuda：A Survey on Malware and Detection Techniques in Android Platform，Proc. the 6th Int. Conf. on Dependable Systems and Their Applications(DSA 2019), 2020.1.3-6, Harbin, China; January, 2020.
(6)Ryogo Miyazaki,Yuya Mii,Yutaro Ishida, Masahiko Watanabe,Kenichi Ui,Masanori Yokota,Ryutarou Ichise,Hiroaki Wagatsuma,Hakaru Tamukoh:"Construction and evaluation of decision making system for automatic driving based on decision table", Japan Society for Fuzzy Theory and Intelligent Informatics, 35th Fuzzy System Symposium(FSS2019), Lecture Paper Collection，pp.722-727; December 2019.
(7)Ryuhei Miyoshi,Yutaro Ishida,Kouhei Hashimoto,Masahiko Watanabe,Kenichi Ui,Ryutarou Ichise,Hiroaki Wagatsuma,Hakaru Tamukoh : "Implementation of Autonomous Driving Decision Making System Based on Ontology in Autoware",Infomation and Systems Society Special Session Student poster session abstracts; March 20-21, 2018 in Tokyo.
(8)Masanori Yokota,Yasuhito Arimoto,Takayuki Miyamoto,Mikio Aoyama,Atsushi Koga,Yasuki Tokita,Masahiko Watanabe："Trial and evaluation of project analysis using graph DB"，Information Processing Society of Japan, Software Engineering Symposium (SES2017) Collection of papers,pp228-235;2017.
(9)Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe,Takahiro Ando, Kenji Hisazumi, and Akira Fukuda：ZipPath: A Simple-but-Useful Path Finder for HSTM Designs in ZIPC: IEEE International Conference on Agents, IEEE ICA 2016,pp.154-157;September 28-30, 2016.
(10)Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, and Akira Fukuda: Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking.In: The 18th Asia-Pacific Software Engineering Conference (APSEC2011), IEEE CS, pp.81-88; December 5-8, 2011.
(11)Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, and Akira Fukuda: An SMT-based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. In: the 11th International Conference on Computational Science and Its Application (ICCSA 2011), IEEE CS, pp.159-167; JUNE, 2011.
(12)Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, and Akira Fukuda: An SMT-based Approach to Bounded Model Checking of Design in State Transition Matrix. IEICE Transactions on Information and Systems, VOL.E94-D, NO.5, pp.946-957; 2011.MAY
(13)Hiroshi Koiso,Masahiko Watanabe,Akira Fukuda :"Construction of a series product development support environment using state transition tables",Embedded Systems Symposium 2010(ESS2010) Collection of papers，pp.119-124；October 2010.
(14)Hiroshi Fujimoto,Masahiko Watanabe,Akira Fukuda :"Bi-directional conversion method between behavior model for control design and behavior model for embedded design",Embedded Systems Symposium 2010(ESS2010) Collection of papers，pp.131-136；October 2010.
(15)Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, and Masahiko Watanabe: An SMT Approach to Bounded Model Checking of Design in State Transition Matrix, in the Proceedings of 2010 International Conference on Computational Science and Its Applications (ICCSA 2010), IEEE Computer Society, pp. 231-238; March, 2010.
(16) Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, and Masahiko Watanabe, "Formal Analysis of STM Design with SAL Infinite Bounded Model Checker", proceedings of the 12th International Conference on Advanced Communication Technology (ICACT2010), IEEE Korea, pp.1003-1008; February, 2010.
(17Masahiko Watanabe,Akira Hukuda, Nuneo Nakanishi,Ichiro Hosotani, Shigeyuki Kido:Proposal and evaluation of state transition table difference extraction technology and tool,Embedded System Symposium (proceedings) ,pp.79-87: 2008.
(18)Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido : A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software: QSIC2007, PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, IEEE Computer Society, pp.137-142: 2007,OCTOBER 11-12, PORTLAND, OREGON, USA
(19)Watanabe,Akira Fukuda, Nuneo Nakanishi,Ichiro Hosotani, Shigeyuki Kido:Resource scheduling design and inspection method and tool in embedded system,Transactions of the Institute of Electronics, Information and Communication Engineers,VOL.J90-D No.3p848-861,2007
(20)Masahiko Watanabe:State transition based software development environment "ZIPC,Software Symposium2002 (proceedings)，pp.45-48，2002

■Article 1

　　

(1)Masahiko Watanabe,Ryutarou Ichise,Hiroaki Wagatsuma,Hakaru Tamukoh,Keiju Anada："Embedded software development and ontology", Artificial intelligence Vol.35 No.2, p155-162; Mar. 2020.
(2)Takayuki Miyamoto,Masahiko Watanabe,Hiroaki Takada,Tsuruho Seishiro："Open traceability tool platform TERAS", SEC journal Vol.9 No.4 Jan. 2014, p176-181;Jan. 2014.
(3)Keiju Anada,Masahiko Watanabe,Hiroaki Takada：「Introduction of TERAS (Part 2)　Aiming for traceability of all documents for a safe, secure and comfortable society」，SEC journal Vol.8 No.2 Jun. 2012；June 29, 2012.
(4)Keiju Anada,Masahiko Watanabe,Hiroaki Takada：「Introduction of TERAS (Part 1)　Aiming for traceability of all documents for a safe, secure and comfortable society」, SEC journal Vol.7 No.4 Jan. 2012；Jan 12, 2012.
(5)Masahiko Watanabe:Application example of model inspection to embedded software,2011(Proceedings)，pp.1-25，2011．
(6)Masahiko Watanabe:All 2006 of an intelligent car2006 Chapter 3 Automotive Network and Software Development-Model-based Development for Quality Improvement of Automotive Software-Nikkei Business Publications, Inc,Interface,pp.180-187，2006.
(7)Masahiko Watanabe：Inspection technique of the embedded software（１）（２）,Nikkei Electronics,pp.126-131，pp.143-147，2005．
(8)Masahiko Watanabe：：２．Development support environment for embedded software，Information Processing Society of Japan　Journal of the Information Processing Society of Japan，Vol.45，No.1，pp.10-15，2004．
(9)Masahiko Watanabe：Current State and Trend of State Transition Based Software Development Environment, The Society of Measurement and Automatic Control, Measurement and Contro，Vol.41，No.2，pp.117-121，2002．
(10)Masahiko Watanabe：UML of extension "eUML" for embedded system of UML，CQ Publisher,Design Wave Magazine，pp.41-49，2001．

■Article 2

(11)Masahiko Watanabe：System level design document reference book,Practical UML for Embedded System Designers，CQ Publisher,Design Wave Magazine，pp.84，2001．
(12)Masahiko Watanabe：Embedded software upstream development environment in Japan，Information Processing Society of Japan，Academic journal，Vol.41 No.2，pp.1-3，2000．
(13)Masahiko Watanabe：Real-time design method by state transition table design method（Part 3）～C source code generation and target debugging～， CQ Publisher,Interface，pp.185-187，1999

(14)Masahiko Watanabe：EHSTM complementing UML ，Shoyusha　DDJ，pp.62-73，1999．
(15)Masahiko Watanabe：Real-time design method by state transition table design method（Part 2）～Latest state transition table design method and simulation in design phase～，CQ Publisher,Interface，pp.169-175，1999．
(16)Masahiko Watanabe：Real-time design method by state transition table design method（Part 1）～Visual prototyping using VisualBasic and state transition table～， CQ Publisher,Interface ，pp.164-166，1999．
(17)Masahiko Watanabe：State transition table type definitions～Basic concept～，Information Processing Society of Japan，Proceedings of the 55th Annual Conference，pp.363-364，1997．
(18)Masahiko Watanabe：Development environment for microcomputer embedded system centering on state transition tableZIPC，Information Processing Society of Japan，Proceedings of the 55th Annual Conference，pp.301-302，1996．
(19)Masahiko Watanabe：For real-time system development"ZIPC" ，CQ Publisher,Interface，pp.157-162，1996.
(20)Masahiko Watanabe：For real-time system development CASE"ZIPC"--Focus on C code generation function--Development environment exploration，CQ Publisher Interface，pp.213-217，1996．
(21)Masahiko Watanabe：For real-time system development CASE"ZIPC"--Simulation model and emulator functions --Development environment exploration，CQ Publisher,Interface，pp.212-215，1996．
(22)Masahiko Watanabe：Real-time CASE tool to strengthen support for basic design，Nikkei Electronics，pp.293-305，1992．