Tsutomu Kobayashi

26 papers A 1B 2C 8Misc 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
On Effectiveness of Formal Model Repair by Large Language Models.
ASEW
Sebastião Carvalho, Tsutomu Kobayashi, Fuyuki Ishikawa
2024 J jnl
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.
CoRR
Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
2024 C conf
Goal-Aware RSS for Complex Scenarios via Program Logic.
IV
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
2024 C conf
On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS.
ICFEM
Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont
2024 C conf
Repairing Event-B Models Through Quantifier Elimination.
ICFEM
Tsutomu Kobayashi, Fuyuki Ishikawa
2023 B conf
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.
FM
Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
2023 J jnl
Goal-Aware RSS for Complex Scenarios via Program Logic.
IEEE Trans. Intell. Veh.
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
2022 J jnl
Goal-Aware RSS for Complex Scenarios via Program Logic.
CoRR
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
2021 J jnl
A refinement-based development of a distributed signalling system.
Formal Aspects Comput.
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
2021 J jnl
Architecture-Guided Test Resource Allocation Via Logic.
CoRR
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
2021 — conf
Architecture-Guided Test Resource Allocation via Logic.
TAP@STAF
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
2021 — conf
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.
NFM
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
2021 J jnl
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.
CoRR
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
2020 C conf
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.
ICFEM
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
2020 C conf
Formal Distributed Protocol Development for Reservation of Railway Sections.
ABZ
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
2019 — conf
A Refinement Based Method for Developing Distributed Protocols.
HASE
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
2019 J jnl
Change Impact Analysis for Refinement-Based Formal Specification.
IEICE Trans. Inf. Syst.
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
2019 J jnl
Consistency-preserving refactoring of refinement structures in Event-B models.
Formal Aspects Comput.
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2018 C conf
Analysis on Strategies of Superposition Refinement of Event-B Specifications.
ICFEM
Tsutomu Kobayashi, Fuyuki Ishikawa
2017 C conf
Extracting Traceability between Predicates in Event-B Refinement.
APSEC
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
2016 B conf
Refactoring Refinement Structure of Event-B Machines.
FM
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2016 A conf
Stepwise Refinement of Software Development Problem Analysis.
ER
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2014 C conf
Understanding and Planning Event-B Refinement through Primitive Rationales.
ABZ
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
2012 J jnl
Towards Refinement Strategy Planning for Event-B
CoRR
Tsutomu Kobayashi, Shinichi Honiden
1989 J jnl
HARP: FORTRAN to silicon [compilation system].
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Toshiaki Tanaka, Tsutomu Kobayashi, Osamu Karatsu
1985 Misc conf
An 18-bit floating-point signal processor VLSI with an on-chip 512W dual-port RAM.
ICASSP
Hironori Yamauchi, Takao Kaneko, Tsutomu Kobayashi, Atsushi Iwata, Sadayasu Ono