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 (6)：

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

Show all

Papers (24)：

Tsutomu Kobayashi, Fuyuki Ishikawa. Repairing Event-B Models Through Quantifier Elimination. The 25th International Conference on Formal Engineering Methods (ICFEM 2024). 2024. 18-36
Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont. On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. The 25th International Conference on Formal Engineering Methods (ICFEM 2024). 2024. 314-331
Hiroki Umeda, Tsutomu Kobayashi, Shoma Takatsuki, Yasushi Ueda, Shuji Morisaki. Efficient validation process of architecture designs based on customer needs for constellation satellite system. 2024 IEEE International Symposium on Systems Engineering (ISSE 2024). 2024
Takahiro Sasaki, Ryo Nakamura, Hiroyuki Okamoto, Yu Nakajima, Taisei Nishishita, Nobutaka Tanishima, Hiroki Umeda, Shoma Takatsuki, Tsutomu Kobayashi. Requirement Optimization of Proximity Operations for Active Debris Removal Missions Considering Both GNC and Capture System Constraints. Journal of Evolving Space Activities (JESA). 2024
Shoma Takatsuki, Hiroki Umeda, Tsutomu Kobayashi, Takahiro Sasaki, Yasushi Ueda, Masafumi Katahira, Shuji Morisaki. Hazard Scenarios Analysis Method Using STAMP/STPA and Sequence Diagrams in A Collision Avoidance System with Multiple Controllers. 12th IAASS conference. 2023

ｍore...

MISC (4)：

(in Japanese) Rigorous safety assurance of complex and uncertain software using stepwise refinement. 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
(in Japanese) A report on ER 2016 conference. 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 (9)：

Flexible Formal Modelling with Stepwise Refinement
(The 1st International Workshop on Advanced Intelligent Software Applications (AISQ 2024), colocated with ISSRE 2024 2024)
(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)

ｍore...

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