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 (ICASSP, 1985)

HARP: FORTRAN to silicon [compilation system]. - Toshiaki Tanaka; Tsutomu Kobayashi; Osamu Karatsu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989)

Towards Refinement Strategy Planning for Event-B - Tsutomu Kobayashi; Shinichi Honiden (CoRR, 2012)

Understanding and Planning Event-B Refinement through Primitive Rationales. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (ABZ, 2014)

Stepwise Refinement of Software Development Problem Analysis. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (ER, 2016)

Refactoring Refinement Structure of Event-B Machines. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (FM, 2016)

Extracting Traceability between Predicates in Event-B Refinement. - Shinnosuke Saruwatari; Fuyuki Ishikawa; Tsutomu Kobayashi; Shinichi Honiden (APSEC, 2017)

Analysis on Strategies of Superposition Refinement of Event-B Specifications. - Tsutomu Kobayashi; Fuyuki Ishikawa (ICFEM, 2018)

A Refinement Based Method for Developing Distributed Protocols. - Paulius Stankaitis; Alexei Iliasov; Yamine Aït Ameur; Tsutomu Kobayashi; Fuyuki Ishikawa; Alexander B. Romanovsky (HASE, 2019)

Consistency-preserving refactoring of refinement structures in Event-B models. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (Formal Aspects Comput., 2019)

Change Impact Analysis for Refinement-Based Formal Specification. - Shinnosuke Saruwatari; Fuyuki Ishikawa; Tsutomu Kobayashi; Shinichi Honiden (IEICE Trans. Inf. Syst., 2019)

Formal Distributed Protocol Development for Reservation of Railway Sections. - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (ABZ, 2020)

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Fuyuki Ishikawa; Tsutomu Kobayashi; Marc Pantel (ICFEM, 2020)

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. - Tsutomu Kobayashi; Rick Salay; Ichiro Hasuo; Krzysztof Czarnecki 001; Fuyuki Ishikawa; Shin-ya Katsumata (NFM, 2021)

Architecture-Guided Test Resource Allocation via Logic. - Clovis Eberhart; Akihisa Yamada 002; Stefan Klikovits; Shin-ya Katsumata; Tsutomu Kobayashi; Ichiro Hasuo; Fuyuki Ishikawa (TAP@STAF, 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)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. - Tsutomu Kobayashi; Martin Bondu; Fuyuki Ishikawa (FM, 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 005; Erik André Pallas; Akihisa Yamada 002; Kohei Suenaga; Fuyuki Ishikawa; et al. (IEEE Trans. Intell. Veh., 2023)

Repairing Event-B Models Through Quantifier Elimination. - Tsutomu Kobayashi; Fuyuki Ishikawa (ICFEM, 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 001; Fuyuki Ishikawa; Yamine Aït Ameur; Guillaume Dupont (ICFEM, 2024)