Daisuke ISHII

J-GLOBAL         Last updated: Nov 6, 2019 at 17:32
 
Avatar
Name
Daisuke ISHII
URL
http://www.dsksh.com/
Affiliation
Japan Advanced Institute of Science and Technology
Job title
Associate Professor
Degree
Doctor of Engineering(Waseda University)

Published Papers

 
Kazunori Ueda,Hiroshi Hosobe,Daisuke Ishii
CoRR   abs/1910.12272    2019   [Refereed]
Takashi Tomita,Daisuke Ishii,Toru Murakami,Shigeki Takeuchi,Toshiaki Aoki
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019   39-46   2019   [Refereed]
冨田 尭, 石井 大輔, 村上 徹, 竹内 成樹, 青木 利晃
組込みシステムシンポジウム2018論文集   (2018) 83-90   Aug 2018
Daisuke Ishii,Alexandre Goldsztejn
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings   370-379   2017   [Refereed]
Takashi Tomita,Daisuke Ishii,Toru Murakami,Shigeki Takeuchi,Toshiaki Aoki
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers   63-78   2017   [Refereed]
Alexandre Goldsztejn, Daisuke ISHII
Reliable Computing   23 163-185   2016   [Refereed]
Daisuke Ishii,Naoki Yonezaki,Alexandre Goldsztejn
IEICE Transactions   99-A(2) 442-453   2016   [Refereed]
Daisuke Ishii,Kazuki Yoshizoe,Toyotaro Suzumura
Proceedings of the ACM SIGPLAN Workshop on X10, Portland, OR, USA, June 15 - 17, 2015   33-38   2015   [Refereed]
Daisuke Ishii,Naoki Yonezaki,Alexandre Goldsztejn
Electr. Notes Theor. Comput. Sci.   317 85-100   2015   [Refereed]
Daisuke Ishii,Kazuki Yoshizoe,Toyotaro Suzumura
Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings   398-406   2014   [Refereed]

Misc

 
藤井 采人, 石井 大輔
情報処理学会論文誌プログラミング(PRO)   12(3) 1-1   Sep 2019
Bounded model checking (BMC) is a formal method for verifying safety properties of systems modelled as transition systems. In a verification process, it encodes a system and its property into a predicate logic formula and checks the satisfiability...
武仲 紘輝, 石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   118(499) 7-11   Mar 2019
小嶋 翔太, 石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   118(499) 19-22   Mar 2019
高田 浩彰, 美添 一樹, 石井 大輔, 津田 宏治
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   117(475) 63-70   Mar 2018
薮 智仁, 石井 大輔
日本ソフトウェア科学会大会論文集   34 405-414   Sep 2017
Daisuke Ishii,Alexandre Goldsztejn,Naoki Yonezaki
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers   79-82   2017   [Refereed][Invited]
石井 大輔, 上田 和紀
情報処理   57(8) 734-737   Jul 2016   [Invited]
プログラムの仕様記述,スケジューリングなど多くの応用問題は,命題論理で記述するよりも,整数の算術式や配列演算子など問題固有の記号を命題論理に埋め込んだ述語論理を用いたほうが記述しやすい.SMT(satis ability modulo theories)は,述語論理の充足可能性判定をSATソルバーと理論ソルバーを連携させて行うための技術である.本稿では,最近のSMTソルバーで用いられている求解技術を概観するとともに,応用事例として,SMTソルバーを利用して仕様付きプログラムの正当性を自動検...
峰尾 太陽, 石井 大輔, 渡部 卓雄
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115(480) 61-66   Mar 2016
Ishii Daisuke, Tomita Takashi, Yonezaki Naoki
Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference   2016 "SS-38"-"SS-39"   Mar 2016
石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115(419) 59-62   Jan 2016