
Daisuke ISHII
(石井 大輔)
Modified on: 03/28
Papers
26
Entries per page
-
NASA Formal Methods (to appear), 2022 Peer-reviewedLead authorCorresponding author
-
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
-
Constraints, 17(4) 432-460, 2012 Peer-reviewedLead authorCorresponding author
-
Computer Software, 28(1) 306-311, 2011 Peer-reviewed
-
International Journal on Software Tools for Technology Transfer (STTT), 13(5) 449-461, 2011 Peer-reviewedLead authorCorresponding author