
Daisuke ISHII
(石井 大輔)
Modified on: 03/24
Profile Information
- Affiliation
- Associate Professor, School of Information Science, Japan Advanced Institute of Science and Technology
- Degree
-
Doctor of Engineering(Feb, 2010, Waseda University)
- researchmap Member ID
- B000001091
- External link
Research Interests
3Research Areas
1Research History
9-
Dec, 2018 - Sep, 2019
-
Dec, 2015 - Nov, 2018
-
Apr, 2011 - Mar, 2013
-
Apr, 2011 - Dec, 2011
-
Apr, 2010 - Mar, 2011
-
Apr, 2007 - Mar, 2010
-
Apr, 2004 - Mar, 2006
Awards
2-
Mar, 2015
-
Sep, 2014
Papers
29-
QRS, 422-433, Dec, 2022 Peer-reviewedLead authorCorresponding author
-
ICFEM, 13478 156-172, Oct, 2022 Peer-reviewedLead authorCorresponding author
-
NASA Formal Methods, 13260 733-751, May, 2022 Peer-reviewedLead authorCorresponding author
-
MODELSWARD, 219-226, Feb, 2022 Peer-reviewed
-
Journal of Computational and Applied Mathematics, 377, Oct, 2020 Peer-reviewedLead authorCorresponding author
-
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E103-A(2) 451-461, Feb, 2020 Peer-reviewed
-
International Symposium on Theoretical Aspects of Software Engineering (TASE), 2020 Peer-reviewedLead authorCorresponding author
-
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019, 39-46, 2019 Peer-reviewed
-
組込みシステムシンポジウム2018論文集, (2018) 83-90, Aug 23, 2018 Peer-reviewed
-
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Revised Selected Papers, LNCS 11267 63-78, Oct, 2017 Peer-reviewed
-
Runtime Verification - 17th International Conference, RV 2017, LNCS 10548 370-379, 2017 Peer-reviewed
-
Reliable Computing, 23 163-185, 2016 Peer-reviewed
-
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 99-A(2) 442-453, 2016 Peer-reviewedLead authorCorresponding author
-
Proceedings of the ACM SIGPLAN Workshop on X10, 33-38, 2015 Peer-reviewedLead authorCorresponding author
-
NSV Workshop, ENTCS 317 85-100, 2015 Peer-reviewedLead authorCorresponding author
-
Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, LNCS 8656 398-406, 2014 Peer-reviewedLead authorCorresponding author
-
Artificial Intelligence, 211 34-50, 2014 Peer-reviewed
-
Integrated Formal Methods, 10th International Conference, iFM 2013, LNCS 7940 139-153, 2013 Peer-reviewedLead authorCorresponding author
-
The 2nd Workshop on Logics for System Analysis (LfSA2012), 3-17, Jul, 2012 Peer-reviewed
-
Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, LNCS 7514 867-882, 2012 Peer-reviewed
Misc.
49-
IEICE MSS Workshop, Jan, 2023
-
IEICE TRANS. FUNDAMENTALS, VOL.E105–A, NO.5, E105-A(5) 787-787, May, 2022
-
CoRR, arXiv:2112.05411 [cs.SE] 1-22, Dec, 2021 Lead authorCorresponding author
-
情報処理学会全国大会, 1-2, Mar, 2020
-
情報処理学会全国大会, 1-2, Mar, 2020
-
日本ソフトウェア科学会第36回大会, 1-7, Aug, 2019
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118(499) 7-11, Mar 14, 2019
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118(499) 19-22, Mar 14, 2019
-
電子情報通信学会SS研究会, Mar, 2019
-
12(3) 1-1, Mar, 2019
-
第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR), Dec, 2018
-
第16回ディペンダブルシステムワークショップ, Dec, 2018
-
第16回ディペンダブルシステムワークショップ, Dec, 2018
-
第167回HPC研究会, Dec, 2018
-
日本ソフトウェア科学会第35回大会, Aug, 2018
-
International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN), 176-177, Aug, 2018
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117(475) 63-70, Mar 5, 2018
-
Dec, 2017
-
第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR), Dec, 2017
Professional Memberships
3-
2010 - Present
-
2007 - Present
-
2006 - Present
Committee Memberships
8-
2016 - Present
-
2015 - Present
-
2015 - Present
-
2014 - 2019
-
2016 - 2017
-
2016