石井 大輔
Daisuke ISHII
更新日: 03/24
論文
29
表示件数
-
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年 査読有り筆頭著者責任著者
-
The 2nd Workshop on Logics for System Analysis (LfSA2012) 3-17 2012年7月 査読有り
-
Principles and Practice of Constraint Programming - 18th International Conference, CP 2012 LNCS 7514 867-882 2012年 査読有り
-
Constraints 17(4) 432-460 2012年 査読有り筆頭著者責任著者
-
コンピュータ ソフトウェア 28(1) 306-311 2011年 査読有り
-
International Journal on Software Tools for Technology Transfer (STTT) 13(5) 449-461 2011年 査読有り筆頭著者責任著者
-
Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE2009) 1-9 2009年11月 査読有り
-
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009 37 2009年 査読有り筆頭著者
-
3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009 144-149 2009年 査読有り筆頭著者責任著者
-
情報処理学会論文誌数理モデル化と応用（TOM） 1(1) 149-159 2008年9月26日 査読有り筆頭著者
-
Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops) 245-255 2007年5月 査読有り
-
情報科学技術レターズ (4) 219-222 2005年8月22日 査読有り筆頭著者