Tsutomu Kobayashi

J-GLOBAL         Last updated: Aug 23, 2019 at 15:52
 
Avatar
Name
Tsutomu Kobayashi
E-mail
t-kobayashinii.ac.jp
Affiliation
Japan Science and Technology Agency
Job title
ACT-I Researcher
Degree
Ph.D. (Information Science and Technology)(The University of Tokyo)

Research Areas

 
 
  • Informatics / Software / Formal Methods

Academic & Professional Experience

 
Apr 2019
 - 
Today
ACT-I Researcher, Japan Science and Technology Agency
 
Apr 2018
 - 
Mar 2019
Researcher by special appointment, Information Systems Architecture Science Research Division, National Institute of Informatics
 
Apr 2017
 - 
Mar 2018
Researcher by special appointment, Digital Content and Media Sciences Research Division, National Institute of Informatics
 
Sep 2017
 - 
Today
Part-time lecturer, School of Fundamental Science and Engineering, Waseda University
 
Apr 2017
 - 
Today
Part-time lecturer, School of Information Science, Japan Advanced Institute of Science and Technology
 

Research Grants & Projects

 
Software adaptation with reasonable compromise using information on deductive proof of consistency
Japan Society for the Promotion of Science: Grant-in-Aid for Early-Career Scientists
Project Year: Apr 2019 - Mar 2022    Investigator(s): Tsutomu Kobayashi
Assistance of strengthening assertions for program codes through consistent abstraction
Japan Science and Technology Agency (JST): Research Proposals for the Strategic Basic Research Programs (ACT-I) Acceleration Phase
Project Year: Apr 2019 - Mar 2021    Investigator(s): Tsutomu Kobayashi
Software Microscope: A System for Consistency-Preserving Automatic Abstration of Formal Specification
Japan Science and Technology Agency (JST): Research Proposals for the Strategic Basic Research Programs (ACT-I)
Project Year: Oct 2017 - Mar 2019    Investigator(s): Tsutomu Kobayashi
Establishing Guides for Design and Flexible Refactoring of Stepwise Refinement
Japan Society for the Promotion of Science (JSPS): Grant-in-Aid for Research Activity Start-up
Project Year: Oct 2017 - Mar 2019    Investigator(s): Tsutomu Kobayashi

Awards & Honors

 
Nov 2018
Analysis on Strategies of Superposition Refinement of Event-B Specifications, Best Paper Award, ICFEM 2018
Winner: Tsutomu Kobayashi and Fuyuki Ishikawa
 
Jul 2017
Endorsement to Ph.D. theses by IPSJ SIGs, Information Processing Society of Japan
 

Published Papers

 
Change Impact Analysis for Refinement-based Formal Specification
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
IEICE Transactions on Information and Systems, Special Issue on Formal Approach   E102-D(8) 1462-1477   Aug 2019   [Refereed]
Consistency-preserving refactoring of refinement structures in Event-B models
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
Formal Aspects of Computing   31(3) 287-320   May 2019   [Refereed]
A Refinement based Method for Developing Distributed Protocols
Paulius Stankaitis, Alexei Iliasov, Alexander Romanovsky, Yamine Ait-Ameur, Tsutomu Kobayashi, and Fuyuki Ishikawa
The 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019)      Jan 2019   [Refereed]
Analysis on Strategies of Superposition Refinement of Event-B Specifications
Tsutomu Kobayashi and Fuyuki Ishikawa
The 20th International Conference on Formal Engineering Methods (ICFEM 2018)   357-372   Nov 2018   [Refereed]
Best Paper Award
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, and Shinichi Honiden
The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)   61-70   Dec 2017   [Refereed]
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 21st International Symposium on Formal Methods (FM 2016)   444-459   Nov 2016   [Refereed]
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 35th International Conference on Conceptual Modeling (ER 2016)   488-495   Nov 2016   [Refereed]
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2014)   277-283   Jun 2014   [Refereed]
Towards Refinement Strategy Planning for Event-B
Tsutomu Kobayashi and Shinichi Honiden
Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)   72-81   Oct 2012   [Refereed]

Conference Activities & Talks

 
Refactoring Refinement of Event-B Models [Invited]
Tsutomu Kobayashi and Fuyuki Ishikawa
Shonan Meeting Towards industrial application of advanced formal methods for cyber-physical system engineering   7 Nov 2018   
A Framework for Developing Distributed Protocols with Event-B/Rodin
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Alexander Romanovsky, Fuyuki Ishikawa
Rodin Workshop 2018 at ABZ 2018   5 Jun 2018   
SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines
Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa, and Shinichi Honiden
The 6th Rodin User and Developer Workshop at ABZ 2016   23 May 2016   
Refinement Engineering? [Invited]
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
Shonan Meeting on Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS)   29 Oct 2014   
Systematic Planning of Refinement in Event-B
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 4th Rodin User and Developer Workshop at iFM 2013   11 Jun 2013   

Teaching Experience

 
 

Education

 
Apr 2013
 - 
Mar 2017
Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
 
Apr 2011
 - 
Mar 2013
Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
 
Apr 2007
 - 
Mar 2011
Department of Information Science, School of Science, The University of Tokyo
 

Misc

 
Proceedings of the Event-B Day 2018 in Tokyo
Fuyuki Ishikawa, Tsutomu Kobayashi, Alexander Romanovsky
Technical Report, School of Computing Science, University of Newcastle upon Tyne (CS-TR-1525)      Dec 2018