@article{CTT100666746,
  author = {安藤崇央 and 萩原茂樹 and 米崎直樹},
  title = {SAT solverを用いるLTLタブロー構成法とその評価},
  journal = {情報処理学会論文誌},
  year = 2014,
}

@article{CTT100631034,
  author = {安藤崇央 and 宮本佑樹 and 萩原茂樹 and 米崎直樹},
  title = {リアクティブシステム仕様に対する段階的充足可能性判定器の分散オブジェクト技術を利用した実装},
  journal = {コンピューターソフトウェア},
  year = 2011,
}

@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{CTT100593459,
  author = {安藤崇央 and 萩原茂樹 and 米崎直樹},
  title = {タブロー証明器の実装における SAT solver の利用について},
  booktitle = {日本ソフトウェア科学会第26回大会講演論文集},
  year = 2009,
}

@inproceedings{CTT100593460,
  author = {萩原聖貴 and 安藤崇央 and 島川昌也 and 伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {記述性を重視したリアクティブシステム用仕様記述言語T},
  booktitle = {日本ソフトウェア科学会第26回大会講演論文集},
  year = 2009,
}

@inproceedings{CTT100566825,
  author = {宮本佑樹 and 安藤崇央 and 萩原茂樹 and 米崎直樹},
  title = {タブロー証明器の実装におけるBDDの利用について},
  booktitle = {第五回システム検証の科学技術シンポジウム予稿集},
  year = 2008,
}

@inproceedings{CTT100566208,
  author = {安藤崇央 and 宮本佑樹 and 萩原茂樹 and 米崎直樹},
  title = {分散オブジェクト技術を利用した段階的充足可能性判定器の実装},
  booktitle = {日本ソフトウェア科学会第25回大会講演論文集},
  year = 2008,
}

@inproceedings{CTT100548464,
  author = {安藤崇央 and 萩原茂樹 and 米崎直樹},
  title = {分散オブジェクト技術を利用した分散タブロー証明器の実装},
  booktitle = {日本ソフトウェア科学会第24回大会講演論文集},
  year = 2007,
}

@inproceedings{CTT100542867,
  author = {大滝大輔 and 安藤崇央 and 米崎直樹},
  title = {グリッド計算機を利用した並列仕様検証に関する研究},
  booktitle = {日本ソフトウェア科学会第23回大会講演論文集},
  year = 2006,
}

@inproceedings{CTT100398901,
  author = {安藤崇央 and 大滝大輔 and 米崎直樹},
  title = {時間論理タブロー証明器のMPIによる実装},
  booktitle = {第二回システム検証の科学技術シンポジウム予稿集},
  year = 2005,
}

@inproceedings{CTT100491401,
  author = {Takenobu Aoshima and Takahiro Ando and Naoki Yonezaki},
  title = {Consistency Checking of Behavioural Modeling in UML Statechart Diagrams},
  booktitle = {INFORMATION MODELLING AND KNOWLEDGE BASES XIV},
  year = 2003,
}

@inproceedings{CTT100479167,
  author = {安藤崇央 and 青島武伸 and 米崎直樹},
  title = {UMLステートチャートの整形性判定とその検証},
  booktitle = {日本ソフトウェア科学会第19回大会講演論文集},
  year = 2002,
}

@inproceedings{CTT100479164,
  author = {Takenobu Aoshima and Takahiro Ando and Naoki Yonezaki},
  title = {Consistency Checking of Behavioural Modeling in UML Statechart Diagrams},
  booktitle = {Proc. of 12th European Japanese Conference on Information modelling and Knowledge bases},
  year = 2002,
}

@misc{CTT100681541,
  author = {安藤崇央},
  title = {リアクティブシステム仕様の検証方法とその実装に関する研究},
  year = 2014,
}

@misc{CTT100687213,
  author = {安藤崇央},
  title = {リアクティブシステム仕様の検証方法とその実装に関する研究},
  year = 2014,
}

@misc{CTT100687074,
  author = {安藤崇央},
  title = {リアクティブシステム仕様の検証方法とその実装に関する研究},
  year = 2014,
}



@phdthesis{CTT100681541,
  author = {安藤崇央},
  title = {リアクティブシステム仕様の検証方法とその実装に関する研究},
  school = {東京工業大学},
  year = 2014,
}

@phdthesis{CTT100687213,
  author = {安藤崇央},
  title = {リアクティブシステム仕様の検証方法とその実装に関する研究},
  school = {東京工業大学},
  year = 2014,
}

@phdthesis{CTT100687074,
  author = {安藤崇央},
  title = {リアクティブシステム仕様の検証方法とその実装に関する研究},
  school = {東京工業大学},
  year = 2014,
}