@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{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{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{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{CTT100625774,
  author = {萩原茂樹 and 北村佑介 and 島川昌也 and 関戸聡 and 米崎直樹},
  title = {リアクティブシステム仕様を実現可能にするための環境制約の抽出},
  journal = {コンピューターソフトウェア},
  year = 2011,
}

@article{CTT100614899,
  author = {I. Yamada and S. Ishiwata and I. Terasaki and M. Azuma and Y. Shimakawa and M. Takano},
  title = {Synthesis, Structure, and Physical Properties of A-site Ordered Perovskites ACu3Co4O12 (A = Ca and Y)},
  journal = {CHEMISTRY OF MATERIALS},
  year = 2010,
}

@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{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{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{CTT100755517,
  author = {島川 昌也 and 萩原 茂樹 and 米崎 直樹},
  title = {リアクティブシステム仕様の実現可能性に関する非有界検査の効率化に向けて},
  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{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{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{CTT100704279,
  author = {冨田尭 and 萩原茂樹 and 島川昌也 and 米崎直樹},
  title = {実現可能性の必要条件に基づいた不完全リアクティブシステム合成},
  booktitle = {日本ソフトウェア科学会第32回大会講演論文集},
  year = 2015,
}

@inproceedings{CTT100684804,
  author = {上野篤史 and 冨田尭 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {環境許容性のあるリアクティブシステム合成法},
  booktitle = {信学技報},
  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{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{CTT100665096,
  author = {萩原茂樹 and 江川直毅 and 島川昌也 and 米崎直樹},
  title = {強充足不能なリアクティブシステム仕様における欠陥範囲の特定},
  booktitle = {ソフトウェア工学の基礎XX, 日本ソフトウェア科学会 FOSE 2013},
  year = 2013,
}

@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{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{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{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{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{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{CTT100631691,
  author = {新井貴大 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {時間論理で記述された仕様からのプログラム自動抽出による組み込みシステム構成手法},
  booktitle = {ソフトウェア工学の基礎XVIII, 日本ソフトウェア科学会 FOSE2011},
  year = 2011,
}

@inproceedings{CTT100613649,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {実現可能性判定コスト削減のための無限ゲーム単純化手法},
  booktitle = {日本ソフトウェア科学会第27回大会講演論文集},
  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{CTT100593460,
  author = {萩原聖貴 and 安藤崇央 and 島川昌也 and 伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {記述性を重視したリアクティブシステム用仕様記述言語T},
  booktitle = {日本ソフトウェア科学会第26回大会講演論文集},
  year = 2009,
}

@inproceedings{CTT100593457,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {実現可能性判定コスト削減のためのLTL構文の制限とそれによる仕様の判定法},
  booktitle = {日本ソフトウェア科学会第26回大会講演論文集},
  year = 2009,
}

@inproceedings{CTT100566824,
  author = {北村佑介 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {リアクティブシステム仕様の外部環境制約について},
  booktitle = {第五回システム検証の科学技術シンポジウム予稿集},
  year = 2008,
}

@inproceedings{CTT100566210,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {SAT Solverを用いたリアクティブシステム仕様の有界強充足可能性判定},
  booktitle = {日本ソフトウェア科学会第25回大会講演論文集},
  year = 2008,
}

@inproceedings{CTT100548467,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {リアクティブシステム仕様の強充足可能性判定問題の計算量について},
  booktitle = {第4回システム検証の科学技術シンポジウム予稿集},
  year = 2007,
}

@inproceedings{CTT100548471,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {仕様の自動検証に適したLTLフラグメント ― 実現集合を表す決定性オートマトン構成の立場から―},
  booktitle = {日本ソフトウェア科学会第23回大会講演論文集},
  year = 2006,
}

@inproceedings{CTT100548492,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {リアクティブシステムを対象とした様々な実行時検証概念の形式化とその判定アルゴリズムの完全性},
  booktitle = {第二回システム検証の科学技術シンポジウム予稿集},
  year = 2005,
}

@inproceedings{CTT100548487,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {実時間論理により記述された動作仕様の実行時検証手続き},
  booktitle = {日本ソフトウェア科学会第21回大会講演論文集},
  year = 2004,
}

@misc{CTT100693451,
  author = {島川昌也},
  title = {リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究},
  year = 2014,
}

@misc{CTT100693376,
  author = {島川昌也},
  title = {リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究},
  year = 2014,
}

@misc{CTT100693566,
  author = {島川昌也},
  title = {リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究},
  year = 2014,
}



@phdthesis{CTT100693451,
  author = {島川昌也},
  title = {リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究},
  school = {東京工業大学},
  year = 2014,
}

@phdthesis{CTT100693376,
  author = {島川昌也},
  title = {リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究},
  school = {東京工業大学},
  year = 2014,
}

@phdthesis{CTT100693566,
  author = {島川昌也},
  title = {リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究},
  school = {東京工業大学},
  year = 2014,
}