Tsutomu Kobayashi

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 19

Top Topics

Resource Allocation

Change Impact Analysis

Top Venues

Formal Aspects Comput.

Publications

Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. CoRR (2024)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. IV (2024)
Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. FM (2023)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. 8 (4) (2023)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR (2022)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
A refinement-based development of a distributed signalling system. Formal Aspects Comput. 33 (6) (2021)
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. NFM (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation Via Logic. CoRR (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF (2021)
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR (2021)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ (2020)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM (2020)
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
Change Impact Analysis for Refinement-Based Formal Specification. IEICE Trans. Inf. Syst. (8) (2019)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Consistency-preserving refactoring of refinement structures in Event-B models. Formal Aspects Comput. 31 (3) (2019)
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
A Refinement Based Method for Developing Distributed Protocols. HASE (2019)
Tsutomu Kobayashi, Fuyuki Ishikawa
Analysis on Strategies of Superposition Refinement of Event-B Specifications. ICFEM (2018)
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
Extracting Traceability between Predicates in Event-B Refinement. APSEC (2017)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Refactoring Refinement Structure of Event-B Machines. FM (2016)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Stepwise Refinement of Software Development Problem Analysis. ER (2016)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Understanding and Planning Event-B Refinement through Primitive Rationales. ABZ (2014)
Tsutomu Kobayashi, Shinichi Honiden
Towards Refinement Strategy Planning for Event-B CoRR (2012)
Toshiaki Tanaka, Tsutomu Kobayashi, Osamu Karatsu
HARP: FORTRAN to silicon [compilation system]. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8 (6) (1989)
Hironori Yamauchi, Takao Kaneko, Tsutomu Kobayashi, Atsushi Iwata, Sadayasu Ono
An 18-bit floating-point signal processor VLSI with an on-chip 512W dual-port RAM. ICASSP (1985)