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
- 2019/04 - 2021/03 ERATO Metamathematics for Systems Design Project Co-Investigator
- 2019/04 - 2021/03 Japan Science and Technology Agency ACT-I Researcher
- 2018/04 - 2019/03 National Institute of Informatics Information Systems Architecture Science Research Division Researcher by special appointment
- 2017/04 - 2019/03 Japan Advanced Institute of Science and Technology School of Information Science Part-time lecturer
- 2017/04 - 2018/03 National Institute of Informatics Digital Content and Media Sciences Research Division Researcher by special appointment
- 2012/06 - 2012/08 University of Newcastle upon Tyne School of Computing Science Visiting student
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)
Return to Previous Page