yamane satoshi 山根智

… Alternative Names

YAMANE Satoshi 山根智

Less

Researcher Number	70263506
Other IDs
External Links
Affiliation (Current)	2025: 下関市立大学, データサイエンス学部, 特命教授
Affiliation (based on the past Project Information) *help	2018 – 2023: 金沢大学, 電子情報通信学系, 教授 2012 – 2017: 金沢大学, 電子情報学系, 教授 2008 – 2009: Kanazawa University, 電子情報学系, 教授 2007: Kanazawa University, 金沢大学・自然科学研究科, 教授 2004: Kanazawa University, Graduate School of Natural Science & Technology, Professor, 自然科学研究科, 教授 … More 2003: 金沢大学, 工学部, 教授 2001 – 2002: Kanazawa Univ. Information Eng., Associate Prof., 工学部, 助教授 1999 – 2000: Kagoshima Univ., Faculty of Engineering, Assistant Professor, 工学部, 助教授 1997 – 1998: 島根大学, 総合理工学部, 講師 Less
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / 計算機科学 / Software / Software Except Principal Investigator 感性工学
Keywords	Principal Investigator 抽象化精錬 / SMT / 組込みアセンブリプログラム / ソフトウェアモデル検査 / 仕様記述 / モデル検査 / 組込みシステム / 抽象化精錬(CEGAR) / SAT/SMT理論 / 定理証明 … More / 演繹的検証 / Assume-Guarantee / ハイブリッドモデル / 詳細化検証 / ハイブリッドオートマトン / タイマ割込み / イベント割込み / 双模倣関係 / SMTソルバー / アセンブリプログラム / 割込み処理 / 組込みソフトウェア / リアルタイム安全性 / 時間Kripke構造 / Interpolation / プログラム解析 / 動的プログラム解析 / ＳＭＴ / 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 / 構造とリアルタイム性の抽象化 / 抽象化精錬検証 / リアルタイムオブジェクト指向 / オブジェクト指向 / 述語抽象化検証 … More Except Principal Investigator Context Effect / Method of Successive Categories / Membership Function / Fuzzy Logic / Psychological Noise / Randomness / Fuzziness / メンバーシップ関数 / 静か / 騒々しい / ファジィ効果 / 文脈効果 / 系列範ちゅう法 / 帰属度関数 / ファジィ論理 / 心理的雑音 / ランダムネス / ファジィネス Less

Software model checking for real-time properties of embedded assembply program with interruptionsPrincipal Investigator
- Principal Investigator
  
  Yamane Satoshi
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kanazawa University
Software model checking of real-time safety properties for embedded assembly programPrincipal Investigator
- Principal Investigator
  
  Yamane Satoshi
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kanazawa University
Verifying safety properties of embedded assembly program using innovative software model checkingPrincipal Investigator
- Principal Investigator
  
  YAMANE SATOSHI
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kanazawa University
Advanced methods of design and verification for dynamically reconfigurable embedded systemsPrincipal Investigator
- Principal Investigator
  
  YAMANE Satoshi
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kanazawa University
Automatic verification method for large scale embedded object-oriented design based on predicate abstractionPrincipal Investigator
- Principal Investigator
  
  YAMANE Satoshi
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kanazawa University
Development of design methodologies and support environments of high-reliability embedded systems based on hybrid modelsPrincipal Investigator
- Principal Investigator
  
  YAMANE Satoshi
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Kanazawa University
Design Support of Autonomous Distributed Systems by Integratig Temporal Logic, Concurrency Theny, AutomPrincipal Investigator
- Principal Investigator
  
  YAMANE Satoshi
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Kanazawa University
  Kagoshima University
A Construction of Psychological Model for Rating Psychological Quantities and its Experimental Studies
- Principal Investigator
  
  KATO Yuichi
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  感性工学
- Research Institution
  Shimane University

[Book] "ハイブリッドオートマトン", 電子情報通信学会ハンドブック/知識ベース2010
- Author(s)
  山根智
- Publisher
  オーム社
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] An Efficient Reduction of Timer Interrupts for Model Checking of Embedded Assembly Programs2024
- Author(s)
  Satoshi Yamane , Taro Kriyama , Yajun Wu
- Journal Title
  
  Electronics
  
  Volume: 13 Issue: 2 Pages: 1-12
- DOI
  10.3390/electronics13020463
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11824
[Journal Article] 有界モデル検査を用いたリアルタイムOSカーネルのタスク管理モジュールの形式的検証2023
- Author(s)
  小柴真之介、山根智
- Journal Title
  
  情報処理学会ソフトウェア工学研究会
  
  Volume: SE-213 Pages: 1-8
- Data Source
  KAKENHI-PROJECT-21K11824
[Journal Article] Reduction of Timer Interrupts for Embedded Assembly Programs Based on Reduction of Interrupt Handler Executions2021
- Author(s)
  Taro Kiriyama, Yajun Wu, Satoshi Yamane
- Journal Title
  
  2021 IEEE 10th Global Conference on Consumer Electronics (GCCE)
  
  Volume: 10 Pages: 464-466
- DOI
  10.1109/gcce53005.2021.9622013
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11824
[Journal Article] Lazy Abstractionと精練を用いた組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査2020
- Author(s)
  上出広夢、山根智
- Journal Title
  
  2019年冬のLAシンポジュム
  
  Volume: 印刷中 Pages: 1-5
- Data Source
  KAKENHI-PROJECT-18K11239
[Journal Article] Verification Method of Safety Properties of Embedded Assembly Program by Combining SMT-Based Bounded Model Checking and Reduction of Interrupt Handler Executions2020
- Author(s)
  Satoshi Yamane, Junpei Kobashi, Kosuke Uemura
- Journal Title
  
  MDPI electronics
  
  Volume: 9(7) Issue: 7 Pages: 1-24
- DOI
  10.3390/electronics9071060
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11239
[Journal Article] Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software2020
- Author(s)
  Yajun Wu, Satoshi Yamane
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E103.D Issue: 4 Pages: 800-812
- DOI
  10.1587/transinf.2019EDP7172
- NAID
  130007824981
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2020-04-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11239
[Journal Article] Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program2020
- Author(s)
  Satoshi Yamane, Kosuke Uemura
- Journal Title
  
  2020 IEEE 9th Global Conference on Consumer Electronics (GCCE)
  
  Volume: 9 Pages: 54-57
- DOI
  10.1109/gcce50665.2020.9291772
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11239
[Journal Article] Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement2020
- Author(s)
  Yajun Wu, Hiromu Kamide, Satoshi Yamane
- Journal Title
  
  2020 IEEE 9th Global Conference on Consumer Electronics (GCCE)
  
  Volume: 9 Pages: 62-65
- DOI
  10.1109/gcce50665.2020.9291966
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11239
[Journal Article] SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions2019
- Author(s)
  Kousuke Uemura, Satoshi Yamane:
- Journal Title
  
  2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing
  
  Volume: 17 Pages: 633-639
- DOI
  10.1109/dasc/picom/cbdcom/cyberscitech.2019.00120
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11239
[Journal Article] Deductive Verification Method of Real-Time Safety Properties for Embedded Assembly Programs2019
- Author(s)
  Satoshi Yamane
- Journal Title
  
  Electronics
  
  Volume: 8(10) Issue: 10 Pages: 1-16
- DOI
  10.3390/electronics8101163
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11239
[Journal Article] Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure2018
- Author(s)
  Yajun Wu ; Satoshi Yamane
- Journal Title
  
  2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
  
  Volume: 42 Pages: 257-257
- DOI
  10.1109/compsac.2018.00040
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11239
[Journal Article] Model Check of Real-time Property of Embedded Assembly Program Using CEGAR2018
- Author(s)
  Hiromu Kamide, Kosuke Uemura, Satoshi Yamane
- Journal Title
  
  2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
  
  Volume: 42 Pages: 799-800
- DOI
  10.1109/compsac.2018.00126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11239
[Journal Article] 定理証明器Princess を用いた組込みアセンブリプログラムのリアルタイム安全性の演繹的検証2018
- Author(s)
  小田島直樹、福田岳飛、山根智
- Journal Title
  
  MSS2017-84
  
  Volume: MSS2017-84 Pages: 35-40
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] Model checking of embedded assembly program based on simulation2017
- Author(s)
  S.Yamane, R.Konoshita, T.Kato
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: 100 Pages: 1819-1826
- NAID
  120006374159
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証～ □≦TIME q = □(q∧(time≦TIME)) ～2017
- Author(s)
  山根智
- Journal Title
  
  MSS2017-12
  
  Volume: MSS2017-12 Pages: 59-64
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] 組込みアセンブリプログラムのリアルタイム性の検証手法～組込みプログラムのためのモデル検査と演繹的検証～2017
- Author(s)
  山根智
- Journal Title
  
  MSS2016-83
  
  Volume: MSS2016-83 Pages: 11-16
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] Deductively Verifying Embedded Software in the Era of Artificial Intelligence = Machine Learning + Software Science2017
- Author(s)
  S.Yamane
- Journal Title
  
  IEEE 6th GCCE2017
  
  Volume: 6 Pages: 1-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] Integration of Supervised and Unsupervised Learning for Deep Neural Network2016
- Author(s)
  T.Uchiyama, S.Yamane,K.Sakurai,T.Kurita
- Journal Title
  
  The Korea-Japan joint workshop on Frontiers of Computer Vision (FCV)
  
  Volume: 2 Pages: 1-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] Detecting Bank Conflict of GPU Programs Using Symbolic Execution;Case Study2016
- Author(s)
  Koki Hamaya, Satoshi Yamane
- Journal Title
  
  Journal of Software Engineering and Applications
  
  Volume: 10(2) Issue: 02 Pages: 159-167
- DOI
  10.4236/jsea.2017.102009
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata2016
- Author(s)
  Ryo Yanase, Tatsunori Sakai, Makoto Sakai and Satoshi Yamane
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10009 Pages: 74-89
- DOI
  10.1007/978-3-319-47846-3_6
- ISBN
  9783319478456, 9783319478463
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] Specification and Verification of Dynamically Reconfigurable Systems using Dynamic Linear Hybrid Automata2016
- Author(s)
  R.Yanase, M.Sakai, T.Sakai, S.Yamane
- Journal Title
  
  Journal of Software Engineering and Applications
  
  Volume: 9(9) Issue: 09 Pages: 452-478
- DOI
  10.4236/jsea.2016.99030
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] LogChamber:Inferring Source Code LOcations corresponding to mobile applications run-time logs2016
- Author(s)
  Yuki Ono, K. Sakurai, S.Yamane
- Journal Title
  
  Journal of information processing
  
  Volume: 印刷中 Pages: 1-11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] LogChamber: Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs2016
- Author(s)
  Yuki Ono, Kouhei Sakurai, Satoshi Yamane
- Journal Title
  
  Journal of Information Processing
  
  Volume: 24 Issue: 4 Pages: 700-710
- DOI
  10.2197/ipsjjip.24.700
- NAID
  130005165243
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26730034, KAKENHI-PROJECT-15K00093
[Journal Article] Detecting bank conflict of GPU programs using symbolic execution2016
- Author(s)
  Koki Hamaya, Satoshi Yamane
- Journal Title
  
  Consumer Electronics, 2016 IEEE 5th Global Conference on
  
  Volume: 5 Pages: 1-4
- DOI
  10.1109/gcce.2016.7800423
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] Distributed CFG-based Symbolic Execution for Assembly Programs2015
- Author(s)
  T.Adachi, S.Yamane, K.Sakurai
- Journal Title
  
  2015 IEEE 4th Global Conference on Consumer Electronics (GCCE 2015)
  
  Volume: 4 Pages: 1-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00093
[Journal Article] 線形ハイブリッドオートマタのCEGARを適用したSMTベースモデル検査2015
- Author(s)
  冨坂征平，柳瀬龍，櫻井孝平，山根智
- Journal Title
  
  IEICE Techniacal Report
  
  Volume: 114(493) Pages: 47-52
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] 組込みアセンブリプログラムからのモデル抽出による記号モデル検査2015
- Author(s)
  加藤友紀，公下亮佑，櫻井孝平，山根智
- Journal Title
  
  IEICE Techniacal Report
  
  Volume: 114(493) Pages: 65-70
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] Model Generation by the Exhaustive Search for Embedded Assembly Programs and Application to Model Checking2014
- Author(s)
  R.Konoshita, S. Yamane, K.Sakurai
- Journal Title
  
  IEEE 3rd Global Conference on Consumer Electronics
  
  Volume: 3 Pages: 1-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] 組込みアセンブリプログラムのモデル構築によるモデル検査2014
- Author(s)
  公下亮佑，山根智，櫻井孝平
- Journal Title
  
  組込みシステムシンポジウム(ESS2014)
  
  Volume: ESS2014 Pages: 1-10
- NAID
  170000087146
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] Development of SMT-Based Bounded Model Checker for Embedded Assembly Program2014
- Author(s)
  J.Kobashi, A.Takeshita, S.Yamane
- Journal Title
  
  IEEE 3rd Global Conference on Consumer Electronics
  
  Volume: 3 Pages: 1-3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] Development of Probabilistic Timed CEGAR2014
- Author(s)
  S.Yamane,T.Shimizu
- Journal Title
  
  IEEE International Conference on Systems and Informatics
  
  Volume: 2 Pages: 482-491
- NAID
  120005593945
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] AspectJを用いたFault-InjectionによるHadoop MapReduceの耐故障処理に関する性能評価2014
- Author(s)
  中川洋介，櫻井孝平，清水裕亮，山根智
- Journal Title
  
  情報処理学会論文誌コンピューティングシステム（ACS）
  
  Volume: 7(1) Pages: 35-45
- NAID
  110009687724
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] 組込みアセンブリプログラム解析によるＳＭＴモデル検査2014
- Author(s)
  小橋潤平，山根智，竹下淳
- Journal Title
  
  組込みシステムシンポジウム(ESS2014)
  
  Volume: ESS2014 Pages: 1-6
- NAID
  170000087147
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] Hanoi: 複数レイヤーのトレースログを用いたHadoopのパフォーマンス解析2013
- Author(s)
  清水裕亮,櫻井孝平,山根智
- Journal Title
  
  第25回コンピュータシステム・シンポジウム (ComSys 2013)
  
  Volume: 25 Pages: 54-63
- NAID
  170000079166
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] 動的再構成可能システムの仕様記述言語の提案およびその検証実験2013
- Author(s)
  山田英史, 中居祐輝, 山根智
- Journal Title
  
  情報処理学会論文誌プログラミング（PRO）
  
  Volume: 6(3) Pages: 1-19
- NAID
  110009656443
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] Development of Model Checker of Dynamic Linear Hybrid Automata2013
- Author(s)
  Ryo Yanase, T. Sakai, M. Sakai, S. Yamane
- Journal Title
  
  IEEE 37th COMPSAC
  
  Volume: 37 Pages: 1-2
- NAID
  120005418465
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] Trace-mining Profile for Large-Scale Distributed Framework Hadoop2012
- Author(s)
  Y.Shimizu, K.Sakurai, S.Yamane
- Journal Title
  
  The 18th IEEE Pacific Rim International Symposium on Dependable Computing
  
  Volume: 18 Pages: 1-2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] 組込みアセンブラのSMT検証の理論と実験2012
- Author(s)
  竹下淳，小橋潤平，山根　智
- Journal Title
  
  組込みシステムシンポジウム2012(ESS2012)
  
  Volume: 2012 Pages: 197-202
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] トレースを用いた大規模分散基盤 Hadoop 向けのプロファイル手法の提案2012
- Author(s)
  清水裕亮,櫻井孝平,山根智
- Journal Title
  
  第24回コンピュータシステム・シンポジウム (ComSys 2012)
  
  Volume: 24 Pages: 70-78
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] 動的再構成可能組込みシステムのモデル化と仕様記述2012
- Author(s)
  柳瀬龍, 酒井辰典, 酒井誠, 山根智
- Journal Title
  
  第10回ディペンダブルシステムワークショップ (DSW 2012)
  
  Volume: DSW 2012 Pages: 1-4
- NAID
  110007099107
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] 確率線形ハイブリッドオートマトンの到達可能性検証2012
- Author(s)
  畠中克也，山根　智
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 53(12) Pages: 2671-2681
- NAID
  110009493416
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] 確率時間CEGARの開発とその実証実験2012
- Author(s)
  清水隆也，森下篤，山根　智
- Journal Title
  
  情報処理学会論文誌　プログラミング（PRO）
  
  Volume: ５（２）
- NAID
  40019257054
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] A New Approach to Specify and Verify Embedded Systems consisting of CPU and DRP2012
- Author(s)
  R.Yanase, T.Sakai, M.Sakai, S.Yamane
- Journal Title
  
  The 18th IEEE Pacific Rim International Symposium on Dependable Computing
  
  Volume: 18 Pages: 1-2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] Javaによる確率時間CEGAR検証器の実装と検証実験2012
- Author(s)
  長谷川尭志, 小池脩平, 清水隆也, 山根智
- Journal Title
  
  第10回ディペンダブルシステムワークショップ (DSW 2012)
  
  Volume: DSW 2012 Pages: 1-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500034
[Journal Article] Development Method for Real-Time Software based on Timed Weak Simulation Verification2010
- Author(s)
  S. Yamane
- Journal Title
  
  mbedded Systems: Status and Perspective, pp. 1-15, American Scientific publishers (in press)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article]2010
- Author(s)
  山根智(分担)(共著)
- Journal Title
  
  電子情報通信学会ハンドブック/知識ベース (オーム社) (電子版公開予定)
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] Development Method for Real-Time Software based on Timed Weak Simulation Verification2010
- Author(s)
  山根智
- Journal Title
  
  Embedded Systems : Status and Perspective (In press)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] 組込みシステムにおけるハイブリッドオートマトンの形式的手法2009
- Author(s)
  山根智
- Journal Title
  
  計測と制御 48(11)
  
  Pages: 810-815
- NAID
  10026206099
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] 組込みシステムにおけるハイブリッドオートマトンの形式的手法2009
- Author(s)
  山根智
- Journal Title
  
  計測と制御 Vol.48No.11
  
  Pages: 810-815
- NAID
  10026206099
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] 確率ゾーングラフを用いた確率時間強模倣関係による検証2009
- Author(s)
  橋爪裕樹, 山根智
- Journal Title
  
  電子情報通信学会論文誌 No.1
  
  Pages: 25-38
- NAID
  110007380048
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] 階層構造の抽象化精錬によるステートチャートの自動検証2009
- Author(s)
  山根智, 山崎真一
- Journal Title
  
  コンピュータソフトウェア 26(3)
  
  Pages: 155-170
- NAID
  130004549140
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] 確率ゾーングラフを用いた確率時間強模倣関係による検証2009
- Author(s)
  橋爪裕樹, 山根智
- Journal Title
  
  電子情報通信学会論文誌 J91-D-I, No. 1
  
  Pages: 25-38
- NAID
  110007380048
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] "階層構造の抽象化精錬によるステートチャートの自動検証", コンピュータソフトウェア2009
- Author(s)
  山崎真一, 山根智
- Journal Title
  
  日本ソフトウェア科学会 Vol.26,No.3
  
  Pages: 155-170
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] Special Section on Concurrent/Real-time and Hybrid Systems2008
- Author(s)
  S. Yamane
- Journal Title
  
  Theory and Applications No.11
  
  Pages: 3206-3206
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] 確率時間オートマトンの確率時間強模倣検証器の開発2008
- Author(s)
  山根智, 小寺広志, 荒井恒夫
- Journal Title
  
  コンピュータソフトウェア(日本ソフトウェア科学会) Vol.25,No.3
  
  Pages: 148-193
- NAID
  110004809759
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] 確率時間オートマトンの確率時間強模倣検証器の開発2008
- Author(s)
  山根智, 小寺広志, 荒井恒夫
- Journal Title
  
  コンピュータソフトウェア Vol. 25, No. 3
  
  Pages: 148-193
- NAID
  110004809759
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] "組込みシステムのフォーマルメソッドにおけるハイブリッドシステムの仕様記述と形式的検証", Fundamentals Review2008
- Author(s)
  山根智
- Journal Title
  
  電子情報通信学会 Vol.2,No.1
  
  Pages: 22-34
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] リアルタイムシステムの形式的検証2008
- Author(s)
  山根智
- Journal Title
  
  コンピュータソフトウェア Vol. 25, No. 3
  
  Pages: 81-87
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] リアルタイムシステムの形式的検証2008
- Author(s)
  山根智
- Journal Title
  
  コンピュータソフトウェア(日本ソフトウェア科学会) Vol.25,No.3
  
  Pages: 81-87
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] Theory and practice of probabilistic timed game for Embedded Systems2007
- Author(s)
  山根智
- Journal Title
  
  Lecture Notes in Computer Science 4523
  
  Pages: 109-120
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] The automatic verification system for real-time systems using symbolic model-checking2007
- Author(s)
  S. Yamane
- Journal Title
  
  Real-Time Systems: Modeling, Design, and Applications, volume 8 of AMAST Series in Computing
  
  Pages: 137-152
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法2007
- Author(s)
  坂倉賢昭, 山根智
- Journal Title
  
  情報処理学会論文 Vol.48,No9
  
  Pages: 2410-2421
- NAID
  110006423003
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] The automatic verification system for real-time systems using symbolic model-checking2007
- Author(s)
  山根智
- Journal Title
  
  volume 8 of AMAST Series in Computing 8
  
  Pages: 137-152
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] Theory and practice of probabilistic timed game for Embedded Systems2007
- Author(s)
  S. Yamane
- Journal Title
  
  Embedded Software and Systems, Lecture Notes in Computer Science 4523
  
  Pages: 109-120
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法2007
- Author(s)
  坂倉賢昭、山根智
- Journal Title
  
  情報処理学会論文誌 Vol.48,No9
  
  Pages: 2410-2421
- NAID
  110006423003
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500025
[Journal Article] Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing2004
- Author(s)
  Satoshi Yamane, Takashi Knatani
- Journal Title
  
  LNCS 3207
  
  Pages: 183-195
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] 離散確率分布を持つリアルタイムシステムの確率時間時相論理式の演繹的検証手法2004
- Author(s)
  山根智
- Journal Title
  
  情報処理学会論文誌 Vol.45, No.6
  
  Pages: 1652-1662
- NAID
  110003276690
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] 招待講演ハイブリッドシステムの形式的検証手法2004
- Author(s)
  山根智
- Journal Title
  
  システム制御情報学会大会 48
  
  Pages: 37-44
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Deductive Verification of Probabilistic Real-Time Systems2004
- Author(s)
  Satoshi Yamane
- Journal Title
  
  Proc.Third International Workshop on Assurance in Distributed Systems and Networks (ADSN 2004) (IEEE Computer Society)
  
  Pages: 622-627
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Deductive Verification Method of Probabilistic Timed LTL of Real-Time Systems with Discrete Probability Distributions2004
- Author(s)
  Satoshi Yamane
- Journal Title
  
  IPSJ Journal vol.45, No.6
  
  Pages: 1652-1662
- NAID
  110003276690
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Probabilistic Timed Bisimulation relation and its Preservation of Probabilistic Timed CTL Formulas of Real-Time Systems with Discrete Probability Distributions2004
- Author(s)
  Satoshi Yamane
- Journal Title
  
  IPSJ Journal vol.45, No.5
  
  Pages: 1367-1375
- NAID
  110002712186
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing2004
- Author(s)
  S.Yamane, T.Kanatani
- Journal Title
  
  Lecture Notes in Computer Science 3207
  
  Pages: 183-195
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] 離散確率分布を持つリアルタイムシステムの確率時間双模倣関係と確率時間時相論理式の保存2004
- Author(s)
  山根智
- Journal Title
  
  情報処理学会論文誌 Vol.45, No.5
  
  Pages: 1367-1375
- NAID
  110002712186
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法2004
- Author(s)
  陸田陽介, 山根智
- Journal Title
  
  電子情報通信学会研究報告 CAS2004
  
  Pages: 7-12
- NAID
  110003300226
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] 非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法2004
- Author(s)
  山崎貴史, 山根智
- Journal Title
  
  電子情報通信学会研究報告 CAS2004
  
  Pages: 13-17
- NAID
  110003300227
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] 離散確率分布を持つリアルタイムシステムの詳細化検証手法2003
- Author(s)
  山根智
- Journal Title
  
  情報処理学会論文誌 Vol.44, No.8
  
  Pages: 2189-2199
- NAID
  110003276634
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] ハイブリッドシステムのモジュールの仕様記述と検証の手法2003
- Author(s)
  山根智
- Journal Title
  
  情報処理学会論文誌 Vol.44, No.3
  
  Pages: 867-914
- NAID
  110002765070
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Formal Probabilistic Refinement Verification Method of Embedded Real-Time Systems2003
- Author(s)
  Satoshi Yamane
- Journal Title
  
  Proc.IEEE Workshop on Software Technologies for Future Embedded Systems
  
  Pages: 79-82
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Symbolic Model-checking method based on approximation and binary decision diagrams for real-time systems2003
- Author(s)
  Satoshi Yamane, Kazuhiro Nakamura
- Journal Title
  
  IEICE trans. J86-D1
  
  Pages: 232-247
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Formal Refinement Verification Method of Real-Time Systems with Discrete Probability Distributions2003
- Author(s)
  Satoshi Yamane
- Journal Title
  
  IPSJ Journal vol.44, No.8
  
  Pages: 2189-2199
- NAID
  110003276634
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Probabilistic Timed Simulation Verification and its application to Stepwise Refinement of Real-Time Systems2003
- Author(s)
  S.Yamane
- Journal Title
  
  Lecture Notes in Computer Science 2896
  
  Pages: 276-290
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] 実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価2003
- Author(s)
  山根智, 中村一博
- Journal Title
  
  電子情報通信学会 J86-D1
  
  Pages: 232-247
- NAID
  110003202087
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Probabilistic Timed Simulation Verification and its application to Stepwise Refinement of Real-Time Systems2003
- Author(s)
  Satoshi Yamane
- Journal Title
  
  LNCS 2896
  
  Pages: 276-290
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata2003
- Author(s)
  Satoshi Yamane
- Journal Title
  
  Poc.IEEE 27th COMPSAC
  
  Pages: 527-533
- NAID
  120006655572
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Modular Specification and Verification Method for Hybrid Systems2003
- Author(s)
  Satoshi Yamane
- Journal Title
  
  IPSJ Journal vol.44, No.3
  
  Pages: 867-914
- NAID
  110002765070
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Refinement Theory of Embedded systems based on Hybrid models2002
- Author(s)
  Satoshi Yamane
- Journal Title
  
  The 2002 IKE (CSREA Press)
  
  Pages: 455-461
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Modular Specification and Verification Method for Hybrid Real-time Systems2002
- Author(s)
  Satoshi Yamane
- Journal Title
  
  Proc.IEEE RTCSA
  
  Pages: 221-228
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Journal Article] Formal development methodology of hybrid systems based on both control theory and computer science
- Author(s)
  Satoshi Yamane
- Journal Title
  
  The 2002 IKE (CSREA Press)
  
  Pages: 469-475
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580368
[Presentation] 組込みアセンブリプログラムのリアルタイム性の検証手法2017
- Author(s)
  山根智
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  島根大学
- Year and Date
  2017-03-16
- Data Source
  KAKENHI-PROJECT-15K00093
[Presentation] Simulation and Model checking of embedded assembly program2016
- Author(s)
  Satoshi Yamane，Tomonori Kato，Ryosuke Konoshita
- Organizer
  組込みシステムシンポジウム
- Place of Presentation
  早稲田大学
- Year and Date
  2016-10-20
- Data Source
  KAKENHI-PROJECT-15K00093
[Presentation] 記号実行による組込みアセンブリプログラムのソフトウェアモデル検査2015
- Author(s)
  公下亮佑、山根　智
- Organizer
  電子情報通信学会MSS研究会
- Place of Presentation
  小樽商科大学
- Year and Date
  2015-06-17
- Data Source
  KAKENHI-PROJECT-15K00093
[Presentation] 動的組込みシステムの仕様記述言語の開発2013
- Author(s)
  山根智，酒井誠
- Organizer
  信学技報113(279)
- Place of Presentation
  岩手県
- Data Source
  KAKENHI-PROJECT-24500034
[Presentation] 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法, 6回ディペンダブルシステムシンポジウム(DSS2009)2009
- Author(s)
  山崎真一、酒井誠、山根智
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  大阪大学(大阪府)(179-197)
- Year and Date
  2009-12-15
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 動的再構成可能プロセッサのモデル化, 仕様記述とモデル検査, 6回ディペンダブルシステムシンポジウム( DSS2009)2009
- Author(s)
  南翔太、瀧内新悟、瀬古口智、中居佑輝、山根智
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  大阪大学(大阪府)(102-121)
- Year and Date
  2009-12-15
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証2009
- Author(s)
  林将志、山根智
- Organizer
  数理解析研究所講究録RIMS Kokyuroku
- Place of Presentation
  京都大学数理解析研究所(京都府)
- Year and Date
  2009-02-01
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 組込みシステムの形式的手法2009
- Author(s)
  山根智
- Organizer
  第22回回路とシステム軽井沢ワークショップ
- Place of Presentation
  軽井沢プリンスホテル(長野県)
- Year and Date
  2009-04-20
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 確率時間REGARによるPTCTLのサブクラスのモデル検査2009
- Author(s)
  高橋正樹、森下篤、山根智
- Organizer
  電子情報通信学会信学技報
- Place of Presentation
  名古屋大学(愛知県)
- Year and Date
  2009-11-26
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 確率ゲーム理論による組込みシステムのモデル化とモデル検査2009
- Author(s)
  越田彰太、山根智
- Organizer
  電子情報通信学会信学技報
- Place of Presentation
  名古屋大学(愛知県)
- Year and Date
  2009-11-26
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 確率時間CEGAR2009
- Author(s)
  森下篤, 駒形龍太, 山根智
- Organizer
  電子情報通信学会研究報告
- Place of Presentation
  名古屋大学(愛知県)
- Year and Date
  2009-11-26
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 確率時間CEGAR2009
- Author(s)
  森下篤, 駒形龍太, 山根智
- Organizer
  電子情報通信学会
- Place of Presentation
  名古屋大学 (愛知県)
- Year and Date
  2009-11-26
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 並列動作する確率時間システムに対する拡張CEGAR2008
- Author(s)
  安井雅俊, 山崎真一, 山根智
- Organizer
  2008-EMB-10
- Place of Presentation
  キャンパスプラザ京都(京都府)
- Year and Date
  2008-11-28
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 動的再構成可能組込みシステムのモデル化と仕様記述2008
- Author(s)
  中居佑輝, 山根智
- Organizer
  2008-EMB-10
- Place of Presentation
  キャンパスプラザ京都(京都府)
- Year and Date
  2008-11-28
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 動的再構成可能組込みシステムのモデル化と仕様記述2008
- Author(s)
  中居佑輝, 山根智
- Organizer
  情報処理学会組込みシステム研究会
- Place of Presentation
  京都市
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 制限付きストップウォッチオートマトンと時間オートマトンを用いた, プリエンプティブスケジューリングシステムのUML分析設計からタスク設計までの設計検証方法論2007
- Author(s)
  山根智、瀧内新悟
- Organizer
  電子情報通信学会ソサエティ大会シンポジュム
- Place of Presentation
  鳥取大学(鳥取県)
- Year and Date
  2007-09-13
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] "ストップウォッチオートマトンによるプリエンプティブスケジューリングシステムの検証"、システム・情報部門学術講演会2007
- Author(s)
  瀧内新吾、山根智
- Organizer
  計測制御学会
- Place of Presentation
  国立オリンピック記念青少年総合センター(東京都)
- Year and Date
  2007-11-27
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 組み込システムのUML分析設計からタスク設計までの設計検証方法論2007
- Author(s)
  山根智、瀧内新吾
- Organizer
  情報処理学会研究報告
- Place of Presentation
  キャンパスプラザ京都(京都府)
- Year and Date
  2007-09-28
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] 抽象化洗練によるステートチャートの自動検証2007
- Author(s)
  山崎真一、山根智
- Organizer
  日本ソフトウェア科学会
- Place of Presentation
  奈良先端大学院大学
- Year and Date
  2007-09-16
- Data Source
  KAKENHI-PROJECT-19500025
[Presentation] チュートリアル"リアルタイムシステムの仕様記述と検証"2007
- Author(s)
  山根智
- Organizer
  組込みシンポジュウム
- Place of Presentation
  日本科学未来館(東京都)
- Year and Date
  2007-10-18
- Data Source
  KAKENHI-PROJECT-19500025

1. 櫻井孝平 (80597021)

# of Collaborated Projects: 3 results

# of Collaborated Products: 3 results
2. KATO Yuichi (10161126)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

yamane satoshi 山根 智

YAMANE Satoshi 山根 智

Research Projects

Research Products

Co-Researchers

Software model checking for real-time properties of embedded assembply program with interruptionsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Software model checking of real-time safety properties for embedded assembly programPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Verifying safety properties of embedded assembly program using innovative software model checkingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Advanced methods of design and verification for dynamically reconfigurable embedded systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automatic verification method for large scale embedded object-oriented design based on predicate abstractionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of design methodologies and support environments of high-reliability embedded systems based on hybrid modelsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design Support of Autonomous Distributed Systems by Integratig Temporal Logic, Concurrency Theny, AutomPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Construction of Psychological Model for Rating Psychological Quantities and its Experimental Studies

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Publisher

Data Source

[Journal Article] An Efficient Reduction of Timer Interrupts for Model Checking of Embedded Assembly Programs2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] 有界モデル検査を用いたリアルタイムOSカーネルのタスク管理モジュールの形式的検証2023

Author(s)

Journal Title

Data Source

[Journal Article] Reduction of Timer Interrupts for Embedded Assembly Programs Based on Reduction of Interrupt Handler Executions2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Lazy Abstractionと精練を用いた組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査2020

Author(s)

Journal Title

Data Source

[Journal Article] Verification Method of Safety Properties of Embedded Assembly Program by Combining SMT-Based Bounded Model Checking and Reduction of Interrupt Handler Executions2020

Author(s)

Journal Title

DOI

Data Source

yamane satoshi 山根智

YAMANE Satoshi 山根智

[Journal Article] 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証～ □≦TIME q = □(q∧(time≦TIME)) ～2017

[Journal Article] 組込みアセンブリプログラムのリアルタイム性の検証手法～組込みプログラムのためのモデル検査と演繹的検証～2017