T. Terada, H. Mochizuki and H. Nakamura. Maintainability Improving Effects such as Insulation Deterioration Diagnosis in Solitary Wave Track Circuit. Advances in Science, Technology and Engineering Systems Journal. 2022. 7. 4. 9-14
Guo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura. Model Based Specification Validation for Automatic Train Protection and Block System. 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONVERGENCE TECHNOLOGY (ICCCT2012). 2012. 485-488
Guo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura. Formalizing and Analyzing the Train-to-Wayside Network System for CBTC. 2012 WORKSHOP ON DEPENDABLE TRANSPORTATION SYSTEMS/RECENT ADVANCES IN SOFTWARE DEPENDABILITY (WDTS-RASD 2012). 2012. 15-22
Guo Xie, Xinhong Hei, Akira Asano, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura. Formal Verification of Communication Based Train Control System. 2011 INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, RISK, MAINTENANCE, AND SAFETY ENGINEERING (ICQR2MSE). 2011. 394-399