Tsutomu Kobayashi

According to our database, Tsutomu Kobayashi authored at least 23 papers between 1985 and 2026.

Collaborative distances:

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

2026

Formal Modelling and Analysis of the O-RAN O2 Interface in Alloy: Implications for NTN Deployment.

Sean McLaren, Tsutomu Kobayashi, Leon Wong, Paul Harvey

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

ABZ 2026 Case Study: A Planetary Rover.

Marie Farrell, Tsutomu Kobayashi

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

2025

On Effectiveness of Formal Model Repair by Large Language Models.

Sebastião Carvalho, Tsutomu Kobayashi, Fuyuki Ishikawa

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, 2025

2024

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

Proceedings of the IEEE Intelligent Vehicles Symposium, 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

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