論文

• 安藤崇央, 萩原茂樹, 米崎直樹. SAT solverを用いるLTLタブロー構成法とその評価, 情報処理学会論文誌, Vol. 55, No. 2, pp. 909-921, Feb. 2014.
• 安藤崇央, 宮本佑樹, 萩原茂樹, 米崎直樹. リアクティブシステム仕様に対する段階的充足可能性判定器の分散オブジェクト技術を利用した実装, コンピューターソフトウェア, 岩波書店, Vol. 28, No. 4, pp. 262-281, Nov. 2011.

国際会議発表 (査読有り)

• Kenji Osari, Takuya Murooka, Kiyotaka Hagiwara, Takahiro Ando, Masaya Shimakawa, Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. An object-oriented language for parameterised reactive system specification based on linear temporal logic, Workshop on Computation: Theory and Practice (WCTP2013), Preproceedings of Workshop on Computation: Theory and Practice (WCTP2013), pp. 94-113, Sept. 2013.
• Takenobu Aoshima, Takahiro Ando, Naoki Yonezaki. Consistency Checking of Behavioural Modeling in UML Statechart Diagrams, INFORMATION MODELLING AND KNOWLEDGE BASES XIV, pp. 152-169, 2003.
• Takenobu Aoshima, Takahiro Ando, Naoki Yonezaki. Consistency Checking of Behavioural Modeling in UML Statechart Diagrams, Proc. of 12th European Japanese Conference on Information modelling and Knowledge bases, pp. 179-196, May 2002.

国内会議発表 (査読有り)

• 宮本佑樹, 安藤崇央, 萩原茂樹, 米崎直樹. タブロー証明器の実装におけるBDDの利用について, 第五回システム検証の科学技術シンポジウム, 第五回システム検証の科学技術シンポジウム予稿集, pp. 127-138, Nov. 2008.
• 安藤崇央, 大滝大輔, 米崎直樹. 時間論理タブロー証明器のMPIによる実装, 第二回システム検証の科学技術シンポジウム予稿集, pp. 227-245, Oct. 2005.

国内会議発表 (査読なし・不明)

• 長利健治, 室岡拓弥, 萩原聖貴, 安藤崇央, 島川昌也, 伊藤宗平, 萩原茂樹, 米崎直樹. 記述性を重視したリアクティブシステム用仕様記述言語T, 第20回ソフトウェア工学の基礎ワークショップFOSE2013, Nov. 2013.
• 安藤崇央, 萩原茂樹, 米崎直樹. タブロー証明器の実装における SAT solver の利用について, 日本ソフトウェア科学会第26回大会講演論文集, Sept. 2009.
• 萩原聖貴, 安藤崇央, 島川昌也, 伊藤宗平, 萩原茂樹, 米崎直樹. 記述性を重視したリアクティブシステム用仕様記述言語T, 日本ソフトウェア科学会第26回大会講演論文集, Sept. 2009.
• 安藤崇央, 宮本佑樹, 萩原茂樹, 米崎直樹. 分散オブジェクト技術を利用した段階的充足可能性判定器の実装, 日本ソフトウェア科学会第25回大会講演論文集, Sept. 2008.
• 安藤崇央, 萩原茂樹, 米崎直樹. 分散オブジェクト技術を利用した分散タブロー証明器の実装, 日本ソフトウェア科学会第24回大会講演論文集, Sept. 2007.
• 大滝大輔, 安藤崇央, 米崎直樹. グリッド計算機を利用した並列仕様検証に関する研究, 日本ソフトウェア科学会第23回大会, 日本ソフトウェア科学会第23回大会講演論文集, Vol. cd-rom, Sept. 2006.
• 安藤崇央, 青島武伸, 米崎直樹. UMLステートチャートの整形性判定とその検証, 日本ソフトウェア科学会第19回大会講演論文集, Sept. 2002.

学位論文

• リアクティブシステム仕様の検証方法とその実装に関する研究,  本文,  博士(工学),  東京工業大学,  2014/04/30,   
• リアクティブシステム仕様の検証方法とその実装に関する研究,  審査の要旨,  博士(工学),  東京工業大学,  2014/04/30,   
• リアクティブシステム仕様の検証方法とその実装に関する研究,  論文要旨,  博士(工学),  東京工業大学,  2014/04/30,   

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]