小林 努

J-GLOBALへ         更新日: 19/05/31 14:32
 
アバター
研究者氏名
小林 努
eメール
t-kobayashinii.ac.jp
所属
科学技術振興機構
職名
ACT-I 専任研究者
学位
博士(情報理工学)(東京大学)

研究分野

 
 

経歴

 
2019年4月
 - 
現在
科学技術振興機構 ACT-I 専任研究者
 
2018年4月
 - 
2019年3月
国立情報学研究所 アーキテクチャ科学研究系 特任研究員
 
2017年4月
 - 
2018年3月
国立情報学研究所 コンテンツ科学研究系 特任研究員
 
2017年9月
 - 
現在
早稲田大学 基幹理工学部 非常勤講師
 
2017年4月
 - 
現在
北陸先端科学技術大学院大学 情報科学系 非常勤講師
 

競争的資金等の研究課題

 
プログラムコードの整合性ある自動抽象化による表明強化の支援
科学技術振興機構: 戦略的創造研究推進事業(ACT-I) 加速フェーズ
研究期間: 2019年4月 - 2021年3月    代表者: 小林 努
整合性を保持する形式仕様の自動抽象化システム「ソフトウェア顕微鏡」の開発
科学技術振興機構: 戦略的創造研究推進事業(ACT-I)
研究期間: 2017年10月 - 2019年3月    代表者: 小林 努
段階的詳細化の柔軟な変更および設計指針の確立
日本学術振興会: 科学研究費補助金 研究活動スタート支援
研究期間: 2017年10月 - 2019年3月    代表者: 小林 努

受賞

 
2018年11月
ICFEM 2018 Best Paper Award Analysis on Strategies of Superposition Refinement of Event-B Specifications
受賞者: Tsutomu Kobayashi and Fuyuki Ishikawa
 
2017年7月
情報処理学会 研究会推薦博士論文
 

論文

 
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   Accepted   2019年3月   [査読有り]
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   2019年5月   [査読有り]
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)      2019年1月   [査読有り]
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   2018年11月   [査読有り]
Best Paper Award受賞
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, and Shinichi Honiden
The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)   61-70   2017年12月   [査読有り]
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 21st International Symposium on Formal Methods (FM 2016)   444-459   2016年11月   [査読有り]
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 35th International Conference on Conceptual Modeling (ER 2016)   488-495   2016年11月   [査読有り]
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   2014年6月   [査読有り]
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   2012年10月   [査読有り]

講演・口頭発表等

 
ソフトウェアの働き・性質を正しく要約
小林 努
ACT-I先端研究フォーラム ~「情報と未来」研究者講演会~   2019年4月20日   
Refactoring Refinement of Event-B Models [招待有り]
小林 努
Shonan Meeting Towards industrial application of advanced formal methods for cyber-physical system engineering   2018年11月7日   
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   2018年6月5日   
博士論文紹介:Supporting Planning and Refactoring of Refinement Structure of Event-B Models [招待有り]
小林 努
第197回ソフトウェア工学研究発表会   2017年11月9日   
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   2016年5月23日   
Refinement Engineering? [招待有り]
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
Shonan Meeting on Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS)   2014年10月29日   
Systematic Planning of Refinement in Event-B
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 4th Rodin User and Developer Workshop at iFM 2013   2013年6月11日   

担当経験のある科目

 
 

学歴

 
2013年4月
 - 
2017年3月
東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 博士課程
 
2011年4月
 - 
2013年3月
東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 修士課程
 
2007年4月
 - 
2011年3月
東京大学 理学部 情報科学科
 

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)      2018年12月
ER 2016 参加報告
中川 博之,小林 努,林 晋平,吉岡 信和,鵜林 尚靖
コンピュータソフトウェア   34(3) 75-80   2017年9月