山根 智

Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning 

IEEE Access 2024年2月  査読有り最終著者

An Efficient Reduction of Timer Interrupts for Model Checking of Embedded Assembly Programs 

Electronics 13(2) 2024年1月22日  査読有り筆頭著者責任著者

Enhanced Full Attention Generative Adversarial Networks. 

IEICE Trans. Inf. Syst. 106(5) 813-817 2023年5月  査読有り責任著者

Practical Evaluation of;Online;Heterogeneous Machine Learning 

IEICE Transactions on Information and Systems 103(12) 2620-2631 2020年12月  査読有り責任著者

Verification method of safety properties of embedded assembly program by combining smt-based bounded model checking and reduction of interrupt handler executions 

Electronics (Switzerland) 9(7) 1-24 2020年7月  査読有り筆頭著者責任著者

Lazy Abstractionと精練を用いた組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査 (アルゴリズムと計算理論の新潮流) 

数理解析研究所講究録 (2154) 1-8 2020年4月  責任著者

Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement. 

IEEE GCCE 62-65 2020年  査読有り責任著者

Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software. 

IEICE Trans. Inf. Syst. 103-D(4) 800-812 2020年  査読有り

Deductive verification method of real-time safety properties for embedded assembly programs 

Electronics (Switzerland) 8(10) 2019年10月  査読有り

Random Projection in Neural Episodic Control. 

Proceedings of Machine Learning Research, PMLR 101 101 1-15 2019年8月  査読有り

Online Heterogeneous Mixture Learning for Big Data. 

2019 IEEE 8th Global Conference on Consumer Electronics, GCCE 2019 699-701 2019年  査読有り

Generalize IoT Device's Client Application with Virtual Machine. 

2019 IEEE 8th Global Conference on Consumer Electronics, GCCE 2019 992-995 2019年  査読有り

Model Check of Real-time Property of Embedded Assembly Program Using CEGAR. 

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) 1 799-800 2018年  査読有り

Faster Deep Q-Learning Using Neural Episodic Control. 

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) 1 486-491 2018年  査読有り

Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure. 

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) 1 257-257 2018年  査読有り

Model checking of embedded assembly program based on simulation 

IEICE Transactions on Information and Systems 100(8) 1819-1826 2017年8月1日  査読有り筆頭著者

動的線形ハイブリッドオートマタ：動的再構成可能システムの仕様記述・検証 

情報処理学会論文誌プログラミング（PRO） 10(1) 33-33 2017年1月6日  

Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science. 

2017 IEEE 6th Global Conference on Consumer Electronics, GCCE 2017 2017-January 1-4 2017年  査読有り

LogChamber: Inferring source code locations corresponding to mobile applications run-time logs 

Journal of Information Processing 24(4) 700-710 2016年  査読有り

Case study of formal approach to dynamically reconfigurable systems by using dynamic linear hybrid automata 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10009 LNCS 74-89 2016年  査読有り

AspectJを用いたFault-InjectionによるHadoop MapReduceの耐故障処理に関する性能評価 

情報処理学会論文誌コンピューティングシステム（ACS） 7(1) 35-45 2014年3月25日  査読有り責任著者

動的再構成可能システムの仕様記述言語の提案およびその検証実験 

情報処理学会論文誌プログラミング（PRO） 6(3) 1-19 2013年12月20日  査読有り

確率線形ハイブリッドオートマトンの到達可能性検証 

情報処理学会論文誌 53(12) 2671-2681 2012年12月15日  査読有り

確率時間CEGARの開発とその実証実験 

情報処理学会論文誌プログラミング（PRO） 5(2) 43-66 2012年3月30日  査読有り

動的再構成可能プロセッサのモデル化，仕様記述とモデル検査 

コンピュータ ソフトウェア 28(1) 190-216 2011年  査読有り

事例研究 : プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング, 仕様記述と有限モデル検査 

電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition) 93(11) 2403-2415 2010年11月1日  査読有り

確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 

電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition) 93(7) 1214-1225 2010年7月1日  査読有り

組込みシステムにおけるハイブリッドオートマトンの形式的手法 

計測と制御 = Journal of the Society of Instrument and Control Engineers 48(11) 810-815 2009年11月10日  査読有り

確率ゾーングラフを用いた確率時間強模倣関係による検証 

電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition) 92(1) 25-38 2009年1月1日  査読有り

階層構造の抽象化精錬によるステートチャートの自動検証 

コンピュータ ソフトウェア 26(3) 155-170 2009年  査読有り

リアルタイムシステムの形式的手法とその検証ツール 

コンピュータソフトウェア 25(3) 81-87 2008年7月25日  査読有り

確率時間オートマトンの確率時間強模倣検証器の開発 

コンピュータ ソフトウェア 25(3) 148-193 2008年  査読有り

UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法 

情報処理学会論文誌 48(9) 3266-3280 2007年9月15日  査読有り

時間オートマトンによるソフトリアルタイムシステムの性能解析手法 

情報処理学会論文誌 46(11) 2664-2675 2005年11月15日  査読有り

Symbolic reachability analysis of probabilistic linear hybrid automata 

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A(11) 2972-2981 2005年11月  査読有り

時間弱模倣検証に基づくリアルタイムソフトウェアの詳細化設計手法 

電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 = The transactions of the Institute of Electronics, Information and Communication Engineers. D-I 88(10) 1555-1570 2005年10月1日  査読有り

確率時間オートマトンの確率時間強模倣検証アルゴリズム (計算機科学基礎理論とその応用 研究集会報告集) 

数理解析研究所講究録 1426(1426) 133-139 2005年4月  

Specification and verification techniques of embedded systems using probabilistic linear hybrid automata 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3820 LNCS 346-360 2005年  査読有り

Automata-theoretic performance analysis method of soft real-time systems 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3823 LNCS 1211-1224 2005年  査読有り

Deductive probabilistic verification methods of safety, liveness and nonzenoness for distributed real-time systems 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3820 LNCS 332-345 2005年  査読有り

Timed weak simulation verification and its application to stepwise refinement of real-time software 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3824 LNCS 381-394 2005年  査読有り

ハイブリッドシステムのモジュールの仕様記述と検証の手法 

情報処理学会論文誌 44(3) 897-914 2003年3月15日  査読有り

ハードリアルタイムシステムの形式的仕様記述と形式的検証 

情報処理学会論文誌 42(6) 1623-1635 2001年6月15日  査読有り

統一的セマンティックモデルに基づくリアクティブシステムの形式的開発方法論 

情報処理学会論文誌 41(3) 767-782 2000年3月15日  査読有り

Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems 

Lecture Notes in Computer Science 1281 562-582 1997年9月  査読有り筆頭著者

Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata 

Lecture Notes in Computer Science 1231 169-183 1997年8月  査読有り筆頭著者

時間ステートチャートに基づくリアルタイムシステム検証方式 

情報処理学会論文誌 35(12) 2640-2650 1994年12月15日  査読有り