田辺 良則
タナベ ヨシノリ (Yoshinori TANABE)
更新日: 02/01
基本情報
経歴
8-
2015年4月 - 現在
-
2011年4月 - 現在
-
2010年4月 - 2011年3月
-
2008年5月 - 2010年3月
-
2005年10月 - 2008年3月
-
2003年2月 - 2005年9月
-
2001年4月 - 2003年1月
-
1989年4月 - 2001年2月
受賞
3-
2012年8月
-
2007年6月
論文
53-
Knowledge-Based Software Engineering: 2020 47-59 2020年 査読有り
-
Softw. Test. Verification Reliab. 30(7-8) 2020年 査読有り
-
Sustainable ICT, Education and Learning 89-98 2019年 査読有り
-
2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) 288-298 2017年 査読有り
-
ACM SIGSOFT Software Engineering Notes 41(6) 1-5 2016年 査読有り
-
RUNTIME VERIFICATION, (RV 2016) 10012 386-403 2016年 査読有り
-
Studies in Computational Intelligence 614 75-96 2015年10月 査読有り
-
ACM International Conference Proceeding Series 07-11- 32:1-32:6 2015年9月7日 査読有り
-
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium 120-134 2015年 査読有り
-
2015 IEEE/ACM 8TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST) 48-51 2015年 査読有り
-
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015. 35-42 2015年 査読有り
-
IJNC 5(2) 373-402 2015年 査読有り
-
IJNC 5(2) 347-372 2015年 査読有り
-
コンピュータソフトウェア 31(4) 40-65 2014年11月 査読有り
-
第9回ソフトウェアエンジニアリングシンポジウム (SES2014) 2014年9月 査読有り
-
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 40(5) 483-501 2014年5月 査読有り
-
電子情報通信学会論文誌. D, 情報・システム 97(3) 625-634 2014年3月 査読有り
-
2014 SECOND INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR) 144-150 2014年 査読有り
-
2014 SECOND INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR) 96-105 2014年 査読有り
MISC
3-
Technical Report, GRACE Center, National Institute of Informatics (GRACE-TR-2015-05) 1-17 2015年6月
-
SEC journal 10(1) 46-48 2014年3月 招待有り
-
日本ソフトウェア科学会大会論文集 28 1-9 2011年9月27日
講演・口頭発表等
1-
第4回プログラミングおよびプログラミング言語サマースクール 2006年9月12日 招待有り
担当経験のある科目(授業)
9所属学協会
3共同研究・競争的資金等の研究課題
11-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2020年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2017年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2016年4月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2014年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2014年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2011年4月 - 2016年3月
-
文部科学省 科学研究費補助金(基盤研究(C)) 基盤研究(C) 2013年 - 2015年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2011年4月 - 2014年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2011年4月 - 2014年3月
-
文部科学省 科学研究費補助金(基盤研究(C)) 基盤研究(C) 2009年4月 - 2012年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2008年 - 2010年