Daisuke ISHII
(石井 大輔)
Modified on: 04/01
Papers
30
Entries per page
-
SPIN (to appear), 2024 Peer-reviewedLead authorLast authorCorresponding author
-
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