小林努

コバヤシツトム | Kobayashi Tsutomu

所属機関・部署：
職名：研究開発員

研究分野 (1件)：ソフトウェア

研究キーワード (8件)：システムモデリング , 形式仕様記述 , 定理証明 , モデル検査 , 形式手法 , 要求工学 , ソフトウェアテスティング , ソフトウェア工学

競争的資金等の研究課題 (6件)：

全件表示

論文 (16件)：

Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, et al. Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Transactions on Intelligent Vehicles. 2023. 8. 4. 3040-3072
Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa. Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. The 25th International Symposium on Formal Methods (FM 2023). 2023. 533-549
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït-Ameur, Fuyuki Ishikawa, Alexander Romanovsky. A refinement-based development of a distributed signalling system. Formal Aspects of Computing. 2021. 33. 6. 1009-1036
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa. Architecture-Guided Test Resource Allocation Via Logic. 15th International Conference on Tests and Proofs. 2021. abs/2107.10948
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata. Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. The 13th NASA Formal Methods Symposium (NFM 2021). 2021. abs/2108.07509. 198-213

MISC (4件)：

小林努. 複雑で不確かなソフトウェアの安全性を「段階的詳細化」で厳密に保証. NII SEEDs 2022. 2022. 21-21
小林努. 段階的詳細化と定理証明を用いたソフトウェアシステムのモデリングと検証. 日本ロボット学会誌. 2022. 40. 3. 203-207
Fuyuki Ishikawa, Tsutomu Kobayashi, Alexander Romanovsky. Proceedings of the Event-B Day 2018 in Tokyo. Technical Report, School of Computing Science, University of Newcastle upon Tyne (CS-TR-1525). 2018
中川博之, 小林努, 林晋平, 吉岡信和, 鵜林尚靖. ER 2016 参加報告. コンピュータソフトウェア. 2017. 34. 3. 75-80

特許 (1件)：

書籍 (1件)：

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Springer 2021

講演・口頭発表等 (8件)：

アプリの隠れた性質をあぶり出す
(ACT-I先端研究フォーラム ~「情報と未来」研究者講演会~ - ACT-I 2期生加速フェーズ成果発表会 - 2021)
ソフトウェアの働き・性質を正しく要約
(ACT-I先端研究フォーラム ~「情報と未来」研究者講演会~ 2019)
Refactoring Refinement of Event-B Models
(Shonan Meeting Towards industrial application of advanced formal methods for cyber-physical system engineering 2018)
A Framework for Developing Distributed Protocols with Event-B/Rodin
(Rodin Workshop 2018 at ABZ 2018 2018)
博士論文紹介:Supporting Planning and Refactoring of Refinement Structure of Event-B Models
(第197回ソフトウェア工学研究発表会 2017)

Works (2件)：

学歴 (3件)：

学位 (1件)：

経歴 (11件)：

全件表示

受賞 (4件)：

2023/01 - International Journal on Software and Systems Modeling (SoSyM) 2022 Best Reviewer Award,
2021/03 - ICFEM 2020 Best paper award, Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement,
2018/11 - ICFEM 2018 Best paper award, Analysis on Strategies of Superposition Refinement of Event-B Specifications,
2017/07 - 情報処理学会研究会推薦博士論文

所属学会 (2件)：

Formal Methods Europe , 情報処理学会(ソフトウェア工学研究会)

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

小林 努