ISHII Daisuke 石井大輔

… Alternative Names

石井大輔イシイダイスケ

Less

Researcher Number	00454025
Other IDs
Affiliation (Current)	2025: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授
Affiliation (based on the past Project Information) *help	2019 – 2023: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 2018: 福井大学, 学術研究院工学系部門, 准教授 2016 – 2017: 福井大学, 学術研究院工学系部門, 講師 2015 – 2016: 福井大学, 工学(系)研究科(研究院), 講師 2013 – 2014: 東京工業大学, 情報理工学(系)研究科, 助教 … More 2013: 東京工業大学, 情報理工学研究科, 助教 2010: 早稲田大学, 理工学術院, 客員次席研究員 2008 – 2010: Waseda University, 理工学術院, 助手 Less
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software Except Principal Investigator Basic Section 60050:Software-related / Software / Software
Keywords	Principal Investigator 制約プログラミング / 区間解析 / ハイブリッドシステム / 探索・論理・推論アルゴリズム / 運転支援システム / 部品化検証 / 制約獲得 / サイバーフィジカルシステム / 区間制約 / 国際研究者交流: フランス、スウェーデン … More / 演繹的推論 / 並列計算 / 国際研究者交流 / 並列分散処理 / 探索・論理, 推論アルゴリズム / プログラム言語 … More Except Principal Investigator ハイブリッドシステム / モデル検査 / 高水準モデリング言語 / 並列処理 / 言語処理系 / 不確定性 / テスト / 充足可能性判定 / 車載システム / 形式仕様記述 / 形式検証 / 形式手法 / 発展可能検証系 / 発展可能処理系 / 制約プログラミング / グラフ書換え / ハイプリッドシステム / システム検証 / 制約 / 高信頼計算 / モデリング言語 Less

Constraint Acquisition and Compositional Verification of Large and Complex Cyber-Physical SystemsPrincipal Investigator
- Principal Investigator
  
  石井大輔
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Interval constraint programming techniques for large and complex hybrid systemsPrincipal Investigator
- Principal Investigator
  
  Ishii Daisuke
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Japan Advanced Institute of Science and Technology
  University of Fukui
Evolution and development of high-level modeling languages integrating programming lanuguage technologies
- Principal Investigator
  
  Ueda Kazunori
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Waseda University
Study on formal methods for next-generation automotive systems
- Principal Investigator
  
  Aoki Toshiaki
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Interval constraint programming technique for discrete-continuous hybrid systemsPrincipal Investigator
- Principal Investigator
  
  Ishii Daisuke
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  University of Fukui
Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
- Principal Investigator
  
  Ueda Kazunori
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
Verification Techniques for Hybrid Systems based on Interval Constraint Programming and Deductive ReasoningPrincipal Investigator
- Principal Investigator
  
  ISHII Daisuke
- Project Period (FY)
  2013 – 2014
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Implementations of high-level modeling languages that integrate high-performance verifiers
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
High-level hybrid constraint modeling language and its reliable implementation
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
ハイブリッドシステムのための区間解析に基づく高信頼実装技術Principal Investigator
- Principal Investigator
  
  石井大輔
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Waseda University

[Journal Article] Coverage Testing of Industrial Simulink Models Using Monte-Carlo and SMT-Based Methods2023
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
- Journal Title
  
  Proc. 22nd International Conference on Software Quality, Reliability and Security (QRS)
  
  Volume: - Pages: 422-433
- DOI
  10.1109/qrs57517.2022.00050
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11969, KAKENHI-PROJECT-18K11240
[Journal Article] SMT-Based Model Checking of Industrial Simulink Models2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
- Journal Title
  
  Proc. 23rd International Conference on Formal Engineering Methods (ICFEM)
  
  Volume: 13478 Pages: 156-172
- DOI
  10.1007/978-3-031-17244-1_10
- ISBN
  9783031172434, 9783031172441
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11240
[Journal Article] Approximate Translation from Floating-Point to Real-Interval Arithmetic2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
- Journal Title
  
  Proc. NASA Formal Methods
  
  Volume: 13260 Pages: 733-751
- DOI
  10.1007/978-3-031-06773-0_39
- ISBN
  9783031067723, 9783031067730
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11240
[Journal Article] Computer-assisted verification of four interval arithmetic operators2020
- Author(s)
  Daisuke Ishii, Tomohito Yabu
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 377 Pages: 112893-112893
- DOI
  10.1016/j.cam.2020.112893
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03223
[Journal Article] Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models2020
- Author(s)
  Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E103.A Issue: 2 Pages: 451-461
- DOI
  10.1587/transfun.2019MAP0010
- NAID
  130007793381
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2020-02-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11240, KAKENHI-PROJECT-18H03220
[Journal Article] Computer-assisted verification of four interval arithmetic operators2020
- Author(s)
  Daisuke Ishii, Tomohito Yabu
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 377 Pages: 1-13
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11240
[Journal Article] HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis2017
- Author(s)
  Daisuke Ishii, Alexandre Goldsztejn
- Journal Title
  
  Proceedings of International Conference on Runtime Verification, Lecture Notes in Computer Science
  
  Volume: 10548 Pages: 370-379
- DOI
  10.1007/978-3-319-67531-2_23
- ISBN
  9783319675305, 9783319675312
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15968
[Journal Article] A Parallelotope Method for Hybrid System Simulation2016
- Author(s)
  A. Goldsztejn, D. Ishii
- Journal Title
  
  Reliable Computing
  
  Volume: 23 Pages: 163-185
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Journal Article] Monitoring Temporal Properties Using Interval Analysis2016
- Author(s)
  D. Ishii, N. Yonezaki, A. Goldsztejn
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E99.A Issue: 2 Pages: 442-453
- DOI
  10.1587/transfun.E99.A.442
- NAID
  130005121531
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15968, KAKENHI-PROJECT-26280024
[Journal Article] A Parallelotope Method for Hybrid System Simulation2016
- Author(s)
  A. Goldsztejn, D. Ishii
- Journal Title
  
  Reliable Computing
  
  Volume: 23 Pages: 163-185
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15968
[Journal Article] Monitoring Bounded LTL Properties Using Interval Analysis2015
- Author(s)
  D. Ishii, N. Yonezaki, A. Goldsztejn
- Journal Title
  
  Electronic Notes in Theoretical Computer Science
  
  Volume: 317 Pages: 85-100
- DOI
  10.1016/j.entcs.2015.10.009
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Journal Article] Scalable Parallel Numerical CSP Solver2014
- Author(s)
  D. Ishii, K. Yoshizoe, T. Suzumura
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8656 Pages: 398-406
- DOI
  10.1007/978-3-319-10428-7_30
- ISBN
  9783319104270, 9783319104287
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280024
[Journal Article] 非線形ハイブリッドシステムの可到達集合の精度保証2014
- Author(s)
  石井大輔, 上田和紀
- Journal Title
  
  計測と制御
  
  Volume: 53(12) Pages: 1086-1092
- NAID
  130005626615
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25880008
[Journal Article] A branch and prune algorithm for the computation of generalized aspects of parallel robots2014
- Author(s)
  S. Caro, D. Chablat, A. Goldsztejn, D. Ishii, C. Jermann
- Journal Title
  
  Artificial Intelligence
  
  Volume: 211 Pages: 34-50
- DOI
  10.1016/j.artint.2014.02.001
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25880008, KAKENHI-PROJECT-26280024
[Journal Article] 非線形ハイブリッドシステムの可到達集合の精度保証2014
- Author(s)
  石井大輔, 上田和紀
- Journal Title
  
  計測と制御
  
  Volume: 53 Pages: 1086-1092
- NAID
  130005626615
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280024
[Journal Article] A High-Level Language for Hybrid Systems2012
- Author(s)
  K. Ueda, S. Matsumoto, A. Takeguchi, H. Hosobe, and D. Ishii. HydLa
- Journal Title
  
  In Logics for System Analysis Workshop (LfSA)
  
  Pages: 3-17
- URL
  http://www.ls.cs.cmu.edu/LfSA12/LfSA12.pdf
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] Interval-Based Projection Method for Under-Constrained Numerical Systems2012
- Author(s)
  石井大輔, Alexandre Goldsztejn, Christophe Jermann
- Journal Title
  
  Constraints Journal
  
  Volume: 17(4) Issue: 4 Pages: 432-460
- DOI
  10.1007/s10601-012-9126-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-11J03810, KAKENHI-PROJECT-23300011
[Journal Article] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011
- Author(s)
  Daisuke Ishii, Kazunori Ueda, Hiroshi Hosebe
- Journal Title
  
  Int.J.Softw.Tools.Technol.Transfer
  
  Volume: Vol.13(未定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011
- Author(s)
  石井大輔、上田和紀、細部博史
- Journal Title
  
  International Journal on Software Tools for Technology Transfer (STTT)
  
  Volume: 13 Issue: 5 Pages: 449-461
- DOI
  10.1007/s10009-011-0193-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-11J03810, KAKENHI-PROJECT-23300011
[Journal Article] ハイブリッド制約言語HydLaの宣言的意味論2011
- Author(s)
  上田和紀, 細部博史, 石井大輔
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.28, No.1 Pages: 306-311
- NAID
  130004892168
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] ハイブリッド制約言語HydLaの宣言的意味論2011
- Author(s)
  上田和紀,細部博史,石井大輔
- Journal Title
  
  コンピュータソフトウェア Vol.28, No.1
  
  Pages: 306-311
- NAID
  130004892168
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Journal Title
  
  Int.J.Softw.Tools.Technol.Transfer Vol.13(掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Journal Title
  
  情報処理学会論文誌数理モデル化と応用 1(1)
  
  Pages: 149-159
- NAID
  110006827845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Journal Title
  
  情報処理学会論文誌数理モデル化と応用 1(1)
  
  Pages: 149-159
- NAID
  110006827845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700033
[Journal Article] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008
- Author(s)
  石井大輔,上田和紀,細部博史
- Journal Title
  
  情報処理学会論文誌数理モデル化と応用 Vol.1, No.1
  
  Pages: 149-159
- NAID
  110006827845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 階層的な同期リアクティブシステムの部品化および検証手法2024
- Author(s)
  石井大輔
- Organizer
  日本ソフトウェア科学会PPL
- Data Source
  KAKENHI-PROJECT-22K11969
[Presentation] 車両情報を用いた深層学習による運転者眠気検知の検討2024
- Author(s)
  中釜雄太郎, 石井大輔, 美添一樹
- Organizer
  電子情報通信学会MSS研究会
- Data Source
  KAKENHI-PROJECT-22K11969
[Presentation] A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method2024
- Author(s)
  Daisuke Ishii
- Organizer
  SPIN
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11969
[Presentation] Experiments on the conformance testing of a ROS-based robot arm2023
- Author(s)
  Luwei Chen, Daisuke Ishii
- Organizer
  電子情報通信学会MSS研究会
- Data Source
  KAKENHI-PROJECT-22K11969
[Presentation] Coverage Testing of Industrial Simulink Models Using Monte-Carlo and SMT-Based Methods2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do and Hideaki Takai
- Organizer
  International Conference on Software Quality, Reliability, and Security
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Approximate Translation from Floating-Point to Real-Interval Arithmetic2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
- Organizer
  NASA Formal Methods
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Approximate Translation from Floating-Point to Real-Interval Arithmetic2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
- Organizer
  NASA Formal Methods
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] SMT-Based Model Checking of Industrial Simulink Models2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
- Organizer
  International Conference on Formal Engineering Method
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Analysis and Enhancement of Self-sovereign Identity System Properties Compiling Standards and Regulations2022
- Author(s)
  Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii
- Organizer
  8th International Conference on Information Systems Security and Privacy (ICISSP)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] 区間制約ソルバにおけるパラメータ化制約の導入2020
- Author(s)
  野村亮太, 石井大輔
- Organizer
  情報処理学会全国大会
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] 区間制約ソルバにおけるパラメータ化制約の導入2020
- Author(s)
  野村亮太，石井大輔
- Organizer
  情報処理学会第82回全国大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking2020
- Author(s)
  Daisuke Ishii, Saito Fujii
- Organizer
  International Symposium on Theoretical Aspects of Software Engineering (TASE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] SMTソルバを用いたSimulinkモデルのテストケース生成2020
- Author(s)
  八田竜起,石井大輔
- Organizer
  情報処理学会全国大会
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Why3を用いた区間べき関数のプログラム検証2019
- Author(s)
  村上椋星，薮智仁，石井大輔
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models2019
- Author(s)
  Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
- Organizer
  11th Workshop on Modelling in Software Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] A scalable Monte-Carlo test-case generation tool for large and complex simulink models2019
- Author(s)
  Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
- Organizer
  International Workshop on Modelling in Software Engineerings (MiSE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Acumen を用いたハイブリッドシステムの統計的モデル検査2019
- Author(s)
  井上晃輔, 石井大輔
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Why3を用いた区間べき関数のプログラム検証2019
- Author(s)
  村上涼星, 薮智仁, 石井大輔
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Simulink モデルの SMT-LIB エンコード方法に関する実験2019
- Author(s)
  武仲紘輝, 石井大輔
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Duracz らの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装2019
- Author(s)
  小嶋翔太, 石井大輔
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] 証明支援系Coqを用いた有界モデル検査アルゴリズムの検証2019
- Author(s)
  藤井采人, 石井大輔
- Organizer
  情報処理学会プログラミング研究会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証2019
- Author(s)
  藤井采人, 石井大輔
- Organizer
  情報処理学会プログラミング研究会
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装2019
- Author(s)
  小嶋翔太, 石井大輔
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] Machine-Aided Verification of Four Interval Arithmetic Operators2018
- Author(s)
  Tomohito Yabu, Daisuke Ishii
- Organizer
  International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Machine-Aided Verification of Four Interval Arithmetic Operators2018
- Author(s)
  Tomohito Yabu, Daisuke Ishii
- Organizer
  International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 区間解析法とモンテカルロ法の連携による Simulink テストケースの自動生成2018
- Author(s)
  石井大輔, 野村亮太, 八田竜起, 冨田尭, 青木利晃
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] 証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証2018
- Author(s)
  藤井采人, 石井大輔
- Organizer
  第16回ディペンダブルシステムワークショップ
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] 証明支援系Coqを用いた有界モデル検査アルゴリズムの検証2018
- Author(s)
  藤井采人, 石井大輔
- Organizer
  第16回ディペンダブルシステムワークショップ
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] An Extended GLB Library for Optimization Problems2018
- Author(s)
  Shota Izumi, Daisuke Ishii, Kazuki Yoshizoe
- Organizer
  HPC Asia
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] Why3を用いた区間演算ライブラリの検証2018
- Author(s)
  石井大輔, 藪智仁
- Organizer
  第2回精度保証付き数値計算の実問題への応用研究集会
- Invited
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 大規模複雑 Simulink モデルのための Monte-Carlo 最適化に基づいたテスト自動生成ツール2018
- Author(s)
  冨田尭, 石井大輔, 村上徹, 竹内成樹, 青木利晃
- Organizer
  組込みシステムシンポジウム
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Why3を用いた区間演算プログラムの検証2018
- Author(s)
  藪智仁, 石井大輔
- Organizer
  第16回ディペンダブルシステムワークショップ
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] スケーラブルな並列探索による最適化問題の求解2018
- Author(s)
  泉翔太, 石井大輔, 美添一樹
- Organizer
  第167回HPC研究会
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Why3 を用いた区間演算プログラムの検証2018
- Author(s)
  藪智仁, 石井大輔
- Organizer
  第16回ディペンダブルシステムワークショップ
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] Why3を用いた区間演算ライブラリの検証2018
- Author(s)
  石井大輔, 藪智仁
- Organizer
  第2回精度保証付き数値計算の実問題への応用研究集会
- Invited
- Data Source
  KAKENHI-PROJECT-18K11240
[Presentation] X10 GLB ライブラリの最適化問題のための拡張2017
- Author(s)
  泉翔太, 石井大輔, 美添一樹
- Organizer
  電気関係学会北陸支部連合大会
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis2017
- Author(s)
  Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki
- Organizer
  CyPhy Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] 並列 RCSP ソルバーの求解過程の可視化2017
- Author(s)
  香椎蓮司, 石井大輔
- Organizer
  電気関係学会北陸支部連合大会
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] Why3 を用いた区間演算ライブラリの検証2017
- Author(s)
  薮智仁, 石井大輔
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] 証明支援系 Coq を用いた有界モデル検査2017
- Author(s)
  藤井采人, 石井大輔
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] Template-Based Monte-Carlo Test Generation for Simulink Models2017
- Author(s)
  T. Tomita, D. Ishii, T. Murakami, S. Takeuchi, T. Aoki
- Organizer
  CyPhy Workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] Acumen を用いたサイバーフィジカルシステムの統計的モデル検査2017
- Author(s)
  井上晃輔, 石井大輔
- Organizer
  第15回ディペンダブルシステムワークショップ (DSW)
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] ハイブリッドシステムの可到達集合の精度保証2017
- Author(s)
  石井大輔
- Organizer
  第1回精度保証付き数値計算の実問題への応用研究集会 (NVR)
- Invited
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] ハイブリッドシステムの統計的モデル検査2016
- Author(s)
  石井大輔, 冨田尭, 米崎直樹
- Organizer
  信学会総合大会
- Place of Presentation
  福岡県福岡市
- Year and Date
  2016-03-16
- Invited
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] 時相論理式の反証を用いた制御器のチューニング2016
- Author(s)
  峰尾太陽, 石井大輔, 渡部卓雄
- Organizer
  電子情報通信学会MSS研究会
- Place of Presentation
  山口県下関市
- Year and Date
  2016-03-04
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] 区間解析による時相論理式の頑健性モニタリング2016
- Author(s)
  石井大輔
- Organizer
  電子情報通信学会システム数理と応用研究会 (MS2015-45)
- Place of Presentation
  金沢
- Year and Date
  2016-01-25
- Invited
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] 区間解析による時相論理式の頑健性モニタリング2016
- Author(s)
  石井大輔
- Organizer
  電子情報通信学会MSS研究会
- Place of Presentation
  石川県金沢市
- Year and Date
  2016-01-25
- Invited
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] 区間解析に基づく非線形ハイブリッドオートマトンのシミュレーション・検証ツール2016
- Author(s)
  石井大輔
- Organizer
  第14回ディペンダブルシステムワークショップ (DSW 2016)
- Place of Presentation
  函館市
- Year and Date
  2016-12-15
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッドシステムの統計的モデル検査2016
- Author(s)
  石井大輔, 冨田尭, 米崎直樹
- Organizer
  電子情報通信学会2016年度総合大会
- Place of Presentation
  九州大学，福岡
- Year and Date
  2016-03-16
- Invited
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] Simulinkモデルに対するテストスイート自動生成2016
- Author(s)
  冨田尭, 石井大輔, 青木利晃
- Organizer
  第14回ディペンダブルシステムワークショップ (DSW 2016)
- Place of Presentation
  函館市
- Year and Date
  2016-12-15
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] 区間解析に基づく非線形ハイブリッドオートマトンのシミュレーション・検証ツール2016
- Author(s)
  石井大輔
- Organizer
  第14回ディペンダブルシステムワークショップ
- Place of Presentation
  北海道函館市
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] Simulinkモデルに対するテストスイート自動生成2016
- Author(s)
  冨田尭, 石井大輔, 青木利晃
- Organizer
  第14回ディペンダブルシステムワークショップ
- Place of Presentation
  北海道函館市
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] Monitoring Bounded LTL Properties Using Interval Analysis2015
- Author(s)
  D. Ishii, N. Yonezaki, A. Goldsztejn
- Organizer
  8th International Workshop on Numerical Software Verification (NSV)
- Place of Presentation
  米国シアトル
- Year and Date
  2015-04-13
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] 数値制約ソルバーのスケーラブルな並列化2015
- Author(s)
  石井大輔, 美添一樹, 鈴村豊太郎
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  東京都新宿区
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] Scalable Parallel Numerical Constraint Solver Using Global Load Balancing2015
- Author(s)
  D. Ishii, K. Yoshizoe, T. Suzumura
- Organizer
  X10 Workshop
- Place of Presentation
  アメリカ合衆国・ポートランド
- Year and Date
  2015-06-14
- Data Source
  KAKENHI-PROJECT-25880008
[Presentation] 数値制約ソルバーのスケーラブルな並列化2015
- Author(s)
  石井大輔, 美添一樹, 鈴村豊太郎
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学，東京
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] 区間解析を用いたハイブリッドシステムの統計的モデル検査2015
- Author(s)
  石井大輔, 米崎直樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  鳥取県東伯郡三朝町
- Year and Date
  2015-01-27
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] Monitoring Bounded LTL Properties Using Interval Analysis2015
- Author(s)
  D. Ishii, N. Yonezaki, A. Goldsztejn
- Organizer
  8th International Workshop on Numerical Software Verification (NSV)
- Place of Presentation
  アメリカ合衆国・シアトル
- Year and Date
  2015-04-13
- Data Source
  KAKENHI-PROJECT-25880008
[Presentation] Scalable Parallel Numerical Constraint Solver Using Global Load Balancing2015
- Author(s)
  D. Ishii, K. Yoshizoe, T. Suzumura
- Organizer
  ACM SIGPLAN Workshop on X10
- Place of Presentation
  米国ポートランド
- Year and Date
  2015-06-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15968
[Presentation] 区間解析を用いたハイブリッドシステムの統計的モデル検査2015
- Author(s)
  石井大輔, 米崎直樹
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  鳥取
- Year and Date
  2015-01-27
- Data Source
  KAKENHI-PROJECT-25880008
[Presentation] Scalable Parallel Numerical Constraint Solver Using Global Load Balancing2015
- Author(s)
  D. Ishii, K. Yoshizoe, T. Suzumura
- Organizer
  ACM SIGPLAN Workshop on X10 (X10'15)
- Place of Presentation
  Portrand, Oregon, USA
- Year and Date
  2015-06-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] Scalable Parallel Numerical CSP Solver2014
- Author(s)
  D. Ishii, K. Yoshizoe, T. Suzumura
- Organizer
  The 20th International Conference on Principles and Practice of Constraint Programming (CP)
- Place of Presentation
  フランス・リヨン
- Year and Date
  2014-09-11
- Data Source
  KAKENHI-PROJECT-25880008
[Presentation] ハイブリッドシステムモデリング言語 HydLa の区間制約に基づく全解シミュレーション実行処理系2010
- Author(s)
  大谷順司, 廣瀬賢一, 石井大輔, 細部博史, 上田和紀
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLaの統合処理系2010
- Author(s)
  高田賢士郎, 廣瀬賢一, 大谷順司, 石井大輔, 細部樽史, 上田和紀
- Organizer
  第12回プログラミンゲおよびプログラミング言語ワークショップ(PPL' 10)
- Place of Presentation
  香川県琴平温泉
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] ハイブリッドシステムモデリング言語HydLaの統合処理系2010
- Author(s)
  高田賢士郎,廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL'10)
- Place of Presentation
  香川県琴平温泉
- Year and Date
  2010-03-04
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッド制約言語HydLaの宣言的意味論2010
- Author(s)
  上田和紀,細部博史,石井大輔
- Organizer
  日本ソフトウェア科学会第27回大会
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-14
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語 HydLa の統合処理系2010
- Author(s)
  高田賢士郎, 廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL'10)
- Place of Presentation
  香川県琴平温泉
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系2010
- Author(s)
  大谷順司,廣瀬賢一,石井大輔,細部博史,上田和紀
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学
- Year and Date
  2010-03-09
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッド制約言語HydLaの宣言的意味論2010
- Author(s)
  上田和紀, 細部博史, 石井大輔
- Organizer
  日本ソフトウェア科学会第27回大会論文集
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-14
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系2010
- Author(s)
  大谷順司, 廣瀬賢一, 石井大輔, 細部博史, 上田和紀
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] 不確実値を持つハイブリッドシステムの高信頼なシミュレーション手法2009
- Author(s)
  大谷順司,廣瀬賢一,石井大輔,上田和紀
- Organizer
  第6回ディペンダブルシステムシンポジウム
- Place of Presentation
  大阪大学
- Year and Date
  2009-12-15
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009
- Author(s)
  Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
- Organizer
  Workshop on Verified Software : Theory, Tools, and Experiments(VSTTE'09)
- Place of Presentation
  オランダ・アイントホーフェン
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009
- Author(s)
  D. Ishii, K. Ueda, H. Hosobe
- Organizer
  2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
- Place of Presentation
  イタリア・ローマ
- Year and Date
  2009-03-04
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009
- Author(s)
  Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
- Organizer
  Workshop on Verified Software : Theory, Tools, and Experiments (VSTTE'09)
- Place of Presentation
  オランダ・アイントホーフエン
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] Interval-based Solving of Hybr id Constraint Systems2009
- Author(s)
  Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
- Organizer
  The 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09)
- Place of Presentation
  スペイン・サラゴサ
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] 微分制約論理式によるハイブリッドシステムのモデリングと検証2009
- Author(s)
  石井大輔,上田和紀,細部博史
- Organizer
  電子情報通信学会コンカレント工学研究会
- Place of Presentation
  横浜
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009
- Author(s)
  廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
- Place of Presentation
  高山
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
- Place of Presentation
  ローマ
- Year and Date
  2009-03-04
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Alexandre Goldsztejn, Interval-based Solving of Hybrid Constraint Systems2009
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  The 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09)
- Place of Presentation
  スペイン・サラゴサ
- Year and Date
  2009-09-17
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009
- Author(s)
  廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
- Place of Presentation
  岐阜県・高山市
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Interval-based Solving of Hybrid Constraint Systems2009
- Author(s)
  Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
- Organizer
  The 3rd IFAC Conference on Analysis and Design of Hybrid Systems(ADHS'09)
- Place of Presentation
  スペイン・サラゴサ
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約階層によるハイブリッドシステムのモデリング手法2009
- Author(s)
  廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学
- Year and Date
  2009-09-16
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約階層によるハイブリッドシステムのモデリング手法2009
- Author(s)
  廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] 微分制約論理式によるハイブリッドシステムのモデリングと検証2009
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  電子情報通信学会コンカレント工学研究会
- Place of Presentation
  横浜
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] 不確実値を持つハイブリッドシステムの高信頼なシミュレーション手法2009
- Author(s)
  大谷順司, 廣瀬賢一, 石井大輔, 上田和紀
- Organizer
  第6回ディペンダブルシステムシンポジウム
- Place of Presentation
  大阪大学
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009
- Author(s)
  廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL'09)
- Place of Presentation
  岐阜県・高山市
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009
- Author(s)
  D. Ishii, K. Ueda, and H. Hosobe
- Organizer
  2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
- Place of Presentation
  イタリア・ローマ
- Year and Date
  2009-03-04
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  Workshop on Verified Software : Theory, Tools, and Experiments (VSTTE'09)
- Place of Presentation
  オランダ・アイントホーフェン
- Year and Date
  2009-11-02
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008
- Author(s)
  上田和紀, 石井大輔, 細部博史
- Organizer
  第5回システム検証の科学技術シンポジウム(SSV'08)
- Place of Presentation
  筑波・筑波大学
- Year and Date
  2008-11-17
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] 区間演算を用いたODE Solverにおける任意精度演算の導入とパラメタ最適化2008
- Author(s)
  廣瀬賢一, 石井大輔, 上田和紀
- Organizer
  FIT2008第7回情報科学技術フォーラム
- Place of Presentation
  慶応大学
- Year and Date
  2008-09-03
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] 数式処理・Quantifier Eliminationを用いたハイブリッドシステムのZeno状態の導出手法2008
- Author(s)
  大野善之, 石井大輔, 上田和紀
- Organizer
  人工知能学会第22回全国大会
- Place of Presentation
  北海道・旭川市
- Year and Date
  2008-06-11
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語2008
- Author(s)
  上田和紀,石井大輔,細部博史
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 数式処理・Quantifier Eliminationを用いたハイブリッドシステムのZeno状態の導出手法2008
- Author(s)
  大野善之, 石井大輔, 上田和紀
- Organizer
  人工知能学会第22回全国大会
- Place of Presentation
  北海道・旭川市
- Year and Date
  2008-06-11
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語2008
- Author(s)
  上田和紀, 石井大輔, 細部博史
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  東京・筑波大学
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008
- Author(s)
  上田和紀,石井大輔,細部博史
- Organizer
  第5回システム検証の科学技術シンポジウム(SSV'08)
- Place of Presentation
  筑波大学
- Year and Date
  2008-11-17
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  第6回ディペンダブルシステムワークショップ(DSW' 08summer)
- Place of Presentation
  北海道・函館
- Year and Date
  2008-07-03
- Data Source
  KAKENHI-PROJECT-20700033
[Presentation] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  第6回ディペンダブルシステムワークシヨツプ(DSW' 08summer)
- Place of Presentation
  北海道・函館
- Year and Date
  2008-07-03
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語2008
- Author(s)
  上田和紀, 石井大輔, 細部博史
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  東京・筑波大学
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 数式処理・Quantifier Eliminationを用いたハイブリッドシステムのZeno状態の導出手法2008
- Author(s)
  大野善之,石井大輔,上田和紀
- Organizer
  人工知能学会第22回全国大会
- Place of Presentation
  旭川
- Year and Date
  2008-06-11
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008
- Author(s)
  上田和紀, 石井大輔, 細部博史
- Organizer
  第5回システム検証の科学技術シンポジウム(SSV'08)
- Place of Presentation
  筑波・筑波大学
- Year and Date
  2008-11-17
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 区間演算を用いたODE Solverにおける任意精度演算の導入とパラメタ最適化2008
- Author(s)
  廣瀬賢一,石井大輔,上田和紀
- Organizer
  FIT2008 第7 回情報科学技術フォーラム
- Place of Presentation
  慶応義塾大学
- Year and Date
  2008-09-03
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 区間演算を用いたODE Solver における任意精度演算の導入とパラメタ最適化2008
- Author(s)
  廣瀬賢一, 石井大輔, 上田和紀
- Organizer
  FIT2008 第7回情報科学技術フォーラム
- Place of Presentation
  慶応義塾大学
- Year and Date
  2008-09-03
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008
- Author(s)
  石井大輔,上田和紀,細部博史
- Organizer
  第6回ディペンダブルシステムワークショップ(DSW'08summer)
- Place of Presentation
  函館
- Year and Date
  2008-07-03
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 最強事後条件の計算を用いたハイブリッドオートマトンの帰納的検証
- Author(s)
  石井大輔, G. Melquiond, 中島震
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-25880008
[Presentation] 平行体計算を用いた非線形ハイブリッドシステムのシミュレーション
- Author(s)
  石井大輔, A. Goldsztejn
- Organizer
  システム数理と応用研究会 (MSS)
- Place of Presentation
  豊田中央研究所
- Data Source
  KAKENHI-PROJECT-25880008
[Presentation] PGAS言語X10による数値制約充足問題ソルバーRealpaverの並列化
- Author(s)
  石井大輔, 鈴村豊太郎
- Organizer
  第141回ハイパフォーマンスコンピューティング研究発表会
- Place of Presentation
  沖縄産業支援センター
- Data Source
  KAKENHI-PROJECT-25880008
[Presentation] HydLa: A High-Level Language for Hybrid Systems
- Author(s)
  Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii
- Organizer
  Second Workshop on Logics for System Analysis (LfSA 2012)（査読有）
- Place of Presentation
  Berkeley, CA, USA
- Data Source
  KAKENHI-PROJECT-23300011

1. UEDA Kazunori (10257206)

# of Collaborated Projects: 5 results

# of Collaborated Products: 36 results
2. HOSOBE Hiroshi (60321577)

# of Collaborated Projects: 4 results

# of Collaborated Products: 29 results
3. TANABE Yoshinori (60443199)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. Aoki Toshiaki (20313702)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
5. MATSUMOTO Shota

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. NAKAJIMA Shin

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. YOSHIZOE Kazuki

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
8. WATANABE Takuo

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
9. GOLDSZTEJN Alexandre

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results

ISHII Daisuke 石井 大輔

石井 大輔 イシイ ダイスケ

Research Projects

Research Products

Co-Researchers

Constraint Acquisition and Compositional Verification of Large and Complex Cyber-Physical SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Interval constraint programming techniques for large and complex hybrid systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Evolution and development of high-level modeling languages integrating programming lanuguage technologies

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Study on formal methods for next-generation automotive systems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Interval constraint programming technique for discrete-continuous hybrid systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verification Techniques for Hybrid Systems based on Interval Constraint Programming and Deductive ReasoningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Implementations of high-level modeling languages that integrate high-performance verifiers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

High-level hybrid constraint modeling language and its reliable implementation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ハイブリッドシステムのための区間解析に基づく高信頼実装技術Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Coverage Testing of Industrial Simulink Models Using Monte-Carlo and SMT-Based Methods2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] SMT-Based Model Checking of Industrial Simulink Models2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Approximate Translation from Floating-Point to Real-Interval Arithmetic2022

Author(s)

Journal Title

DOI

ISHII Daisuke 石井大輔

石井大輔イシイダイスケ