Tatsuya Igarashi

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 2

Top Topics

Formal Verification

Top Venues

Publications

Tatsuya Igarashi, Masaki Nakamura, Kazutoshi Sakakibara
Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method. SEKE (2022)
Tatsuya Igarashi, Takabayashi Kazuhiko, Yoshiyuki Kobayashi, Hiroshi Kuno, Eric Diehl
Photrace: A Blockchain-Based Traceability System for Photographs on the Internet. Blockchain (2021)
Tatsuya Igarashi, Koichi Hayakawa, Takuya Nishimura, Takeshi Ozawa, Hiroshi Takizuka
Home network file system for home network based on IEEE-1394 technology. IEEE Trans. Consumer Electron. 45 (3) (1999)