Tsutomu Kobayashi

According to our database, Tsutomu Kobayashi authored at least 20 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS.

Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont

Proceedings of the Formal Methods and Software Engineering, 2024

Repairing Event-B Models Through Quantifier Elimination.

Tsutomu Kobayashi, Fuyuki Ishikawa

Proceedings of the Formal Methods and Software Engineering, 2024

2023

Goal-Aware RSS for Complex Scenarios via Program Logic.

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

IEEE Trans. Intell. Veh., April, 2023

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.

Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa

Proceedings of the Formal Methods - 25th International Symposium, 2023

2021

A refinement-based development of a distributed signalling system.

Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky

Formal Aspects Comput., 2021

Architecture-Guided Test Resource Allocation via Logic.

Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa

Proceedings of the Tests and Proofs - 15th International Conference, 2021

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.

Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.

Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel

Proceedings of the Formal Methods and Software Engineering, 2020

Formal Distributed Protocol Development for Reservation of Railway Sections.

Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Change Impact Analysis for Refinement-Based Formal Specification.

Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden

IEICE Trans. Inf. Syst., 2019

Consistency-preserving refactoring of refinement structures in Event-B models.

Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden

Formal Aspects Comput., 2019

A Refinement Based Method for Developing Distributed Protocols.

Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018

Analysis on Strategies of Superposition Refinement of Event-B Specifications.

Tsutomu Kobayashi, Fuyuki Ishikawa

Proceedings of the Formal Methods and Software Engineering, 2018

2017

Extracting Traceability between Predicates in Event-B Refinement.

Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Refactoring Refinement Structure of Event-B Machines.

Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden

Proceedings of the FM 2016: Formal Methods, 2016

Stepwise Refinement of Software Development Problem Analysis.

Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

2014

Understanding and Planning Event-B Refinement through Primitive Rationales.

Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2012

Towards Refinement Strategy Planning for Event-B

Tsutomu Kobayashi, Shinichi Honiden

CoRR, 2012

1989

HARP: FORTRAN to silicon [compilation system].

Toshiaki Tanaka, Tsutomu Kobayashi, Osamu Karatsu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

1985

An 18-bit floating-point signal processor VLSI with an on-chip 512W dual-port RAM.

Hironori Yamauchi, Takao Kaneko, Tsutomu Kobayashi, Atsushi Iwata, Sadayasu Ono

Proceedings of the IEEE International Conference on Acoustics, 1985