"Masaya Shimakawa,Kenji Osari,Shigeki Hagihara,Naoki Yonezaki","Modularization of formal specifications for efficient synthesis of reactive systems","6th International Conference on Software and Computer Applications (ICSCA 2017)","Preproceedings of 6th International Conference on Software and Computer Applications (ICSCA 2017)",,,,,2017,Feb. "Kenji Osari,Shigeki Hagihara,Naoki Yonezaki","Discussion on modularization of specifications for efficient synthesis of reactive systems","7th Symposium on Mathematical Aspects of Computer Science, SMACS2014","7th Symposium on Mathematical Aspects of Computer Science, SMACS2014, Preproceedings",,,,"pp. 27-32",2014,Nov. "長利健治,萩原茂樹,米崎直樹","実現可能性判定を高速化するための仕様の特徴量に基づいた仕様分割手法","2014年電子情報通信学会総合大会","電子情報通信学会2014年総合大会講演論文集",," 情報・システム講演論文集1"," D-3-2","pp. 17",2014,Mar. "長利健治,室岡拓弥,萩原聖貴,安藤崇央,島川昌也,伊藤宗平,萩原茂樹,米崎直樹","記述性を重視したリアクティブシステム用仕様記述言語T","第20回ソフトウェア工学の基礎ワークショップFOSE2013",,,,,,2013,Nov. "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",2013,Sept.