
石井 大輔
Daisuke ISHII
更新日: 04/24
基本情報
研究キーワード
3研究分野
1経歴
9-
2019年10月 - 現在
-
2018年12月 - 2019年9月
-
2015年12月 - 2018年11月
-
2013年4月 - 2015年11月
-
2011年4月 - 2013年3月
-
2011年4月 - 2011年12月
-
2010年4月 - 2011年3月
-
2007年4月 - 2010年3月
-
2004年4月 - 2006年3月
受賞
2-
2015年3月
-
2014年9月
論文
31-
VMCAI (tool paper) 15529 148-162 2025年 査読有り筆頭著者最終著者責任著者
-
SPIN 14624 67-84 2024年 査読有り筆頭著者最終著者責任著者
-
QRS 422-433 2022年12月 査読有り筆頭著者責任著者
-
ICFEM 13478 156-172 2022年10月 査読有り筆頭著者責任著者
-
NASA Formal Methods 13260 733-751 2022年5月 査読有り筆頭著者責任著者
-
MODELSWARD 219-226 2022年2月 査読有り
-
Journal of Computational and Applied Mathematics 377 2020年10月 査読有り筆頭著者責任著者
-
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E103-A(2) 451-461 2020年2月 査読有り
-
International Symposium on Theoretical Aspects of Software Engineering (TASE) 2020年 査読有り筆頭著者責任著者
-
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019 39-46 2019年 査読有り
-
組込みシステムシンポジウム2018論文集 (2018) 83-90 2018年8月23日 査読有り
-
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Revised Selected Papers LNCS 11267 63-78 2017年10月 査読有り
-
Runtime Verification - 17th International Conference, RV 2017 LNCS 10548 370-379 2017年 査読有り
-
Reliable Computing 23 163-185 2016年 査読有り
-
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 99-A(2) 442-453 2016年 査読有り筆頭著者責任著者
-
Proceedings of the ACM SIGPLAN Workshop on X10 33-38 2015年 査読有り筆頭著者責任著者
-
NSV Workshop ENTCS 317 85-100 2015年 査読有り筆頭著者責任著者
-
Principles and Practice of Constraint Programming - 20th International Conference, CP 2014 LNCS 8656 398-406 2014年 査読有り筆頭著者責任著者
-
Artificial Intelligence 211 34-50 2014年 査読有り
-
Integrated Formal Methods, 10th International Conference, iFM 2013 LNCS 7940 139-153 2013年 査読有り筆頭著者責任著者
MISC
53-
DSW-FMAP 2024年11月
-
Theorem Proving and Provers Meeting (TPP) 2024年11月
-
PPL (ポスター) 2024年
-
電子情報通信学会MSS研究会 64-69 2024年1月
-
電子情報通信学会MSS研究会 60-65 2023年1月
-
IEICE TRANS. FUNDAMENTALS, VOL.E105–A, NO.5 E105-A(5) 787-787 2022年5月
-
CoRR arXiv:2112.05411 [cs.SE] 1-22 2021年12月 筆頭著者責任著者
-
情報処理学会全国大会 1-2 2020年3月
-
情報処理学会全国大会 1-2 2020年3月
-
日本ソフトウェア科学会第36回大会 1-7 2019年8月
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(499) 7-11 2019年3月14日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(499) 19-22 2019年3月14日
-
電子情報通信学会SS研究会 2019年3月
-
情報処理学会論文誌プログラミング(PRO) 12(3) 1-1 2019年3月
-
第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR) 2018年12月
-
第16回ディペンダブルシステムワークショップ 2018年12月
-
第16回ディペンダブルシステムワークショップ 2018年12月
-
第167回HPC研究会 2018年12月
-
日本ソフトウェア科学会第35回大会 2018年8月
-
International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN) 176-177 2018年8月
所属学協会
3-
2010年 - 現在
-
2007年 - 現在
-
2006年 - 現在
委員歴
9-
2016年 - 現在
-
2015年 - 現在
-
2015年 - 現在
-
2025年
-
2014年 - 2019年
-
2018年
-
2016年 - 2017年
-
2016年