田中琉吾, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民. Formal Verification for Node-graph Style Game Scripts with Time Constraints Using Model Checking. 情報処理学会研究報告(Web). 2024. 2024. SE-217
水本拓海, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民. Development and Evaluation of Visual Modelling Environment for Model Checking. 情報処理学会研究報告(Web). 2024. 2024. SE-217
Report on the 23rd Foundation of Software Engineering Workshop (FOSE2016). 2017. 34. 4. 40-46
SUGIYAMA Yasuhiro, AMAN Hirohisa, YOKOGAWA Tomoyuki, SAWADA Atsushi, WASHIZAKI Hironori, MONDEN Akito. Introduction to the Special Issue on Foundations of Software Engineering. Computer Software. 2017. 34. 4. 4_39-4_39
Encouragement Talk : The Effect of Network Topology on the Spread of Self-Evolving Botnets. 2016. 116. 146. 69-74
SUGIYAMA Yasuhiro, SAWADA Atsushi, WASHIZAKI Hironori, AMAN Hirohisa, MONDEN Akito, KOBAYASHI Takashi, HANAKAWA Noriko, OBANA Masaki. Introduction to the Special Issue on Foundation of Software Engineering. Computer Software. 2015. 32. 3. 3_3-3_3