Tsutomu Koshiyama, Sei Takahashi. Six-Assurance Case Patterns by Strengthening/Weakening Argument. International Journal of Systems and Software Security and Protection (IJSSSP). 2021. 12. 1. 21-45
Guo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura. Safety and Reliability Estimation of Automatic Train Protection and Block System. QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL. 2014. 30. 4. 463-472
Guo Xie, Xinhong Hei, Sei Takahashi, Hideo Nakamura. A Strategy to Formalize Specification and Its Application to an Advanced Railway System. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 2014. 24. 3. 465-492
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
Importance of graphical feedback under Safeguarding Supportive System (SSS) for safety and productivity- an approach of the behavioral analysis. 6th European Conference on standarzation, testing and certification in the field of occupational safety and health(EUROSHNET) CONFERENCE 2019. 2019