@book{CTT100664415, author = {萩原茂樹}, title = {論理的検証法}, publisher = {朝倉書店}, year = 2013, } @book{CTT100613644, author = {萩原茂樹 and 米崎直樹}, title = {AbadiとRogawayによるメッセージの識別不可能性の形式化}, publisher = {共立出版}, year = 2010, } @article{CTT100737455, author = {Takashi Tomita and Atsushi Ueno and Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki.}, title = {Safraless LTL synthesis considering maximal realizability}, journal = {Acta Informatica}, year = 2016, } @article{CTT100704283, author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {Formulation of Homeostasis by Realisability on Linear Temporal Logic}, journal = {Biomedical Engineering Systems and Technologies,, Communications in Computer and Information Science}, year = 2016, } @article{CTT100704278, author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Qualitative analysis of gene regulatory networks by temporal logic}, journal = {Theoretical Computer Science}, year = 2015, } @article{CTT100684801, author = {冨田尭 and 萩原茂樹 and 伊藤宗平 and 米崎直樹}, title = {確率頻度時間論理の統計的モデル検査}, journal = {コンピューターソフトウェア}, year = 2014, } @article{CTT100673872, author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki}, title = {Bounded Strong Satisfiability Checking of Reactive System Specifications}, journal = {IEICE Transactions on Information and Systems}, year = 2014, } @article{CTT100672784, author = {冨田尭 and 萩原茂樹 and 米崎直樹}, title = {平均利得時間論理とそれを用いた検証・最適化手法}, journal = {コンピューターソフトウェア}, year = 2014, } @article{CTT100666746, author = {安藤崇央 and 萩原茂樹 and 米崎直樹}, title = {SAT solverを用いるLTLタブロー構成法とその評価}, journal = {情報処理学会論文誌}, year = 2014, } @article{CTT100661185, author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki}, title = {Complexity of Strong Satisfiability Problems for Reactive System Specifications}, journal = {IEICE Transactions on Information and Systems}, year = 2013, } @article{CTT100652824, author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Modular analysis of gene networks by linear temporal logic}, journal = {Journal of Integrative Bioinformatics}, year = 2013, } @article{CTT100653262, author = {Shigeki Hagihara and Hiroaki Oguro and Naoki Yonezaki}, title = {Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts}, journal = {Philippine Computing Journal}, year = 2012, } @article{CTT100631034, author = {安藤崇央 and 宮本佑樹 and 萩原茂樹 and 米崎直樹}, title = {リアクティブシステム仕様に対する段階的充足可能性判定器の分散オブジェクト技術を利用した実装}, journal = {コンピューターソフトウェア}, year = 2011, } @article{CTT100625774, author = {萩原茂樹 and 北村佑介 and 島川昌也 and 関戸聡 and 米崎直樹}, title = {リアクティブシステム仕様を実現可能にするための環境制約の抽出}, journal = {コンピューターソフトウェア}, year = 2011, } @article{CTT100593456, author = {伊藤宗平 and 萩原茂樹 and 米崎直樹}, title = {プログラム依存グラフの操作的意味}, journal = {コンピュータソフトウェア}, year = 2009, } @article{CTT100593455, author = {小黒博昭 and 萩原茂樹 and 米崎直樹}, title = {記号論的暗号解析を用いたOblivious Transferプロトコルの解析}, journal = {電子情報通信学会論文誌 D}, year = 2009, } @article{CTT100548421, author = {萩原茂樹 and 友石正彦 and 米崎直樹}, title = {有限フレームを意味的基礎として持つ様相論理に対する分解証明法}, journal = {コンピュータソフトウェア}, year = 2000, } @inproceedings{CTT100766617, author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki}, title = {Efficiency of the Strong Satisfiability Checking Procedure for Reactive System Specifications}, booktitle = {}, year = 2017, } @inproceedings{CTT100755516, author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki}, title = {Towards Improvements of Bounded Realizability Checking}, booktitle = {}, year = 2017, } @inproceedings{CTT100737459, author = {Shigeki Hagihara and Masaya Shimakawa and Naoki Yonezaki}, title = {Discussion on Verification of Voting Protocols}, booktitle = {Proceedings of the 17th Philippine Computing Science Congress}, year = 2017, } @inproceedings{CTT100737462, author = {Shigeki Hagihara and Masahiko Tomoishi and Masaya Shimakawa and Naoki Yonezaki}, title = {Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames}, booktitle = {Preproceedings of 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017)}, year = 2017, } @inproceedings{CTT100737460, author = {Shigeki Hagihara and Yoshiharu Fushihara and Masaya Shimakawa and Masahiko Tomoishi and Naoki Yonezaki}, title = {Web server access trend analysis based on the Poisson distribution}, booktitle = {Preproceedings of 6th International Conference on Software and Computer Applications (ICSCA 2017)}, year = 2017, } @inproceedings{CTT100737461, author = {Masaya Shimakawa and Kenji Osari and Shigeki Hagihara and Naoki Yonezaki}, title = {Modularization of formal specifications for efficient synthesis of reactive systems}, booktitle = {Preproceedings of 6th International Conference on Software and Computer Applications (ICSCA 2017)}, year = 2017, } @inproceedings{CTT100755517, author = {島川 昌也 and 萩原 茂樹 and 米崎 直樹}, title = {リアクティブシステム仕様の実現可能性に関する非有界検査の効率化に向けて}, booktitle = {}, year = 2016, } @inproceedings{CTT100737457, author = {Shigeki Hagihara}, title = {To develop software without flaws}, booktitle = {}, year = 2016, } @inproceedings{CTT100737456, author = {Masaya Shimakawa and Yuuji Iwasaki and Shigeki Hagihara and Naoki Yonezaki}, title = {Discussion of LTL Subsets for Efficient Verification}, booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2016)}, year = 2016, } @inproceedings{CTT100705446, author = {Shigeki Hagihara and Atsushi Ueno and Takashi Tomita and Masaya Shimakawa and Naoki Yonezaki}, title = {Simple synthesis of reactive systems with tolerance for unexpected environmental behavior}, booktitle = {Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16)}, year = 2016, } @inproceedings{CTT100704284, author = {Shigeki Hagihara and Naoto Sato and Naoki Yonezaki}, title = {Toward Applicable Synthesis of Security Protocols for Data Transmission}, booktitle = {Proceedings of the 16th Philippine Computing Science Congress}, year = 2016, } @inproceedings{CTT100704282, author = {冨田尭 and 上野篤史 and 萩原茂樹 and 島川昌也 and 米崎直樹}, title = {可能な限り仕様を満たすリアクティブシステムの合成}, booktitle = {ソフトウェア工学の基礎XXII, 日本ソフトウェア科学会 FOSE 2015}, year = 2015, } @inproceedings{CTT100704280, author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki.}, title = {Towards Unbounded Realizability Checking}, booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2015)}, year = 2015, } @inproceedings{CTT100704279, author = {冨田尭 and 萩原茂樹 and 島川昌也 and 米崎直樹}, title = {実現可能性の必要条件に基づいた不完全リアクティブシステム合成}, booktitle = {日本ソフトウェア科学会第32回大会講演論文集}, year = 2015, } @inproceedings{CTT100704281, author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki.}, title = {Reducing Bounded Realizability Analysis to Reachability Checking}, booktitle = {Reachability Problems, Lecture Notes in Computer Science}, year = 2015, } @inproceedings{CTT100684804, author = {上野篤史 and 冨田尭 and 島川昌也 and 萩原茂樹 and 米崎直樹}, title = {環境許容性のあるリアクティブシステム合成法}, booktitle = {信学技報}, year = 2015, } @inproceedings{CTT100684803, author = {Yoshiharu Fushihara and Shigeki Hagihara and Masahiko Tomoishi and Naoki Yonezaki}, title = {A new approach to analysis of access tendency of web server using Poisson distribution}, booktitle = {Proceedings of the 15th Philippine Computing Science Congress}, year = 2015, } @inproceedings{CTT100684802, author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs}, booktitle = {proceedings of 5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014)}, year = 2015, } @inproceedings{CTT100677942, author = {Shohei Mochizuki and Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki}, title = {Fast Translation from LTL to Büchi Automata via Non-transition-based Automata}, booktitle = {Formal Methods and Software Engineering, 16th International Conference on Formal Engineering Methods, ICFEM 2014, Lecture Notes in Computer Science}, year = 2014, } @inproceedings{CTT100648486, author = {Kenji Osari and Shigeki Hagihara and Naoki Yonezaki}, title = {Discussion on modularization of specifications for efficient synthesis of reactive systems}, booktitle = {7th Symposium on Mathematical Aspects of Computer Science, SMACS2014, Preproceedings}, year = 2014, } @inproceedings{CTT100677941, author = {Takashi Tomita and Takahito Kimura and Shigeki Hagihara and Naoki Yonezaki}, title = {An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints}, booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2014)}, year = 2014, } @inproceedings{CTT100676394, author = {冨田尭 and 上野篤史 and 萩原茂樹 and 米崎直樹}, title = {協調的リアクティブシステムの合成手法}, booktitle = {日本ソフトウェア科学会第31回大会講演論文集}, year = 2014, } @inproceedings{CTT100676395, author = {Shigeki Hagihara and Naoki Egawa and Masaya Shimakawa and Naoki Yonezaki}, title = {Minimal strongly unsatisfiable subsets of reactive system specifications}, booktitle = {Proceedings of the 29th ACM/IEEE international conference on Automated software engineering (ASE2014)}, year = 2014, } @inproceedings{CTT100673592, author = {萩原茂樹 and 江川直毅 and 島川昌也 and 米崎直樹}, title = {リアクティブシステム仕様の極小強充足不能部分計算に関する考察}, booktitle = {}, year = 2014, } @inproceedings{CTT100667994, author = {Shigeki Hagihara and Masahiko Tomoishi and Naoki Yonezaki}, title = {On Constructing Unification-based Proof Methods for Modal Logics with First-order Undefinable Frames}, booktitle = {Proceedings of the 14th Philippine Computing Science Congress}, year = 2014, } @inproceedings{CTT100668283, author = {長利健治 and 萩原茂樹 and 米崎直樹}, title = {実現可能性判定を高速化するための仕様の特徴量に基づいた仕様分割手法}, booktitle = {電子情報通信学会2014年総合大会講演論文集}, year = 2014, } @inproceedings{CTT100667995, author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {A Qualitative Framework for Analysing homeostasis in Gene Networks}, booktitle = {proceedings of 5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014)}, year = 2014, } @inproceedings{CTT100665098, author = {上野篤史 and 望月翔平 and 島川昌也 and 萩原茂樹 and 米崎直樹}, title = {LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装}, booktitle = {}, year = 2013, } @inproceedings{CTT100665099, author = {長利健治 and 室岡拓弥 and 萩原聖貴 and 安藤崇央 and 島川昌也 and 伊藤宗平 and 萩原茂樹 and 米崎直樹}, title = {記述性を重視したリアクティブシステム用仕様記述言語T}, booktitle = {}, year = 2013, } @inproceedings{CTT100665096, author = {萩原茂樹 and 江川直毅 and 島川昌也 and 米崎直樹}, title = {強充足不能なリアクティブシステム仕様における欠陥範囲の特定}, booktitle = {ソフトウェア工学の基礎XX, 日本ソフトウェア科学会 FOSE 2013}, year = 2013, } @inproceedings{CTT100661006, author = {冨田尭 and 山崎徹郎 and 萩原茂樹 and 米崎直樹}, title = {確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法}, booktitle = {日本ソフトウェア科学会第30回大会講演論文集}, year = 2013, } @inproceedings{CTT100661008, author = {Kenji Osari and Takuya Murooka and Kiyotaka Hagiwara and Takahiro Ando and Masaya Shimakawa and Sohei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {An object-oriented language for parameterised reactive system specification based on linear temporal logic}, booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2013)}, year = 2013, } @inproceedings{CTT100661007, author = {上野篤史 and 望月翔平 and 島川昌也 and 萩原茂樹 and 米崎直樹}, title = {LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究}, booktitle = {日本ソフトウェア科学会第30回大会講演論文集}, year = 2013, } @inproceedings{CTT100645920, author = {Takashi Tomita and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {A Formal Ontology of Interactions with Intensional Quantitative Semantics}, booktitle = {Theory and Practice of Computation, Proceedings in Information and Communications Technology}, year = 2013, } @inproceedings{CTT100652823, author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Modular analysis of gene networks by linear temporal logic}, booktitle = {proceedings of 9th International Symposium on Integrative Bioinformatics}, year = 2013, } @inproceedings{CTT100652825, author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki}, title = {SAT–Based Bounded Strong Satisfiability Checking of Reactive System Specifications}, booktitle = {Information and Communicatiaon Technology, Lecture Notes in Computer Science}, year = 2013, } @inproceedings{CTT100648487, author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Qualitative analysis of gene regulatory networks using network motifs}, booktitle = {proceedings of 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2013)}, year = 2013, } @inproceedings{CTT100648484, author = {望月翔平 and 島川昌也 and 萩原茂樹 and 米崎直樹}, title = {LTL式からBuchiオートマトンへの高速な変換法}, booktitle = {ソフトウェア工学の基礎XIX, 日本ソフトウェア科学会 FOSE 2012}, year = 2012, } @inproceedings{CTT100645919, author = {Takashi Tomita and Shin Hiura and Shigeki Hagihara and Naoki Yonezaki}, title = {A Temporal Logic with Mean-Payoff Constraints}, booktitle = {Formal Methods and Software Engineering, 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science}, year = 2012, } @inproceedings{CTT100648485, author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Modular analysis of gene networks using temporal logic (abstract)}, booktitle = {program booklet}, year = 2012, } @inproceedings{CTT100645918, author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki}, title = {Complexity of Checking Strong Satisfiability of Reactive System Specifications}, booktitle = {International Conference on Advances in Information Technology and Communication, AIT 2012}, year = 2012, } @inproceedings{CTT100645916, author = {Shigeki Hagihara and Takahiro Arai and Masaya Shimakawa and Naoki Yonezaki}, title = {Developing Embedded Systems from Formal Specifications Written in Temporal Logic}, booktitle = {Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing, Lecture Notes in Electrical Engineering}, year = 2012, } @inproceedings{CTT100645917, author = {冨田尭 and 萩原茂樹 and 米崎直樹}, title = {Mean-Payoff制約を記述可能な線形時間論理}, booktitle = {日本ソフトウェア科学会第29回大会講演論文集}, year = 2012, } @inproceedings{CTT100629737, author = {Shigeki Hagihara and Hiroaki Oguro and Naoki Yonezaki}, title = {Completeness of a Deduction System for Relational Information between Ciphertexts based on Probabilistic Computational Semantics}, booktitle = {Theory and Practice of Computation, Proceedings in Information and Communications Technology}, year = 2012, } @inproceedings{CTT100632103, author = {樋浦信 and 冨田尭 and 萩原茂樹 and 伊藤宗平 and 米崎直樹}, title = {条件付頻度を扱えるように拡張したLTLによるリアクティブシステム仕様の充足可能性判定}, booktitle = {}, year = 2011, } @inproceedings{CTT100631691, author = {新井貴大 and 島川昌也 and 萩原茂樹 and 米崎直樹}, title = {時間論理で記述された仕様からのプログラム自動抽出による組み込みシステム構成手法}, booktitle = {ソフトウェア工学の基礎XVIII, 日本ソフトウェア科学会 FOSE2011}, year = 2011, } @inproceedings{CTT100630710, author = {Takashi Tomita and Shigeki Hagihara and Naoki Yonezaki}, title = {Probabilistic Temporal Logic with Frequency Operators and Its Model Checking}, booktitle = {Proceedings 13th International Workshop on Verification of Infinite-State Systems. 2011, Electronic Proceedings in Theoretical Computer Science}, year = 2011, } @inproceedings{CTT100631019, author = {Takahiro Shinozaki and Masakazu Sekijima and Shigeki Hagihara and Sadaoki Furui}, title = {Compact speech decoder based on pure functional programming}, booktitle = {Proc. APSIPA ASC 2011}, year = 2011, } @inproceedings{CTT100630708, author = {冨田尭 and 萩原茂樹 and 伊藤宗平 and 樋浦信 and 米崎直樹}, title = {頻度オペレータを導入した線形時間論理に対する統計的手法を用いた確率的モデル検査}, booktitle = {日本ソフトウェア科学会第28回大会講演論文集}, year = 2011, } @inproceedings{CTT100754989, author = {篠崎隆宏 and 関嶋政和 and 萩原茂樹 and 古井貞熙}, title = {純粋関数型言語を用いた超コンパクトデコーダの開発}, booktitle = {}, year = 2011, } @inproceedings{CTT100625027, author = {Takahiro Shinozaki and Masakazu Sekijima and Shigeki Hagihara and Sadaoki Furui}, title = {A compact speech decoder based on pure functional programming}, booktitle = {Manuscript for presentation at IPSJ-SIGPRO, 25 April 2011.}, year = 2011, } @inproceedings{CTT100619273, author = {萩原茂樹 and 小黒博昭 and 米崎直樹}, title = {暗号文間の関係情報認知可能性に関する論理体系}, booktitle = {情報処理学会第73回全国大会講演論文集}, year = 2011, } @inproceedings{CTT100619560, author = {Sohei Ito and Takuma Ichinose and Naoko Izumi and Shigeki Hagihara and NAOKI YONEZAKI}, title = {Qualitative analysis of gene regulatory networks by approximation using network motifs}, booktitle = {}, year = 2011, } @inproceedings{CTT100619277, author = {小黒博昭 and 萩原茂樹 and 米崎直樹}, title = {紛失通信プロトコルの解析のための可能世界意味論に基づく形式体系}, booktitle = {情報処理学会第73回全国大会講演論文集}, year = 2011, } @inproceedings{CTT100619275, author = {冨田尭 and 萩原茂樹 and 樋浦信 and 伊藤宗平 and 米崎直樹}, title = {頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム}, booktitle = {情報処理学会第73回全国大会講演論文集}, year = 2011, } @inproceedings{CTT100619274, author = {伊藤宗平 and 泉直子 and 萩原茂樹 and 米崎直樹}, title = {時間論理による仕様記述を用いた遺伝子ネットワークの定性的振る舞い解析}, booktitle = {情報処理学会第73回全国大会講演論文集}, year = 2011, } @inproceedings{CTT100613649, author = {島川昌也 and 萩原茂樹 and 米崎直樹}, title = {実現可能性判定コスト削減のための無限ゲーム単純化手法}, booktitle = {日本ソフトウェア科学会第27回大会講演論文集}, year = 2010, } @inproceedings{CTT100613646, author = {萩原茂樹 and 小黒博昭 and 米崎直樹}, title = {暗号文間の関係情報を推論する体系に対する可能世界意味論}, booktitle = {日本ソフトウェア科学会第27回大会講演論文集}, year = 2010, } @inproceedings{CTT100613647, author = {小黒博昭 and 萩原茂樹 and 米崎直樹}, title = {紛失通信プロトコルを解析する形式体系の意味論}, booktitle = {日本ソフトウェア科学会第27回大会講演論文集}, year = 2010, } @inproceedings{CTT100612363, author = {篠崎 隆宏 and 関嶋 政和 and 萩原 茂樹 and 古井 貞熙}, title = {柔軟でコンパクトな純粋関数型デコーダの検討}, booktitle = {日本音響学会2010年秋季講演論文集}, year = 2010, } @inproceedings{CTT100613752, author = {Takashi Tomita and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Qualitative Inference Rules for Analysis of Biological Object Interactions}, booktitle = {9th International Conference on Bioinformatics, Abstracts}, year = 2010, } @inproceedings{CTT100613691, author = {Sohei Ito and Naoko Izumi and Shigeki Hagihara and NAOKI YONEZAKI}, title = {Possible behavior analysis of Gene Regulatory Networks by Linear Temporal Logic}, booktitle = {9th International Conference on Bioinformatics, Abstracts}, year = 2010, } @inproceedings{CTT100613651, author = {Sohei Ito and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Qualitative analysis of gene regulatory networks by satisfiability checking of Linear Temporal Logic}, booktitle = {Proceedings of the 10th IEEE International Conference on Bioinformatics & Bioengineering}, year = 2010, } @inproceedings{CTT100593464, author = {Shigeki Hagihara and Yusuke Kitamura and Masaya Shimakawa and Naoki Yonezaki}, title = {Extracting Environmental Constraints to Make Reactive System Specifications Realizable}, booktitle = {Proceedings of 16th Asia-Pacific Software Engineering Conference APSEC 2009}, year = 2009, } @inproceedings{CTT100593463, author = {萩原茂樹 and 北村佑介 and 島川昌也 and 米崎直樹}, title = {リアクティブシステム仕様を実現可能にするための環境制約の抽出}, booktitle = {ソフトウェア工学の基礎XVI, 日本ソフトウェア科学会 FOSE2009}, year = 2009, } @inproceedings{CTT100593462, author = {Sohei Ito and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {Analysis of gene regulatory networks by checking satisfiability of Linear Temporal Logic}, booktitle = {CBI-KSBSB Joint Conference}, year = 2009, } @inproceedings{CTT100593461, author = {Takashi Tomita and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki}, title = {2-layered Formal Interaction Ontology among Biological Processes with Quantitative Semantics}, booktitle = {CBI-KSBSB Joint Conference}, year = 2009, } @inproceedings{CTT100593459, author = {安藤崇央 and 萩原茂樹 and 米崎直樹}, title = {タブロー証明器の実装における SAT solver の利用について}, booktitle = {日本ソフトウェア科学会第26回大会講演論文集}, year = 2009, } @inproceedings{CTT100593457, author = {島川昌也 and 萩原茂樹 and 米崎直樹}, title = {実現可能性判定コスト削減のためのLTL構文の制限とそれによる仕様の判定法}, booktitle = {日本ソフトウェア科学会第26回大会講演論文集}, year = 2009, } @inproceedings{CTT100593458, author = {伊藤宗平 and 泉 直子 and 萩原茂樹 and 米崎直樹}, title = {時間論理LTLの充足可能性判定を用いた遺伝子ネットワークの解析}, booktitle = {日本ソフトウェア科学会第26回大会講演論文集}, year = 2009, } @inproceedings{CTT100593460, author = {萩原聖貴 and 安藤崇央 and 島川昌也 and 伊藤宗平 and 萩原茂樹 and 米崎直樹}, title = {記述性を重視したリアクティブシステム用仕様記述言語T}, booktitle = {日本ソフトウェア科学会第26回大会講演論文集}, year = 2009, } @inproceedings{CTT100593529, author = {Hiroaki Oguro and Shigeki Hagihara and Naoki Yonezaki}, title = {A Formal System for Analysis of an Oblivious Transfer Protocol}, booktitle = {}, year = 2008, } @inproceedings{CTT100566825, author = {宮本佑樹 and 安藤崇央 and 萩原茂樹 and 米崎直樹}, title = {タブロー証明器の実装におけるBDDの利用について}, booktitle = {第五回システム検証の科学技術シンポジウム予稿集}, year = 2008, } @inproceedings{CTT100566824, author = {北村佑介 and 島川昌也 and 萩原茂樹 and 米崎直樹}, title = {リアクティブシステム仕様の外部環境制約について}, booktitle = {第五回システム検証の科学技術シンポジウム予稿集}, year = 2008, } @inproceedings{CTT100566208, author = {安藤崇央 and 宮本佑樹 and 萩原茂樹 and 米崎直樹}, title = {分散オブジェクト技術を利用した段階的充足可能性判定器の実装}, booktitle = {日本ソフトウェア科学会第25回大会講演論文集}, year = 2008, } @inproceedings{CTT100566210, author = {島川昌也 and 萩原茂樹 and 米崎直樹}, title = {SAT Solverを用いたリアクティブシステム仕様の有界強充足可能性判定}, booktitle = {日本ソフトウェア科学会第25回大会講演論文集}, year = 2008, } @inproceedings{CTT100566209, author = {小黒博昭 and 萩原茂樹 and 米崎直樹}, title = {記号論的暗号解析を用いた Oblivious Transfer プロトコルの解析}, booktitle = {日本ソフトウェア科学会第25回大会講演論文集}, year = 2008, } @inproceedings{CTT100566207, author = {冨田 尭 and 泉 直子 and 萩原茂樹 and 米崎直樹}, title = {量的関係を考慮した生体内の阻害・活性化機能の形式相互作用オントロジー}, booktitle = {日本ソフトウェア科学会第25回大会講演論文集}, year = 2008, } @inproceedings{CTT100549112, author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {An Operational Semantics of Program Dependence Graphs for Unstructured Programs}, booktitle = {Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, Lecture Notes in Computer Science}, year = 2008, } @inproceedings{CTT100619639, author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products}, booktitle = {Information Modeling and Knowledge Bases XIX}, year = 2008, } @inproceedings{CTT100548467, author = {島川昌也 and 萩原茂樹 and 米崎直樹}, title = {リアクティブシステム仕様の強充足可能性判定問題の計算量について}, booktitle = {第4回システム検証の科学技術シンポジウム予稿集}, year = 2007, } @inproceedings{CTT100548466, author = {小黒博昭 and 萩原茂樹 and 米崎直樹}, title = {記号論的暗号解析を用いた Oblivious Transfer プロトコルの解析}, booktitle = {コンピュータセキュリティシンポジウム2007 (CSS2007) 論文集, 情報処理学会シンポジウムシリーズ}, year = 2007, } @inproceedings{CTT100548463, author = {伊藤宗平 and 萩原茂樹 and 米崎直樹}, title = {ビジネスプロセスモデルTAPの形式オントロジーとその応用}, booktitle = {日本ソフトウェア科学会第24回大会講演論文集}, year = 2007, } @inproceedings{CTT100548464, author = {安藤崇央 and 萩原茂樹 and 米崎直樹}, title = {分散オブジェクト技術を利用した分散タブロー証明器の実装}, booktitle = {日本ソフトウェア科学会第24回大会講演論文集}, year = 2007, } @inproceedings{CTT100548465, author = {萩原茂樹 and 小黒博昭 and 米崎直樹}, title = {暗号文から得られる部分情報に関する推論体系とその計算論に基づく意味}, booktitle = {日本ソフトウェア科学会第24回大会講演論文集}, year = 2007, } @inproceedings{CTT100548461, author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products}, booktitle = {Proceedings of the 17th European-Japanese Conference on Information Modeling and Knowledge Bases EJC2007}, year = 2007, } @inproceedings{CTT100548462, author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {An Ontology for Business Process Model TAP: Tasks-Agents-Products}, booktitle = {Proceedings of International Symposium on Large-scale Knowledge Resources (LKR2007)}, year = 2007, } @inproceedings{CTT100548469, author = {秋山卓見 and 泉直子 and 萩原茂樹 and 米崎直樹}, title = {形式オントロジーに基づく遺伝子調節のための数値モデル}, booktitle = {情報処理学会研究報告}, year = 2007, } @inproceedings{CTT100548470, author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {An Operational Semantics of Program Dependence Graphs for Unstructured Programs}, booktitle = {Preliminary Proceedings of 11th Annual Asian Computing Science Conference (ASIAN 2006)}, year = 2006, } @inproceedings{CTT100542863, author = {Shigeki Hagihara and Naoki Yonezaki}, title = {Completeness of Verification methods for Approaching to Realizable Reactive Specifications}, booktitle = {Proceedings of 1st Asian Working Conference on Verified Software AWCVS'06, UNU-IIST Technical Report}, year = 2006, } @inproceedings{CTT100548472, author = {伊藤宗平 and 萩原茂樹 and 米崎直樹}, title = {中間コードを表すプログラム依存グラフの操作的意味}, booktitle = {日本ソフトウェア科学会第23回大会講演論文集}, year = 2006, } @inproceedings{CTT100548471, author = {島川昌也 and 萩原茂樹 and 米崎直樹}, title = {仕様の自動検証に適したLTLフラグメント ― 実現集合を表す決定性オートマトン構成の立場から―}, booktitle = {日本ソフトウェア科学会第23回大会講演論文集}, year = 2006, } @inproceedings{CTT100548473, author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki}, title = {Formalization of process optimization knowledge - An application to code optimization -}, booktitle = {Proceedings of International Symposium on Large-scale Knowledge Resources (LKR2006)}, year = 2006, } @inproceedings{CTT100548492, author = {島川昌也 and 萩原茂樹 and 米崎直樹}, title = {リアクティブシステムを対象とした様々な実行時検証概念の形式化とその判定アルゴリズムの完全性}, booktitle = {第二回システム検証の科学技術シンポジウム予稿集}, year = 2005, } @inproceedings{CTT100548474, author = {萩原茂樹 and 米崎直樹}, title = {Mullerオートマトンを用いたリアクティブシステムの仕様検証法とその完全性}, booktitle = {第二回システム検証の科学技術シンポジウム予稿集}, year = 2005, } @inproceedings{CTT100548476, author = {伊藤宗平 and 萩原茂樹 and 米崎直樹}, title = {意味的制約の書き換えによるコンパイラのコード最適化}, booktitle = {日本ソフトウェア科学会第22回大会講演論文集}, year = 2005, } @inproceedings{CTT100548475, author = {佐藤直人 and 萩原茂樹 and 米崎直樹}, title = {二者間データ通信を安全に行うプロトコルの自動生成法}, booktitle = {日本ソフトウェア科学会第22回大会講演論文集}, year = 2005, } @inproceedings{CTT100548477, author = {佐藤直人 and 萩原茂樹 and 米崎直樹}, title = {安全性を保証する構造要件に基づくセキュリティプロトコルの自動生成法}, booktitle = {情報処理学会研究報告}, year = 2005, } @inproceedings{CTT100548478, author = {萩原茂樹 and ラッタナウォンナラーカリン and 米崎直樹}, title = {投票プロトコルの安全性の検証}, booktitle = {日本ソフトウェア科学会第21回大会講演論文集}, year = 2004, } @inproceedings{CTT100548487, author = {島川昌也 and 萩原茂樹 and 米崎直樹}, title = {実時間論理により記述された動作仕様の実行時検証手続き}, booktitle = {日本ソフトウェア科学会第21回大会講演論文集}, year = 2004, } @inproceedings{CTT100548479, author = {関戸達彦 and 萩原茂樹 and 米崎直樹}, title = {並行プログラムの論理式への変換によるコードレベル検証方式}, booktitle = {日本ソフトウェア科学会第21回大会講演論文集}, year = 2004, } @inproceedings{CTT100491304, author = {Ashraf Bhery and Shigeki Hagihara and Naoki Yonezaki}, title = {A Formal System for Analysis of Cryptographic encryption and Their Security properties}, booktitle = {Software Security - Theories and Systems, Lecture Notes in Computer Science}, year = 2004, } @inproceedings{CTT100548481, author = {Ashraf Bhery and Shigeki Hagihara and Naoki Yonezaki}, title = {A Formal Analysis of Symmetric Encryption and Keyed and Keyed Hash Function}, booktitle = {The 46th IEEE International Midwest Symposium On Circuits & Systems}, year = 2003, } @inproceedings{CTT100548484, author = {伊藤宗平 and 萩原茂樹 and 米崎直樹}, title = {最適条件の時間論理記述を用いたモデル生成器によるコード最適化}, booktitle = {日本ソフトウェア科学会第20回記念大会論文集}, year = 2003, } @inproceedings{CTT100548482, author = {Ashraf Bhery and Shigeki Hagihara and Naoki Yonezaki}, title = {The Characterization of Cryptographic Primitives and Their Security Properties}, booktitle = {Proceedings of the Ninth International Conference on Distributed Multimedia Systems}, year = 2003, } @inproceedings{CTT100548486, author = {佐藤直人 and 萩原茂樹 and 米崎直樹}, title = {プロトコルの構造要件に関する推論を利用したセキュリティプロトコルの自動生成}, booktitle = {日本ソフトウェア科学会第20回記念大会論文集}, year = 2003, } @inproceedings{CTT100548485, author = {萩原茂樹 and 米崎直樹}, title = {オークションにおける公平性とその検証}, booktitle = {日本ソフトウェア科学会第20回大会講演論文集}, year = 2003, } @inproceedings{CTT100548483, author = {Ashraf Bhery and Shigeki Hagihara and NAOKI YONEZAKI}, title = {A Formal System for Analysis of Cryptographic Primitives and their Security Properties}, booktitle = {20th Conference Proceedings Japan Society for Software Science and Technology}, year = 2003, } @inproceedings{CTT100548488, author = {Ashraf Bhery and Shigeki Hagihara and Naoki Yonezaki}, title = {Judgment Deduction System of Asymmetric Encryption Scheme (JDE-system)}, booktitle = {Pre-Proceeding of WISA 2003, The 4th International Workshop on Information Security Applications}, year = 2003, } @inproceedings{CTT100491295, author = {Ashraf Moustafa Bhery and Shigeki Hagihara and Naoki Yonezaki}, title = {A new deduction system for cryptographic primitives and their security properties}, booktitle = {IPSJ SIG Technical Reports}, year = 2003, } @inproceedings{CTT100548420, author = {ETSUYA SHIBAYAMA and Shigeki Hagihara and Naoki Kobayashi and Shin-ya Nishizaki and Kenjiro Taura and Takuo Watanabe}, title = {AnZenMail: A Secure and Certified E-mail System}, booktitle = {Lecture Notes in Computer Science (Software Security: Theories and Systems)}, year = 2003, } @inproceedings{CTT100548489, author = {萩原茂樹 and 米崎直樹}, title = {入札プロトコルの形式的検証}, booktitle = {日本ソフトウェア科学会第19回大会講演論文集}, year = 2002, } @inproceedings{CTT100475653, author = {畑山研 and 萩原茂樹 and 米崎直樹}, title = {Spi計算の型付けによる公開鍵暗号方式を用いたプロトコルのメッセージ認証の検証}, booktitle = {情報処理学会研究報告}, year = 2002, } @inproceedings{CTT100548424, author = {Shigeki Hagihara and Takayoshi Sanui and Naoki Yonezaki}, title = {Formal Construction of Security Protocols}, booktitle = {2nd International Workshop on Foundations for Secure/Survivable Systems and Networks}, year = 2001, } @inproceedings{CTT100566369, author = {Shigeki Hagihara and Takayoshi Sanui and Naoki Yonezaki}, title = {Formal Construction of Security Protocols}, booktitle = {}, year = 2001, } @inproceedings{CTT100548491, author = {畑山研 and 萩原茂樹 and 米崎直樹}, title = {Spi-calculusを用いたプロトコルの認証に関する性質の検証}, booktitle = {日本ソフトウェア科学会第18回大会論文集}, year = 2001, } @inproceedings{CTT100548490, author = {讃井崇喜 and 萩原茂樹 and 米崎直樹}, title = {セキュリティプロトコルの自動設計アルゴリズム}, booktitle = {日本ソフトウェア科学会第18回大会論文集}, year = 2001, } @inproceedings{CTT100449615, author = {Shigeki Hagihara and Naoki Yonezaki}, title = {Resolution Method for Modal Logic with Well-founded Frames}, booktitle = {Computer Science Logic, Lecture Notes in computer Science}, year = 1999, } @inproceedings{CTT100548440, author = {Shigeki Hagihara and Naoki Yonezaki}, title = {Unification-based proof method for modal logic with well-founded frames}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods: Position Papers, Technical Report, Institute for Programming and Logics, Department of Computer Science, University at Albany - SUNY}, year = 1999, } @inproceedings{CTT100548442, author = {Shigeki Hagihara and Naoki Yonezaki}, title = {Resolution calculus for Modal logic of finite frames}, booktitle = {1st International Workshop on Specification and Verification of Timed Systems (IWTS'99)}, year = 1999, } @inproceedings{CTT100548451, author = {萩原茂樹 and 友石正彦 and 米崎直樹}, title = {有礎構造を意味論にもつ様相論理の分解証明法}, booktitle = {日本ソフトウェア科学会第15回大会論文集}, year = 1998, } @inproceedings{CTT100548453, author = {友石正彦 and 萩原茂樹 and 米崎直樹}, title = {初等的でないフレームを持つ様相論理の統一化による証明法}, booktitle = {情報処理学会第55回全国大会講演論文集}, year = 1997, } @inproceedings{CTT100548456, author = {萩原茂樹 and 米崎直樹}, title = {ある種の離散性を仮定した様相論理の統一化による証明方法}, booktitle = {日本ソフトウェア科学会第14回大会論文集}, year = 1997, } @inproceedings{CTT100548447, author = {Shigeki Hagihara and Naoki Yonezaki}, title = {A connection based proof method for modal logic restricted to discrete frames}, booktitle = {Fifteenth International Joint Conference on Artificial Intelligence, Poster Session Abstracts}, year = 1997, } @inproceedings{CTT100548459, author = {萩原茂樹 and 米崎直樹}, title = {様相論理証明における失敗情報の利用}, booktitle = {日本ソフトウェア科学会第12回大会論文集}, year = 1995, } @inproceedings{CTT100548458, author = {萩原茂樹 and 米崎直樹}, title = {証明の失敗から得られる情報を用いる様相論理定理証明戦略}, booktitle = {情報処理学会第50回全国大会講演論文集}, year = 1995, } @misc{CTT100548460, author = {萩原茂樹 and 米崎直樹}, title = {記号論及び計算論によるセキュリティ解析の相互関係}, year = 2007, } @misc{CTT100548468, author = {萩原茂樹 and 米崎直樹}, title = {Abadi-Rogawayによる暗号メッセージの解析手法とその健全性・完全性について}, year = 2006, } @misc{CTT100596102, author = {Shigeki Hagihara}, title = {到達可能関係の無限連鎖に制約を持つ様相論理体系の証明方法に関する研究 }, year = 2000, } @phdthesis{CTT100596102, author = {Shigeki Hagihara}, title = {到達可能関係の無限連鎖に制約を持つ様相論理体系の証明方法に関する研究 }, school = {東京工業大学}, year = 2000, }