• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

山根 智  yamane satoshi

ORCIDORCID連携する *注記
研究者番号 70263506
その他のID
外部サイト
所属 (現在) 2025年度: 下関市立大学, データサイエンス学部, 特命教授
所属 (過去の研究課題情報に基づく) *注記 2018年度 – 2023年度: 金沢大学, 電子情報通信学系, 教授
2012年度 – 2017年度: 金沢大学, 電子情報学系, 教授
2008年度 – 2009年度: 金沢大学, 電子情報学系, 教授
2007年度: 金沢大学, 金沢大学・自然科学研究科, 教授
2004年度: 金沢大学, 自然科学研究科, 教授 … もっと見る
2003年度: 金沢大学, 工学部, 教授
2001年度 – 2002年度: 金沢大学, 工学部, 助教授
1999年度 – 2000年度: 鹿児島大学, 工学部, 助教授
1997年度 – 1998年度: 島根大学, 総合理工学部, 講師 隠す
審査区分/研究分野
研究代表者
小区分60050:ソフトウェア関連 / 計算機科学 / ソフトウエア / ソフトウェア
研究代表者以外
感性工学
キーワード
研究代表者
抽象化精錬 / SMT / 組込みアセンブリプログラム / ソフトウェアモデル検査 / 仕様記述 / モデル検査 / 組込みシステム / 抽象化精錬(CEGAR) / SAT/SMT理論 / 定理証明 … もっと見る / 演繹的検証 / Assume-Guarantee / ハイブリッドモデル / 詳細化検証 / ハイブリッドオートマトン / タイマ割込み / イベント割込み / 双模倣関係 / SMTソルバー / アセンブリプログラム / 割込み処理 / 組込みソフトウェア / リアルタイム安全性 / 時間Kripke構造 / Interpolation / プログラム解析 / 動的プログラム解析 / SMT / probabilistic hybrid automaton / preemptive scheduler / model-checking / modular deductive verification / deductive refinement verification / design method for high-reliability / embedded systems / hybrid model / 模倣検証 / 確率 / 確率時間時相論理 / 確率時間オートマトン / 近似解析 / 到達可能解析 / 確率ハイブリッドシステム / 非線形ハイブリッドシステム / 確率ハイブリッドオートマトン / プリエンプティブスケジューラ / モジュール演繹的検証 / 演繹的詳細化検証 / 高信頼性設計方法 / specification / receptioneness / hybrid models / timed automata / refinement verification / stepwise refinement / open distributed systems / receptive / リアルタイム性 / 時相論理 / 計算機支援 / 実時間処理 / 開放型システム / 分散システム / receptiveness / 時間オートマトン / 段階的詳細化 / 開放型分散システム / ハイブリッドシステム / 検証器 / 動的ハイブリッドオートマトン / 動的再構成可能組込みシステム / 動的再構成 / CEGAR / 動的再構成可能システム / 形式的検証 / 述語抽象化洗練 / 検証 / 仕様記述言語 / 動的再構成組込みシステム / オブジェクトの生成消滅 / 動的リアルタイムCEGAR / 構造とリアルタイム性の抽象化 / 抽象化精錬検証 / リアルタイムオブジェクト指向 / オブジェクト指向 / 述語抽象化検証 … もっと見る
研究代表者以外
Context Effect / Method of Successive Categories / Membership Function / Fuzzy Logic / Psychological Noise / Randomness / Fuzziness / メンバーシップ関数 / 静か / 騒々しい / ファジィ効果 / 文脈効果 / 系列範ちゅう法 / 帰属度関数 / ファジィ論理 / 心理的雑音 / ランダムネス / ファジィネス 隠す
  • 研究課題

    (8件)
  • 研究成果

    (109件)
  • 共同研究者

    (2人)
  •  割込みを持つ組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査研究代表者

    • 研究代表者
      山根 智
    • 研究期間 (年度)
      2021 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      金沢大学
  •  組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発研究代表者

    • 研究代表者
      山根 智
    • 研究期間 (年度)
      2018 – 2020
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      金沢大学
  •  革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証研究代表者

    • 研究代表者
      山根 智
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      金沢大学
  •  動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証研究代表者

    • 研究代表者
      山根 智
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      金沢大学
  •  述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法研究代表者

    • 研究代表者
      山根 智
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      金沢大学
  •  ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発研究代表者

    • 研究代表者
      山根 智
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      金沢大学
  •  時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援研究代表者

    • 研究代表者
      山根 智
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      金沢大学
      鹿児島大学
  •  音響心理の定量的計測を目標とした心理モデルの構築と実験的検討

    • 研究代表者
      加藤 裕一
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      基盤研究(C)
    • 研究分野
      感性工学
    • 研究機関
      島根大学

すべて 2024 2023 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2010 2009 2008 2007 2004 2003 2002 その他

すべて 雑誌論文 学会発表 図書

  • [図書] "ハイブリッドオートマトン", 電子情報通信学会ハンドブック/知識ベース2010

    • 著者名/発表者名
      山根智
    • 出版者
      オーム社
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] An Efficient Reduction of Timer Interrupts for Model Checking of Embedded Assembly Programs2024

    • 著者名/発表者名
      Satoshi Yamane , Taro Kriyama , Yajun Wu
    • 雑誌名

      Electronics

      巻: 13 号: 2 ページ: 1-12

    • DOI

      10.3390/electronics13020463

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21K11824
  • [雑誌論文] 有界モデル検査を用いたリアルタイムOSカーネルのタスク管理モジュールの形式的検証2023

    • 著者名/発表者名
      小柴真之介、山根智
    • 雑誌名

      情報処理学会ソフトウェア工学研究会

      巻: SE-213 ページ: 1-8

    • データソース
      KAKENHI-PROJECT-21K11824
  • [雑誌論文] Reduction of Timer Interrupts for Embedded Assembly Programs Based on Reduction of Interrupt Handler Executions2021

    • 著者名/発表者名
      Taro Kiriyama, Yajun Wu, Satoshi Yamane
    • 雑誌名

      2021 IEEE 10th Global Conference on Consumer Electronics (GCCE)

      巻: 10 ページ: 464-466

    • DOI

      10.1109/gcce53005.2021.9622013

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21K11824
  • [雑誌論文] Lazy Abstractionと精練を用いた組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査2020

    • 著者名/発表者名
      上出広夢、山根智
    • 雑誌名

      2019年冬のLAシンポジュム

      巻: 印刷中 ページ: 1-5

    • データソース
      KAKENHI-PROJECT-18K11239
  • [雑誌論文] Verification Method of Safety Properties of Embedded Assembly Program by Combining SMT-Based Bounded Model Checking and Reduction of Interrupt Handler Executions2020

    • 著者名/発表者名
      Satoshi Yamane, Junpei Kobashi, Kosuke Uemura
    • 雑誌名

      MDPI electronics

      巻: 9(7) 号: 7 ページ: 1-24

    • DOI

      10.3390/electronics9071060

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11239
  • [雑誌論文] Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software2020

    • 著者名/発表者名
      Yajun Wu, Satoshi Yamane
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E103.D 号: 4 ページ: 800-812

    • DOI

      10.1587/transinf.2019EDP7172

    • NAID

      130007824981

    • ISSN
      0916-8532, 1745-1361
    • 年月日
      2020-04-01
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11239
  • [雑誌論文] Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program2020

    • 著者名/発表者名
      Satoshi Yamane, Kosuke Uemura
    • 雑誌名

      2020 IEEE 9th Global Conference on Consumer Electronics (GCCE)

      巻: 9 ページ: 54-57

    • DOI

      10.1109/gcce50665.2020.9291772

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11239
  • [雑誌論文] Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement2020

    • 著者名/発表者名
      Yajun Wu, Hiromu Kamide, Satoshi Yamane
    • 雑誌名

      2020 IEEE 9th Global Conference on Consumer Electronics (GCCE)

      巻: 9 ページ: 62-65

    • DOI

      10.1109/gcce50665.2020.9291966

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11239
  • [雑誌論文] SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions2019

    • 著者名/発表者名
      Kousuke Uemura, Satoshi Yamane:
    • 雑誌名

      2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing

      巻: 17 ページ: 633-639

    • DOI

      10.1109/dasc/picom/cbdcom/cyberscitech.2019.00120

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11239
  • [雑誌論文] Deductive Verification Method of Real-Time Safety Properties for Embedded Assembly Programs2019

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      Electronics

      巻: 8(10) 号: 10 ページ: 1-16

    • DOI

      10.3390/electronics8101163

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11239
  • [雑誌論文] Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure2018

    • 著者名/発表者名
      Yajun Wu ; Satoshi Yamane
    • 雑誌名

      2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)

      巻: 42 ページ: 257-257

    • DOI

      10.1109/compsac.2018.00040

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11239
  • [雑誌論文] Model Check of Real-time Property of Embedded Assembly Program Using CEGAR2018

    • 著者名/発表者名
      Hiromu Kamide, Kosuke Uemura, Satoshi Yamane
    • 雑誌名

      2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)

      巻: 42 ページ: 799-800

    • DOI

      10.1109/compsac.2018.00126

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11239
  • [雑誌論文] 定理証明器Princess を用いた組込みアセンブリプログラムのリアルタイム安全性の演繹的検証2018

    • 著者名/発表者名
      小田島直樹、福田岳飛、山根智
    • 雑誌名

      MSS2017-84

      巻: MSS2017-84 ページ: 35-40

    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] Model checking of embedded assembly program based on simulation2017

    • 著者名/発表者名
      S.Yamane, R.Konoshita, T.Kato
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: 100 ページ: 1819-1826

    • NAID

      120006374159

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ~ □≦TIME q = □(q∧(time≦TIME)) ~2017

    • 著者名/発表者名
      山根智
    • 雑誌名

      MSS2017-12

      巻: MSS2017-12 ページ: 59-64

    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] 組込みアセンブリプログラムのリアルタイム性の検証手法 ~ 組込みプログラムのためのモデル検査と演繹的検証 ~2017

    • 著者名/発表者名
      山根智
    • 雑誌名

      MSS2016-83

      巻: MSS2016-83 ページ: 11-16

    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] Deductively Verifying Embedded Software in the Era of Artificial Intelligence = Machine Learning + Software Science2017

    • 著者名/発表者名
      S.Yamane
    • 雑誌名

      IEEE 6th GCCE2017

      巻: 6 ページ: 1-4

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] Integration of Supervised and Unsupervised Learning for Deep Neural Network2016

    • 著者名/発表者名
      T.Uchiyama, S.Yamane,K.Sakurai,T.Kurita
    • 雑誌名

      The Korea-Japan joint workshop on Frontiers of Computer Vision (FCV)

      巻: 2 ページ: 1-6

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] Detecting Bank Conflict of GPU Programs Using Symbolic Execution;Case Study2016

    • 著者名/発表者名
      Koki Hamaya, Satoshi Yamane
    • 雑誌名

      Journal of Software Engineering and Applications

      巻: 10(2) 号: 02 ページ: 159-167

    • DOI

      10.4236/jsea.2017.102009

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata2016

    • 著者名/発表者名
      Ryo Yanase, Tatsunori Sakai, Makoto Sakai and Satoshi Yamane
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 10009 ページ: 74-89

    • DOI

      10.1007/978-3-319-47846-3_6

    • ISBN
      9783319478456, 9783319478463
    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] Specification and Verification of Dynamically Reconfigurable Systems using Dynamic Linear Hybrid Automata2016

    • 著者名/発表者名
      R.Yanase, M.Sakai, T.Sakai, S.Yamane
    • 雑誌名

      Journal of Software Engineering and Applications

      巻: 9(9) 号: 09 ページ: 452-478

    • DOI

      10.4236/jsea.2016.99030

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] LogChamber:Inferring Source Code LOcations corresponding to mobile applications run-time logs2016

    • 著者名/発表者名
      Yuki Ono, K. Sakurai, S.Yamane
    • 雑誌名

      Journal of information processing

      巻: 印刷中 ページ: 1-11

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] LogChamber: Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs2016

    • 著者名/発表者名
      Yuki Ono, Kouhei Sakurai, Satoshi Yamane
    • 雑誌名

      Journal of Information Processing

      巻: 24 号: 4 ページ: 700-710

    • DOI

      10.2197/ipsjjip.24.700

    • NAID

      130005165243

    • ISSN
      1882-6652
    • 言語
      英語
    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26730034, KAKENHI-PROJECT-15K00093
  • [雑誌論文] Detecting bank conflict of GPU programs using symbolic execution2016

    • 著者名/発表者名
      Koki Hamaya, Satoshi Yamane
    • 雑誌名

      Consumer Electronics, 2016 IEEE 5th Global Conference on

      巻: 5 ページ: 1-4

    • DOI

      10.1109/gcce.2016.7800423

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] Distributed CFG-based Symbolic Execution for Assembly Programs2015

    • 著者名/発表者名
      T.Adachi, S.Yamane, K.Sakurai
    • 雑誌名

      2015 IEEE 4th Global Conference on Consumer Electronics (GCCE 2015)

      巻: 4 ページ: 1-5

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00093
  • [雑誌論文] 線形ハイブリッドオートマタのCEGARを適用したSMTベースモデル検査2015

    • 著者名/発表者名
      冨坂征平,柳瀬龍,櫻井孝平,山根智
    • 雑誌名

      IEICE Techniacal Report

      巻: 114(493) ページ: 47-52

    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] 組込みアセンブリプログラムからのモデル抽出による記号モデル検査2015

    • 著者名/発表者名
      加藤友紀,公下亮佑,櫻井孝平,山根 智
    • 雑誌名

      IEICE Techniacal Report

      巻: 114(493) ページ: 65-70

    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] Model Generation by the Exhaustive Search for Embedded Assembly Programs and Application to Model Checking2014

    • 著者名/発表者名
      R.Konoshita, S. Yamane, K.Sakurai
    • 雑誌名

      IEEE 3rd Global Conference on Consumer Electronics

      巻: 3 ページ: 1-4

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] 組込みアセンブリプログラムのモデル構築によるモデル検査2014

    • 著者名/発表者名
      公下亮佑,山根 智,櫻井孝平
    • 雑誌名

      組込みシステムシンポジウム(ESS2014)

      巻: ESS2014 ページ: 1-10

    • NAID

      170000087146

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] Development of SMT-Based Bounded Model Checker for Embedded Assembly Program2014

    • 著者名/発表者名
      J.Kobashi, A.Takeshita, S.Yamane
    • 雑誌名

      IEEE 3rd Global Conference on Consumer Electronics

      巻: 3 ページ: 1-3

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] Development of Probabilistic Timed CEGAR2014

    • 著者名/発表者名
      S.Yamane,T.Shimizu
    • 雑誌名

      IEEE International Conference on Systems and Informatics

      巻: 2 ページ: 482-491

    • NAID

      120005593945

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] AspectJを用いたFault-InjectionによるHadoop MapReduceの耐故障処理に関する性能評価2014

    • 著者名/発表者名
      中川洋介,櫻井孝平,清水裕亮,山根智
    • 雑誌名

      情報処理学会論文誌コンピューティングシステム(ACS)

      巻: 7(1) ページ: 35-45

    • NAID

      110009687724

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] 組込みアセンブリプログラム解析によるSMTモデル検査2014

    • 著者名/発表者名
      小橋潤平,山根 智,竹下 淳
    • 雑誌名

      組込みシステムシンポジウム(ESS2014)

      巻: ESS2014 ページ: 1-6

    • NAID

      170000087147

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] Hanoi: 複数レイヤーのトレースログを用いたHadoopのパフォーマンス解析2013

    • 著者名/発表者名
      清水 裕亮,櫻井 孝平,山根 智
    • 雑誌名

      第25回 コンピュータシステム・シンポジウム (ComSys 2013)

      巻: 25 ページ: 54-63

    • NAID

      170000079166

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] 動的再構成可能システムの仕様記述言語の提案およびその検証実験2013

    • 著者名/発表者名
      山田 英史, 中居 祐輝, 山根 智
    • 雑誌名

      情報処理学会論文誌 プログラミング(PRO)

      巻: 6(3) ページ: 1-19

    • NAID

      110009656443

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] Development of Model Checker of Dynamic Linear Hybrid Automata2013

    • 著者名/発表者名
      Ryo Yanase, T. Sakai, M. Sakai, S. Yamane
    • 雑誌名

      IEEE 37th COMPSAC

      巻: 37 ページ: 1-2

    • NAID

      120005418465

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] Trace-mining Profile for Large-Scale Distributed Framework Hadoop2012

    • 著者名/発表者名
      Y.Shimizu, K.Sakurai, S.Yamane
    • 雑誌名

      The 18th IEEE Pacific Rim International Symposium on Dependable Computing

      巻: 18 ページ: 1-2

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] 組込みアセンブラのSMT検証の理論と実験2012

    • 著者名/発表者名
      竹下淳,小橋潤平,山根 智
    • 雑誌名

      組込みシステムシンポジウム2012(ESS2012)

      巻: 2012 ページ: 197-202

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] トレースを用いた大規模分散基盤 Hadoop 向けのプロファイル手法の提案2012

    • 著者名/発表者名
      清水 裕亮,櫻井 孝平,山根 智
    • 雑誌名

      第24回 コンピュータシステム・シンポジウム (ComSys 2012)

      巻: 24 ページ: 70-78

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] 動的再構成可能組込みシステムのモデル化と仕様記述2012

    • 著者名/発表者名
      柳瀬 龍, 酒井 辰典, 酒井 誠, 山根 智
    • 雑誌名

      第10回 ディペンダブルシステムワークショップ (DSW 2012)

      巻: DSW 2012 ページ: 1-4

    • NAID

      110007099107

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] 確率線形ハイブリッドオートマトンの到達可能性検証2012

    • 著者名/発表者名
      畠中克也,山根 智
    • 雑誌名

      情報処理学会論文誌

      巻: 53(12) ページ: 2671-2681

    • NAID

      110009493416

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] 確率時間CEGARの開発とその実証実験2012

    • 著者名/発表者名
      清水隆也,森下篤,山根 智
    • 雑誌名

      情報処理学会論文誌 プログラミング(PRO)

      巻: 5(2)

    • NAID

      40019257054

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] A New Approach to Specify and Verify Embedded Systems consisting of CPU and DRP2012

    • 著者名/発表者名
      R.Yanase, T.Sakai, M.Sakai, S.Yamane
    • 雑誌名

      The 18th IEEE Pacific Rim International Symposium on Dependable Computing

      巻: 18 ページ: 1-2

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] Javaによる確率時間CEGAR検証器の実装と検証実験2012

    • 著者名/発表者名
      長谷川 尭志, 小池 脩平, 清水 隆也, 山根 智
    • 雑誌名

      第10回 ディペンダブルシステムワークショップ (DSW 2012)

      巻: DSW 2012 ページ: 1-12

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500034
  • [雑誌論文] Development Method for Real-Time Software based on Timed Weak Simulation Verification2010

    • 著者名/発表者名
      S. Yamane
    • 雑誌名

      mbedded Systems: Status and Perspective, pp. 1-15, American Scientific publishers (in press)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文]2010

    • 著者名/発表者名
      山根智(分担)(共著)
    • 雑誌名

      電子情報通信学会ハンドブック/知識ベース (オーム社) (電子版公開予定)

      ページ: 1-6

    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] Development Method for Real-Time Software based on Timed Weak Simulation Verification2010

    • 著者名/発表者名
      山根智
    • 雑誌名

      Embedded Systems : Status and Perspective (In press)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] 組込みシステムにおけるハイブリッドオートマトンの形式的手法2009

    • 著者名/発表者名
      山根智
    • 雑誌名

      計測と制御 48(11)

      ページ: 810-815

    • NAID

      10026206099

    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] 組込みシステムにおけるハイブリッドオートマトンの形式的手法2009

    • 著者名/発表者名
      山根智
    • 雑誌名

      計測と制御 Vol.48No.11

      ページ: 810-815

    • NAID

      10026206099

    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] 確率ゾーングラフを用いた確率時間強模倣関係による検証2009

    • 著者名/発表者名
      橋爪裕樹, 山根智
    • 雑誌名

      電子情報通信学会論文誌 No.1

      ページ: 25-38

    • NAID

      110007380048

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] 階層構造の抽象化精錬によるステートチャートの自動検証2009

    • 著者名/発表者名
      山根智, 山崎真一
    • 雑誌名

      コンピュータソフトウェア 26(3)

      ページ: 155-170

    • NAID

      130004549140

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] 確率ゾーングラフを用いた確率時間強模倣関係による検証2009

    • 著者名/発表者名
      橋爪裕樹, 山根智
    • 雑誌名

      電子情報通信学会論文誌 J91-D-I, No. 1

      ページ: 25-38

    • NAID

      110007380048

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] "階層構造の抽象化精錬によるステートチャートの自動検証", コンピュータソフトウェア2009

    • 著者名/発表者名
      山崎真一, 山根智
    • 雑誌名

      日本ソフトウェア科学会 Vol.26,No.3

      ページ: 155-170

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] Special Section on Concurrent/Real-time and Hybrid Systems2008

    • 著者名/発表者名
      S. Yamane
    • 雑誌名

      Theory and Applications No.11

      ページ: 3206-3206

    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] 確率時間オートマトンの確率時間強模倣検証器の開発2008

    • 著者名/発表者名
      山根智, 小寺広志, 荒井恒夫
    • 雑誌名

      コンピュータソフトウェア(日本ソフトウェア科学会) Vol.25,No.3

      ページ: 148-193

    • NAID

      110004809759

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] 確率時間オートマトンの確率時間強模倣検証器の開発2008

    • 著者名/発表者名
      山根智, 小寺広志, 荒井恒夫
    • 雑誌名

      コンピュータソフトウェア Vol. 25, No. 3

      ページ: 148-193

    • NAID

      110004809759

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] "組込みシステムのフォーマルメソッドにおけるハイブリッドシステムの仕様記述と形式的検証", Fundamentals Review2008

    • 著者名/発表者名
      山根智
    • 雑誌名

      電子情報通信学会 Vol.2,No.1

      ページ: 22-34

    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] リアルタイムシステムの形式的検証2008

    • 著者名/発表者名
      山根智
    • 雑誌名

      コンピュータソフトウェア Vol. 25, No. 3

      ページ: 81-87

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] リアルタイムシステムの形式的検証2008

    • 著者名/発表者名
      山根智
    • 雑誌名

      コンピュータソフトウェア(日本ソフトウェア科学会) Vol.25,No.3

      ページ: 81-87

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] Theory and practice of probabilistic timed game for Embedded Systems2007

    • 著者名/発表者名
      山根 智
    • 雑誌名

      Lecture Notes in Computer Science 4523

      ページ: 109-120

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] The automatic verification system for real-time systems using symbolic model-checking2007

    • 著者名/発表者名
      S. Yamane
    • 雑誌名

      Real-Time Systems: Modeling, Design, and Applications, volume 8 of AMAST Series in Computing

      ページ: 137-152

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法2007

    • 著者名/発表者名
      坂倉賢昭, 山根智
    • 雑誌名

      情報処理学会論文 Vol.48,No9

      ページ: 2410-2421

    • NAID

      110006423003

    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] The automatic verification system for real-time systems using symbolic model-checking2007

    • 著者名/発表者名
      山根 智
    • 雑誌名

      volume 8 of AMAST Series in Computing 8

      ページ: 137-152

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] Theory and practice of probabilistic timed game for Embedded Systems2007

    • 著者名/発表者名
      S. Yamane
    • 雑誌名

      Embedded Software and Systems, Lecture Notes in Computer Science 4523

      ページ: 109-120

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法2007

    • 著者名/発表者名
      坂倉 賢昭、山根 智
    • 雑誌名

      情報処理学会論文誌 Vol.48,No9

      ページ: 2410-2421

    • NAID

      110006423003

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500025
  • [雑誌論文] Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing2004

    • 著者名/発表者名
      Satoshi Yamane, Takashi Knatani
    • 雑誌名

      LNCS 3207

      ページ: 183-195

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] 離散確率分布を持つリアルタイムシステムの確率時間時相論理式の演繹的検証手法2004

    • 著者名/発表者名
      山根 智
    • 雑誌名

      情報処理学会論文誌 Vol.45, No.6

      ページ: 1652-1662

    • NAID

      110003276690

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] 招待講演 ハイブリッドシステムの形式的検証手法2004

    • 著者名/発表者名
      山根 智
    • 雑誌名

      システム制御情報学会大会 48

      ページ: 37-44

    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Deductive Verification of Probabilistic Real-Time Systems2004

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      Proc.Third International Workshop on Assurance in Distributed Systems and Networks (ADSN 2004) (IEEE Computer Society)

      ページ: 622-627

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Deductive Verification Method of Probabilistic Timed LTL of Real-Time Systems with Discrete Probability Distributions2004

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      IPSJ Journal vol.45, No.6

      ページ: 1652-1662

    • NAID

      110003276690

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Probabilistic Timed Bisimulation relation and its Preservation of Probabilistic Timed CTL Formulas of Real-Time Systems with Discrete Probability Distributions2004

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      IPSJ Journal vol.45, No.5

      ページ: 1367-1375

    • NAID

      110002712186

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing2004

    • 著者名/発表者名
      S.Yamane, T.Kanatani
    • 雑誌名

      Lecture Notes in Computer Science 3207

      ページ: 183-195

    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] 離散確率分布を持つリアルタイムシステムの確率時間双模倣関係と確率時間時相論理式の保存2004

    • 著者名/発表者名
      山根 智
    • 雑誌名

      情報処理学会論文誌 Vol.45, No.5

      ページ: 1367-1375

    • NAID

      110002712186

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法2004

    • 著者名/発表者名
      陸田 陽介, 山根 智
    • 雑誌名

      電子情報通信学会研究報告 CAS2004

      ページ: 7-12

    • NAID

      110003300226

    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] 非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法2004

    • 著者名/発表者名
      山崎 貴史, 山根 智
    • 雑誌名

      電子情報通信学会研究報告 CAS2004

      ページ: 13-17

    • NAID

      110003300227

    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] 離散確率分布を持つリアルタイムシステムの詳細化検証手法2003

    • 著者名/発表者名
      山根 智
    • 雑誌名

      情報処理学会論文誌 Vol.44, No.8

      ページ: 2189-2199

    • NAID

      110003276634

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] ハイブリッドシステムのモジュールの仕様記述と検証の手法2003

    • 著者名/発表者名
      山根 智
    • 雑誌名

      情報処理学会論文誌 Vol.44, No.3

      ページ: 867-914

    • NAID

      110002765070

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Formal Probabilistic Refinement Verification Method of Embedded Real-Time Systems2003

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      Proc.IEEE Workshop on Software Technologies for Future Embedded Systems

      ページ: 79-82

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Symbolic Model-checking method based on approximation and binary decision diagrams for real-time systems2003

    • 著者名/発表者名
      Satoshi Yamane, Kazuhiro Nakamura
    • 雑誌名

      IEICE trans. J86-D1

      ページ: 232-247

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Formal Refinement Verification Method of Real-Time Systems with Discrete Probability Distributions2003

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      IPSJ Journal vol.44, No.8

      ページ: 2189-2199

    • NAID

      110003276634

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Probabilistic Timed Simulation Verification and its application to Stepwise Refinement of Real-Time Systems2003

    • 著者名/発表者名
      S.Yamane
    • 雑誌名

      Lecture Notes in Computer Science 2896

      ページ: 276-290

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] 実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価2003

    • 著者名/発表者名
      山根 智, 中村 一博
    • 雑誌名

      電子情報通信学会 J86-D1

      ページ: 232-247

    • NAID

      110003202087

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Probabilistic Timed Simulation Verification and its application to Stepwise Refinement of Real-Time Systems2003

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      LNCS 2896

      ページ: 276-290

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata2003

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      Poc.IEEE 27th COMPSAC

      ページ: 527-533

    • NAID

      120006655572

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Modular Specification and Verification Method for Hybrid Systems2003

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      IPSJ Journal vol.44, No.3

      ページ: 867-914

    • NAID

      110002765070

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Refinement Theory of Embedded systems based on Hybrid models2002

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      The 2002 IKE (CSREA Press)

      ページ: 455-461

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Modular Specification and Verification Method for Hybrid Real-time Systems2002

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      Proc.IEEE RTCSA

      ページ: 221-228

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [雑誌論文] Formal development methodology of hybrid systems based on both control theory and computer science

    • 著者名/発表者名
      Satoshi Yamane
    • 雑誌名

      The 2002 IKE (CSREA Press)

      ページ: 469-475

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580368
  • [学会発表] 組込みアセンブリプログラムのリアルタイム性の検証手法2017

    • 著者名/発表者名
      山根智
    • 学会等名
      電子情報通信学会システム数理と応用研究会
    • 発表場所
      島根大学
    • 年月日
      2017-03-16
    • データソース
      KAKENHI-PROJECT-15K00093
  • [学会発表] Simulation and Model checking of embedded assembly program2016

    • 著者名/発表者名
      Satoshi Yamane,Tomonori Kato,Ryosuke Konoshita
    • 学会等名
      組込みシステムシンポジウム
    • 発表場所
      早稲田大学
    • 年月日
      2016-10-20
    • データソース
      KAKENHI-PROJECT-15K00093
  • [学会発表] 記号実行による組込みアセンブリプログラムのソフトウェアモデル検査2015

    • 著者名/発表者名
      公下亮佑、山根 智
    • 学会等名
      電子情報通信学会MSS研究会
    • 発表場所
      小樽商科大学
    • 年月日
      2015-06-17
    • データソース
      KAKENHI-PROJECT-15K00093
  • [学会発表] 動的組込みシステムの仕様記述言語の開発2013

    • 著者名/発表者名
      山根 智,酒井誠
    • 学会等名
      信学技報113(279)
    • 発表場所
      岩手県
    • データソース
      KAKENHI-PROJECT-24500034
  • [学会発表] 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法, 6回ディペンダブルシステムシンポジウム(DSS2009)2009

    • 著者名/発表者名
      山崎真一、酒井誠、山根智
    • 学会等名
      日本ソフトウェア科学会
    • 発表場所
      大阪大学(大阪府)(179-197)
    • 年月日
      2009-12-15
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 動的再構成可能プロセッサのモデル化, 仕様記述とモデル検査, 6回ディペンダブルシステムシンポジウム( DSS2009)2009

    • 著者名/発表者名
      南翔太、瀧内新悟、瀬古口智、中居佑輝、山根智
    • 学会等名
      日本ソフトウェア科学会
    • 発表場所
      大阪大学(大阪府)(102-121)
    • 年月日
      2009-12-15
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証2009

    • 著者名/発表者名
      林将志、山根智
    • 学会等名
      数理解析研究所講究録RIMS Kokyuroku
    • 発表場所
      京都大学数理解析研究所(京都府)
    • 年月日
      2009-02-01
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 組込みシステムの形式的手法2009

    • 著者名/発表者名
      山根智
    • 学会等名
      第22回回路とシステム軽井沢ワークショップ
    • 発表場所
      軽井沢プリンスホテル(長野県)
    • 年月日
      2009-04-20
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 確率時間REGARによるPTCTLのサブクラスのモデル検査2009

    • 著者名/発表者名
      高橋正樹、森下篤、山根智
    • 学会等名
      電子情報通信学会信学技報
    • 発表場所
      名古屋大学(愛知県)
    • 年月日
      2009-11-26
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 確率ゲーム理論による組込みシステムのモデル化とモデル検査2009

    • 著者名/発表者名
      越田彰太、山根智
    • 学会等名
      電子情報通信学会信学技報
    • 発表場所
      名古屋大学(愛知県)
    • 年月日
      2009-11-26
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 確率時間CEGAR2009

    • 著者名/発表者名
      森下篤, 駒形龍太, 山根智
    • 学会等名
      電子情報通信学会研究報告
    • 発表場所
      名古屋大学(愛知県)
    • 年月日
      2009-11-26
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 確率時間CEGAR2009

    • 著者名/発表者名
      森下篤, 駒形龍太, 山根智
    • 学会等名
      電子情報通信学会
    • 発表場所
      名古屋大学 (愛知県)
    • 年月日
      2009-11-26
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 並列動作する確率時間システムに対する拡張CEGAR2008

    • 著者名/発表者名
      安井雅俊, 山崎真一, 山根智
    • 学会等名
      2008-EMB-10
    • 発表場所
      キャンパスプラザ京都(京都府)
    • 年月日
      2008-11-28
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 動的再構成可能組込みシステムのモデル化と仕様記述2008

    • 著者名/発表者名
      中居佑輝, 山根智
    • 学会等名
      2008-EMB-10
    • 発表場所
      キャンパスプラザ京都(京都府)
    • 年月日
      2008-11-28
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 動的再構成可能組込みシステムのモデル化と仕様記述2008

    • 著者名/発表者名
      中居佑輝, 山根智
    • 学会等名
      情報処理学会組込みシステム研究会
    • 発表場所
      京都市
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 制限付きストップウォッチオートマトンと時間オートマトンを用いた, プリエンプティブスケジューリングシステムのUML分析設計からタスク設計までの設計検証方法論2007

    • 著者名/発表者名
      山根智、瀧内新悟
    • 学会等名
      電子情報通信学会ソサエティ大会シンポジュム
    • 発表場所
      鳥取大学(鳥取県)
    • 年月日
      2007-09-13
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] "ストップウォッチオートマトンによるプリエンプティブスケジューリングシステムの検証"、システム・情報部門学術講演会2007

    • 著者名/発表者名
      瀧内新吾、山根智
    • 学会等名
      計測制御学会
    • 発表場所
      国立オリンピック記念青少年総合センター(東京都)
    • 年月日
      2007-11-27
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 組み込システムのUML分析設計からタスク設計までの設計検証方法論2007

    • 著者名/発表者名
      山根智、瀧内新吾
    • 学会等名
      情報処理学会研究報告
    • 発表場所
      キャンパスプラザ京都(京都府)
    • 年月日
      2007-09-28
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] 抽象化洗練によるステートチャートの自動検証2007

    • 著者名/発表者名
      山崎 真一、山根 智
    • 学会等名
      日本ソフトウェア科学会
    • 発表場所
      奈良先端大学院大学
    • 年月日
      2007-09-16
    • データソース
      KAKENHI-PROJECT-19500025
  • [学会発表] チュートリアル"リアルタイムシステムの仕様記述と検証"2007

    • 著者名/発表者名
      山根智
    • 学会等名
      組込みシンポジュウム
    • 発表場所
      日本科学未来館(東京都)
    • 年月日
      2007-10-18
    • データソース
      KAKENHI-PROJECT-19500025
  • 1.  櫻井 孝平 (80597021)
    共同の研究課題数: 3件
    共同の研究成果数: 3件
  • 2.  加藤 裕一 (10161126)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi