|
島川昌也 2014年 研究業績一覧 (7件 / 51件)
論文
国際会議発表 (査読有り)
-
Shohei Mochizuki,
Masaya Shimakawa,
Shigeki Hagihara,
Naoki Yonezaki.
Fast Translation from LTL to Büchi Automata via Non-transition-based Automata,
16th International Conference on Formal Engineering Methods (ICFEM 2014),
Formal Methods and Software Engineering, 16th International Conference on Formal Engineering Methods, ICFEM 2014, Lecture Notes in Computer Science,
Springer,
Vol. 8829,
pp. 364-379,
Nov. 2014.
-
Shigeki Hagihara,
Naoki Egawa,
Masaya Shimakawa,
Naoki Yonezaki.
Minimal strongly unsatisfiable subsets of reactive system specifications,
the 29th ACM/IEEE international conference on Automated software engineering (ASE2014),
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering (ASE2014),
ACM New York,
pp. 629-634,
Sept. 2014.
国内会議発表 (査読なし・不明)
学位論文
-
リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究,
本文,
博士(工学),
東京工業大学,
2014/09/25,
-
リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究,
論文要旨,
博士(工学),
東京工業大学,
2014/09/25,
-
リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究,
審査の要旨,
博士(工学),
東京工業大学,
2014/09/25,
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|