Kobayashi Tsutomu 小林努

Researcher Number	10803405
Other IDs
Affiliation (Current)	2025: 国立研究開発法人宇宙航空研究開発機構, 研究開発部門, 研究開発員
Affiliation (based on the past Project Information) *help	2022 – 2023: 国立研究開発法人宇宙航空研究開発機構, 研究開発部門, 研究開発員 2021: 国立情報学研究所, コンテンツ科学研究系, 特任研究員 2020: 国立情報学研究所, アーキテクチャ科学研究系, 特任研究員 2019: 国立情報学研究所, コンテンツ科学研究系, 特任研究員 2018: 国立情報学研究所, アーキテクチャ科学研究系, 特任研究員 2017: 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software Except Principal Investigator Basic Section 60050:Software-related
Keywords	Principal Investigator Event-B / 形式手法 / 段階的詳細化 / ソフトウェア / 頑健性 / RSS / 自動運転 / システムモデリング / AI安全性 / 物理情報システム … More / Internet of Things / 自己適応ソフトウェア / 定理証明 / プロブレムフレーム / ソフトウエア開発効率化・安定化 / ソフトウェアモデリング … More Except Principal Investigator ランタイム検証 / 異常推論 / 形式手法 / ソフトウェア Less

Development of Deductive Failure Reasoner with Stepwise Refinement and Theorem Proving
- Principal Investigator
  
  大久保梨思子
- Project Period (FY)
  2022 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Japan Aerospace EXploration Agency
Software adaptation with reasonable compromise using information on deductive proof of consistencyPrincipal Investigator
- Principal Investigator
  
  Kobayashi Tsutomu
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Japan Aerospace EXploration Agency
  National Institute of Informatics
Flexible Refactoring and Effective Guiding of Stepwise Refinement DesignPrincipal Investigator
- Principal Investigator
  
  Kobayashi Tsutomu
- Project Period (FY)
  2017 – 2018
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics

All 2023 2022 2021 2020 2019 2018 2017

All Journal Article Presentation

[Journal Article] Goal-Aware RSS for Complex Scenarios Via Program Logic2022
- Author(s)
  Hasuo Ichiro、Eberhart Clovis、Haydon James、Dubut Jeremy、Bohrer Rose、Kobayashi Tsutomu、Pruekprasert Sasinee、Zhang Xiao-Yi、Pallas Erik Andre、Yamada Akihisa、Suenaga Kohei、Ishikawa Fuyuki、Kamijo Kenji、Shinya Yoshiyuki、Suetomi Takamasa
- Journal Title
  
  IEEE Transactions on Intelligent Vehicles
  
  Volume: (to appear) Issue: 4 Pages: 1-33
- DOI
  10.1109/tiv.2022.3169762
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20249, KAKENHI-PROJECT-19H04084
[Journal Article] A refinement-based development of a distributed signalling system2021
- Author(s)
  Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Fuyuki Ishikawa, and Alexander Romanovsky
- Journal Title
  
  Formal Aspects of Computing
  
  Volume: Vol. 33 No. 6 Issue: 6 Pages: 1009-1036
- DOI
  10.1007/s00165-021-00567-y
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-19K20249
[Journal Article] Consistency-Preserving Refactoring of Refinement Structures in Event-B Models2019
- Author(s)
  Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
- Journal Title
  
  Formal Aspects of Compupting
  
  Volume: Preprint Issue: 3 Pages: 287-320
- DOI
  10.1007/s00165-019-00478-z
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01727, KAKENHI-PROJECT-17H07323, KAKENHI-PROJECT-17H00732, KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-18H03229
[Presentation] Detecting Faulty Sequences of FDIR Functions on Spacecrafts Using Model Checking2023
- Author(s)
  Masatoshi Horikawa, Tsutomu Kobayashi, Shoma Takatsuki, Hiroki Umeda, Yasushi Ueda
- Organizer
  2023 IEEE Aerospace Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20249
[Presentation] Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement2023
- Author(s)
  Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
- Organizer
  The 25th International Symposium on Formal Methods (FM 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20249
[Presentation] Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty2021
- Author(s)
  Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
- Organizer
  NFM 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20249
[Presentation] Formal Distributed Protocol Development for Reservation of Railway Sections2020
- Author(s)
  Stankaitis Paulius、Iliasov Alexei、Kobayashi Tsutomu、Ait-Ameur Yamine、Ishikawa Fuyuki、Romanovsky Alexander
- Organizer
  ABZ 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20249
[Presentation] Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement2020
- Author(s)
  Dupont Guillaume、Ait-Ameur Yamine、Singh Neeraj K.、Ishikawa Fuyuki、Kobayashi Tsutomu、Pantel Marc
- Organizer
  ICFEM 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K20249
[Presentation] Refactoring Refinement of Event-B Models2018
- Author(s)
  Tsutomu Kobayashi and Fuyuki Ishikawa
- Organizer
  Shonan Meeting towards Industrial Application of Advanced Formal Methods for Cyber-Physical System Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H07323
[Presentation] 博士論文紹介：Supporting Planning and Refactoring of Refinement Structure of Event-B Models2017
- Author(s)
  小林努
- Organizer
  第197回ソフトウェア工学研究発表会
- Invited
- Data Source
  KAKENHI-PROJECT-17H07323

1. 大久保梨思子 (60837714)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. ISHIKAWA Fuyuki

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results
3. 本位田真一

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Kobayashi Tsutomu 小林 努

Research Projects

Research Products

Co-Researchers

Development of Deductive Failure Reasoner with Stepwise Refinement and Theorem Proving

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Software adaptation with reasonable compromise using information on deductive proof of consistencyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Flexible Refactoring and Effective Guiding of Stepwise Refinement DesignPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Goal-Aware RSS for Complex Scenarios Via Program Logic2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A refinement-based development of a distributed signalling system2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Consistency-Preserving Refactoring of Refinement Structures in Event-B Models2019

Author(s)

Journal Title

DOI

Data Source

[Presentation] Detecting Faulty Sequences of FDIR Functions on Spacecrafts Using Model Checking2023

Author(s)

Organizer

Data Source

[Presentation] Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement2023

Author(s)

Organizer

Data Source

[Presentation] Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty2021

Author(s)

Organizer

Data Source

[Presentation] Formal Distributed Protocol Development for Reservation of Railway Sections2020

Author(s)

Organizer

Data Source

[Presentation] Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement2020

Author(s)

Organizer

Data Source

[Presentation] Refactoring Refinement of Event-B Models2018

Author(s)

Organizer

Data Source

[Presentation] 博士論文紹介：Supporting Planning and Refactoring of Refinement Structure of Event-B Models2017

Author(s)

Organizer

Data Source

Kobayashi Tsutomu 小林努