石井 大輔
Daisuke ISHII
更新日: 2024/11/29
論文
31
表示件数
-
VMCAI (tool paper; to appear) 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年 査読有り筆頭著者責任著者