| | Tsutomu Kobayashi Last updated: Sep 13, 2019 at 15:35 | Name | Tsutomu Kobayashi |
|---|
E-mail | t-kobayashi nii.ac.jp |
|---|
Affiliation | Japan Science and Technology Agency |
|---|
Job title | ACT-I Researcher |
|---|
Degree | Ph.D. (Information Science and Technology)(The University of Tokyo) |
|---|
|
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 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 |
|
|
|
|  |
