Rchr
J-GLOBAL ID:201701018164345367   Update date: Feb. 01, 2024

Kobayashi Tsutomu

コバヤシ ツトム | Kobayashi Tsutomu
Affiliation and department:
Job title: Researcher
Research field  (1): Software
Research keywords  (8): System Modeling ,  Formal Specification ,  Theorem Proving ,  Model Checking ,  Formal Methods ,  Requirements Engineering ,  Software Testing ,  Software Engineering
Research theme for competitive and other funds  (5):
  • 2022 - 2025 Development of Deductive Failure Reasoner with Stepwise Refinement and Theorem Proving
  • 2019 - 2023 Software adaptation with reasonable compromise using information on deductive proof of consistency
  • 2019 - 2021 Assistance of strengthening assertions for program codes through consistent abstraction
  • 2017 - 2019 Software Microscope: A System for Consistency-Preserving Automatic Abstration of Formal Specification
  • 2017 - 2019 Establishing Guides for Design and Flexible Refactoring of Stepwise Refinement
Papers (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
more...
MISC (4):
  • 小林 努. 複雑で不確かなソフトウェアの安全性を 「段階的詳細化」で厳密に保証. NII SEEDs 2022. 2022. 21-21
  • Tsutomu Kobayashi. Formal Modeling and Verification of Software Systems with Stepwise Refinement and Theorem Proving. Journal of the Robotics Society of Japan. 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
Patents (1):
  • (A patent pending in Japan)
Books (1):
  • Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Springer 2021
Lectures and oral presentations  (8):
  • (In Japanese) Revealing Hidden Properties of Software Applications
    (JST ACT-I Public Conference 2021 2021)
  • (In Japanese) Rigorously Summarizing Behavior and Properties of Software Systems
    (JST ACT-I Public Conference 2019 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)
  • (in Japanese) PhD Thesis Summary: Supporting Planning and Refactoring of Refinement Structure of Event-B Models
    (The 197th IPSJ SIGSE Conference 2017)
more...
Works (2):
  • Uncertainty Robustifier for Event-B Models
    Tsutomu Kobayashi
  • Software Observation Tower
    Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa
Education (3):
  • 2013 - 2017 Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
  • 2011 - 2013 Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
  • 2007 - 2011 Department of Information Science, School of Science, The University of Tokyo
Professional career (1):
  • Ph.D. (Information Science and Technology) (The University of Tokyo)
Work history (11):
  • 2022/06 - 現在 National Institute of Informatics Information Systems Architecture Science Research Division Visiting Researcher
  • 2022/04 - 現在 Japan Aerospace Exploration Agency Research and Development Directorate Researcher
  • 2017/09 - 現在 Waseda University School of Fundamental Science and Engineering Part-time lecturer
  • 2021/04 - 2022/03 National Institute of Informatics Information Systems Architecture Science Research Division Researcher by Special Appointment
  • 2021/04 - 2022/03 ERATO Metamathematics for Systems Design Project Researcher
Show all
Awards (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 - Endorsement to Ph.D. theses by IPSJ SIGs, Information Processing Society of Japan
Association Membership(s) (2):
Formal Methods Europe ,  Information Processing Society of Japan (SIGSE)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page