Sei Takahashi

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 2

Top Topics

Formal Specification

Correlation Analysis

Selection Strategy

Top Venues

Int. J. Syst. Softw. Secur. Prot.

Int. J. Softw. Eng. Knowl. Eng.

Qual. Reliab. Eng. Int.

Publications

Tsutomu Koshiyama, Sei Takahashi
Six-Assurance Case Patterns by Strengthening/Weakening Argument. Int. J. Syst. Softw. Secur. Prot. 12 (1) (2021)
Guo Xie, Zhuxin Wang, Xinhong Hei, Sei Takahashi, Hideo Nakamura
Data-Based Axle Temperature Prediction of High Speed Train by Multiple Regression Analysis. CIS (2016)
Guo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura
Safety and Reliability Estimation of Automatic Train Protection and Block System. Qual. Reliab. Eng. Int. 30 (4) (2014)
Guo Xie, Xinhong Hei, Sei Takahashi, Hideo Nakamura
A Strategy to Formalize Specification and Its Application to an Advanced Railway System. Int. J. Softw. Eng. Knowl. Eng. 24 (3) (2014)
Guo Xie, Akira Asano, Sei Takahashi, Hideo Nakamura
Study on Formal Specification of Automatic Train Protection and Block System for Local Line. SSIRI (Companion) (2011)
Xinhong Hei, Sei Takahashi, Hideo Nakamura
Toward developing a Decentralized Railway Signalling System Using Petri Nets. RAM (2008)
Sei Takahashi, Yoshifumi Sekine
A neural net architecture for hardware implementation of a temporal pattern discrimination model. Systems and Computers in Japan 35 (9) (2004)
Sei Takahashi, Munehisa Taira, Hidetaka Saegusa, Takehiko Hoshino, Hideo Nakamura
Development of a Fail-Safe Microprocessor LSI with Self-Diagnosis Mechanism Depending on an M-Sequence Code Signature. PRDC (2001)
Sei Takahashi, Hiroshi Hakoda, Yoshifumi Sekine
Temporal Pattern Discrimination Using the Brain Mimic Processor. ICONIP (1998)