YOKOGAWA Tomoyuki

ヨコガワトモユキ | YOKOGAWA Tomoyuki

Affiliation and department：
Job title： Assistant Professor
Homepage URL (2)： https://t-yokoga.github.io/ , https://t-yokoga.github.io/cv-en/

Research field (1)： Software

Research keywords (7)： Model Checking , Formal Method , Software Engineering , Process Algebra , Automatic Verification , Software , UML

Research theme for competitive and other funds (14)：

2023 - 2026 Improving QA/QC process for video game development based on automatic verification of node graphs
2021 - 2024 Quantitative Analysis and Automated Evaluation of Software Quality Characteristics Susceptible to Developers
2021 - 2024 新たな領域に踏み出すソフトウェア開発組織のための予測・見積もりモデル
2020 - 2022 環境電源によるローカル5G基地局とドローンを用いた農水産業高度化
2018 - 2021 Research on Effective Project Data Utilization for Software Effort Estimation Models

Show all

Papers (85)：

Hirohisa Aman, Sousuke Amasaki, Tomoyuki Yokogawa, Minoru Kawahara. A Quantitative Investigation of Trends in Confusing Variable Pairs Through Commits: Do Confusing Variable Pairs Survive?. Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering. 2024
Yahiro Mori, Hirohisa Aman, Sousuke Amasaki, Tomoyuki Yokogawa, Minoru Kawahara. An Application of Program Slicing and CodeBERT to Distill Variables With Inappropriate Names. SERA. 2024. 356-361
Pattara Leelaprute, Yuki Kase, Sousuke Amasaki, Hirohisa Aman, Tomoyuki Yokogawa. A Multi - Aspect Evaluation of DL-based SQLi Attack Detection Models. SERA. 2024. 352-355
Tomoya Kubo, Tomoyuki Yokogawa, Kazutami Arimoto, Masaki Hokari, Isao Kayano. Enhancing the Generalization Performance of Drowsiness Estimation AI in Drivers Using Time-Series Data from FAUs with Limited Datasets. 2023 15th International Congress on Advanced Applied Informatics Winter (IIAI-AAI-Winter). 2023
Ryugo Tanaka, Tomoyuki Yokogawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto. Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints. 2023 IEEE 12th Global Conference on Consumer Electronics (GCCE). 2023. 892-895

ｍore...

MISC (205)：

田中琉吾, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民. 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
横川智教. 特集「ソフトウェア工学」の編集にあたって. 情報処理学会論文誌. 2023. 64. 4. 830-830
久保智哉, 横川智教, 有本和民, 穂苅真樹, 茅野功. Towards Improving the Generalization Performance of a Face Texture Analysis AI System for Predicting Driver Drowsiness. 電子情報通信学会技術研究報告(Web). 2023. 123. 31(SeMI2023 1-20)
三谷孝太郎, 横川智教, 有本和民. Study on Improving the Accuracy of the Growth Determination System Using AI. 電子情報通信学会技術研究報告(Web). 2023. 123. 31(SeMI2023 1-20)

ｍore...

Patents (3)：

Lectures and oral presentations (3)：

Education (3)：

2001 - 2004 Osaka University Graduate School of Engineering Science
1999 - 2001 Osaka University Graduate School of Engineering Science Department of Informatics and Mathematical Science Division of Computer Science
1996 - 1999 Osaka University School of Engineering Science Direct Affiliates Department of Information and Computer Sciences

Professional career (2)：

Work history (4)：

2016/04 - 現在 Okayama Prefectural University Department of System Engineering, Computer Science and Systems Engineering
2007/04 - 2016/03 Okayama Prefectural University Department of System Engineering, Computer Science and Systems Engineering
2004/05 - 2007/03 Okayama Prefectural University Department of System Engineering, Computer Science and Systems Engineering
2004/04 - 2004/04 Osaka University Graduate School of Information Science and Technology

Committee career (32)：

Show all

Association Membership(s) (3)：

JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY , INFORMATION PROCESSING SOCIETY OF JAPAN , 電子情報通信学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page