主な研究業績 （2012 年度 〜 ）

2024 年度

• 水本拓海, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民, "ビジュアルプログラミングに基づくモデル検査支援環境の開発と評価," 研究報告ソフトウェア工学（SE）, vol. 2024-SE-217, no. 22, pp. 1-8, Jul. 2024．
• 田中琉吾, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民, "時間制約をもつゲームスクリプトを対象としたモデル検査手法の提案," 研究報告ソフトウェア工学（SE）, vol. 2024-SE-217, no. 21, pp. 1-8, Jul. 2024．
• H. Miyata, M. Saitoh, K. Arimoto, A. Hayami, H. Mizuno, Y. Shimazu and T. Yokogawa, "Distributed hierarchical AI architecture for meta-described local dynamic maps in autonomous driving," 9th International Conference on Social and Business Information Technology (SBIT 2024), Jul. 2024.

2023 年度

• 豊田起万，横川智教，天嵜聡介，阿萬裕久, 有本和民, "初学者を対象としたビジュアルプログラミングに基づくモデル検査支援環境の評価," ソフトウェア信頼性研究会 第 17 回ワークショップ (FORCE2023), Dec. 2023.
• T. Kubo, T. Yokogawa, K. Arimoto, M. Hokari and I. Kayano, "Enhancing the Generalization Performance of Drowsiness Estimation AI in Drivers using Time-Series Data from FAU with Limited Datasets," in 14th International Conference on Smart Computing and Artificial Intelligence (SCAI 2023-Winter), Dec. 2023.
• 水本拓海, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民, "ビジュアルプログラミングを用いた nuXmv のモデル生成支援環境の評価," 第30回ソフトウェア工学の基礎ワークショップ (FOSE2023), Nov. 2023.
• 藤野真尚, 小椋清孝, 横川智教, 有本和民, 高尾英邦, "MEMS触覚センサを用いた感性価値推定システムに関する研究," 第40回「センサ・マイクロマシンと応用システム」シンポジウム ポスターセッション, 7P2-PS-23, Nov. 2023.
• R. Tanaka, T. Yokogawa, S. Amasaki, H. Aman and K. Arimoto, "Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints," in 2023 IEEE 12th Global Conference on Consumer Electronics (GCCE 2023), pp. 892-895, Oct. 2023.
• S. Amasaki, T. Yokogawa and H. Aman, "An Evaluation of Word Embeddings on Vulnerability Prediction with Software Metrics," in Special Issue on selected papers of Works in Progress Session within 26th Euromicro Conference on Digital System Design (DSD 2023) and 49th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA 2023), pp. 26-29, Sep. 2023.
• Y. Fushihara, H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, "A Trend Analysis of Test Smells in Python Test Code Over Commit History," in Proc. 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2023), Sep. 2023.
• 横川智教, 水本拓海, 有本和民, "モデル検査教育におけるビジュアルプログラミング技術の有効性に関する調査," ソフトウェアエンジニアリングシンポジウム2023 (SES2023) 併設ワークショップ「形式手法」, Aug. 2023.
• 宮田博司, 有本和民, 横川智教, "IoT による地産地消データ配信システム（事例：ダイナミックマップの収集配信システム）の展望," システム制御情報学会誌「システム／制御／情報」, Vol.67, No.6, pp.288-293, Jul. 2023 (解説論文).
• 井出創一朗, 横川智教, 坂田功介, 山本真裕, 有本和民, "Raspberry Piボードを用いたウェハーアラインメントシステムの実装と評価," 情報処理学会研究報告 組込みシステム(EMB), Vol. 2023-EMB-63, No.3, pp. 1-7, Jul. 2023.
• 三谷孝太郎, 横川智教, 有本和民, "AIを用いた生育情報判定システムの高性能化検討," 信学技報, vol. 123, no. 31, SeMI2023-17, pp. 76-81, May 2023.
• 久保智哉, 横川智教, 穂苅真樹, 有本和民, "ドライバーの眠気予測を目的とした顔表情評定AIシステムの汎化性能向上に向けての検討," 信学技報, vol. 123, no. 31, SeMI2023-20, pp. 94-98, May 2023.
• 藤野真尚, 小椋清孝, 横川智教, 有本和民, "触覚センシング技術を用いた触運動から得られる感性価値の推定手法に関する検討," 信学技報, vol. 123, no. 25, HIP2023-34, pp. 166-171, May 2023.
• 藤野真尚, "MEMS触覚センサを用いた手触り感推定システムのハードウェア実装に向けた研究," LSI とシステムワークショップ 2023 ポスターセッション, May 2023.
• 久保智哉, "ドライバーの眠気予測が可能な顔表情評定組込みAIシステムの開発," LSI とシステムワークショップ 2023 ポスターセッション, May 2023.
• 三谷孝太郎, "AIを用いた生育情報判定システムの高性能化検討," LSI とシステムワークショップ 2023 ポスターセッション, May 2023.

2022 年度

• 和山一樹，横川智教，天嵜聡介，阿萬裕久，有本和民, “UE5 Blueprint のゲームロジックを対象としたモデル検査の高速化に関する検討,” ソフトウェア信頼性研究会 第16回ワークショップ (FORCE2022), Dec. 2022.
• K. Wayama, T. Yokogawa, S. Amasaki, H. Aman and K. Arimoto, “Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking,” in 2022 37th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), Oct. 2022.
• 久保智哉, 横川智教, 穂苅真樹, 有本和民, 茅野功, 梶原景久, "ドライバーの眠気予測を目的とした顔表情評定AIシステムの軽量化," 信学技報, vol. 122, no. 179, EMM2022-41, pp. 19-24, Sep. 2022.
• 和山一樹, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民, “UE5 Blueprint のゲームロジックを対象としたモデル検査手法の一検討,” ソフトウェアエンジニアリングシンポジウム2022 (SES2022) 併設ワークショップ「形式手法」, Sep. 2022.
• 新谷祥吾, 横川智教, 有本和民, “遺伝アルゴリズムとモデル検査を用いたステートマシン図の自動修正についての一検討,” ソフトウェアエンジニアリングシンポジウム2022 (SES2022) 併設ワークショップ「形式手法」, Sep. 2022.
• T. Kita, H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “Have Java Production Methods Co-Evolved With Test Methods Properly?: A Fine-Grained Repository-Based Co-Evolution Analysis,” in Proc. 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2022), Sep. 2022.
• S. Amasaki, H. Aman and T. Yokogawa, “An Evaluation of Effort-Aware Fine-Grained Just-in-Time Defect Prediction Methods,” in Proc. 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2022), Aug. 2022.
• K. Toyota, T. Yokogawa, S. Amasaki, H. Aman and K. Arimoto, “A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users,” in 7th International Conference on Enterprise Architecture and Information Systems (EAIS 2022), pp. 684-685, Jul. 2022.

2021 年度

• S. Amasaki, H. Aman, and T. Yokogawa, “An extended study on applicability and performance of homogeneous cross-project defect prediction approaches under homogeneous cross-company effort estimation situation,” Empir. Softw. Eng., vol. 27, no. 2, p. 46, Mar. 2022.
• I. Hasegawa and T. Yokogawa, “Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking,” IEICE TRANS. INF. SYST., vol. E105-D, no. 1, pp. 78–91, Jan. 2022.
• 豊田起万, 横川智教, 有本和民, “初学者を対象とした nuXmv の検査用モデル作成支援環境,” ウィンターワークショップ2022・オンライン, Jan. 2022.
• 土井稜介, 和山一樹, 横川智教, 有本和民, “UE4 Blueprint で作成されたゲームプログラムのモデルサイズ削減についての検討,” ウィンターワークショップ2022・オンライン, Jan. 2022.
• S. Amasaki, H. Aman and T. Yokogawa, “Searching for Bellwether Developers for Cross-Personalized Defect Prediction,” in Profes 2021: Product-Focused Software Process Improvement, Lecture Notes in Computer Science, vol. 13126, pp. 183–198, Nov. 2021.
• 和山一樹, 横川智教, 井川直, 有本和民, “UE4 Blueprintで作成されたゲームプログラムのモデル検査手法の提案,” 研究報告ソフトウェア工学（SE）, vol. 2021-SE-20, no. 4, pp. 1–8, Nov. 2021.
• H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “An Investigation of Compound Variable Names Toward Automated Detection of Confusing Variable Pairs,” in 2021 36th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), pp. 133–137, Nov. 2021.
• H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “A Large-Scale Investigation of Local Variable Names in Java Programs: Is Longer Name Better for Broader Scope Variable?,” in Proc. 14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021), pp. 489–500, Sep. 2021.
• 和山一樹，横川智教，有本和民, “UE4 Blueprintで作成されたゲームプログラムのモデル検査手法の一検討,” ソフトウェアエンジニアリングシンポジウム2021 (SES2021) 併設ワークショップ「形式手法」, Sep. 2021.
• 永田将大, 近藤真史, 茅野功, 横川智教, 佐藤洋一郎, “相補制御に基づく休止相を隠蔽可能な非同期式直列乗算器の一構成法,” 電子情報通信学会論文誌A, vol. J104-A, no. 7, pp. 173–177, Jul. 2021.
• S. Amasaki, H. Aman and T. Yokogawa, “A Preliminary Evaluation of CPDP Approaches on Just-in-Time Software Defect Prediction,” in Proc. 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2021), pp. 279-286, Sep. 2021.
• T. Minehisa, H. Aman, T. Yokogawa and M. Kawahara, “A Comparative Study of Vectorization Approaches for Detecting Inconsistent Method Names,” in ICIS 2021: Computer and Information Science 2021–Summer, Studies in Computational Intelligence, vol. 985, R. Lee, Ed. Cham: Springer International Publishing, pp. 125–144, Jun. 2021.
• H. Miyata and K. Arimoto, “Localized Data Transfer System by Vehicles and Cellular Base Station in Local Area,” in Proc. 2021 IEEE International Conference on Communications Workshops (ICC Workshops), pp. 1-6, Jun. 2021.

2020 年度

• 増田康佑, 横川智教, 井川直, 有本和民, “UE4 BluePrint で作成されたゲームプログラムのモデル検査コストの削減,” ウィンターワークショップ2021・オンライン, Jan. 2021.
• 和山一樹, 横川智教, 井川直, 有本和民, “UE4 BluePrint で作成されたゲームプログラムのモデル検査手法の拡張,” ウィンターワークショップ2021・オンライン, Jan. 2021.
• 内藤駿人, 横川智教, 井川直, 天嵜聡介, 阿萬裕久, 有本和民, “ビジュアルプログラミングを用いた nuXmv のモデル生成支援環境の開発,” ウィンターワークショップ2021・オンライン, Jan. 2021.
• A. Matsumoto, T. Yokogawa, S. Amasaki, H. Aman and K. Arimoto, “Synthesis and Consistency Verification of UML Sequence Diagrams with Hierarchical Structure,” Inf. Eng. Express, vol. 6, no. 2, p. 529, Dec. 2020.
• M. Asato, H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “A Mahalanobis Distance-Based Integration of Suspicious Scores For Bug Localization,” in Proc. 27th Asia-Pacific Software Engineering Conference (APSEC 2020), pp. 475–479, Dec. 2020.
• S. Amasaki, H. Aman and T. Yokogawa, “An Exploratory Study on Applicability of Cross Project Defect Prediction Approaches to Cross-Company Effort Estimation,” in Proc. 16th ACM International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE 2020), pp. 71–80, Nov. 2020.
• H. Naito, T. Yokogawa, N. Igawa, S. Amasaki, H. Aman and K. Arimoto, “A Node-Style Visual Programming Environment for the nuXmv Model Checker,” in Proc. 2020 IEEE 9th Global Conference on Consumer Electronics (GCCE 2020), pp. 58–62, Oct. 2020.
• 井川直, 横川智教, 藤井健斗, 茅野功, 佐藤洋一郎, 有本和民, “車内における RRI 計測を目的とした非接触心拍モニタリングシステムの検討,” 電気学会論文誌Ｅ（センサ・マイクロマシン部門誌）, vol. 140, no. 10, pp. 256–264, Oct. 2020.
• 内藤駿人, 横川智教, 井川直, 天嵜聡介, 阿萬裕久, and 有本和民, “nuXmv の検査用モデル作成を支援するビジュアルプログラミング環境の開発,” ソフトウェアエンジニアリングシンポジウム2020 (SES2020) 併設ワークショップ「形式手法－産学連携で課題解決を目指す－」, Sep. 2020.
• 井川直, 横川智教, 高橋真美, and 有本和民, “UE4ブループリントで作成されたゲームロジックのモデル検査,” ソフトウェアエンジニアリングシンポジウム2020 (SES2020) 併設ワークショップ「形式手法－産学連携で課題解決を目指す－」 Sep. 2020.
• H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “A Comparative Study of Vectorization-Based Static Test Case Prioritization Methods,” in Proc. 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2020), pp. 80–88, Aug. 2020.
• S. Amasaki, H. Aman and T. Yokogawa, “On the Effects of File-Level Information on Method-Level Bug Localization,” in Proc. 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2020) pp. 314–321, Aug. 2020.
• T. Kobayashi, T. Yokogawa, N. Igawa, Y. Sato, K. Sugino, H. Miyata, S. Fujii and K. Arimoto, “A Edge Master Computing for Pineapple Monitoring System with Drone and Data-management,” in Proc. 8th International Conference on Smart Computing and Artificial Intelligence (SCAI 2020), pp. 408–411, Jul. 2020.
• N. Igawa, T. Yokogawa, M. Takahashi and K. Arimoto, “Model Checking of Visual Scripts Created by UE4 Blueprints,” in Proc. 8th International Conference on Smart Computing and Artificial Intelligence (SCAI 2020), pp. 516–519, Jul. 2020.
• H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “Empirical study of abnormality in local variables and its application to fault‐prone Java method analysis,” J. Softw. Evol. Process, vol. 32, no. 4, p. e2220, Apr. 2020.

2019 年度

• N. Igawa, T. Yokogawa, S. Amasaki, M. Kondo, Y. Sato and K. Arimoto, “Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking,” IEICE Trans. Inf. Syst., vol. E103.D, no. 3, pp. 702–705, Mar. 2020.
• 内藤駿人, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民, “Node-Redを用いたNuSMVのモデル生成支援環境の開発,” ウィンターワークショップ2020・イン・京都, Jan. 2020.
• 井川直, 横川智教, 有本和民, “時間ペトリネットを対象とした有界モデル検査の高速化とその評価,” ソフトウェア信頼性研究会 第15回ワークショップ(FORCE2019), Dec. 2019.
• H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “Empirical Study of Fault Introduction Focusing on the Similarity among Local Variable Names,” in Proc. 7th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2019), pp. 3–11, Dec. 2019.
• I. Hasegawa and T. Yokogawa, “Automatic Verification for Node-Based Visual Script Notation Using Model Checking,” in Formal Methods and Software Engineering. ICFEM 2019. Lecture Notes in Computer Science, vol 11852. Springer, Cham, pp. 52–68, Nov. 2019.
• N. Igawa, T. Yokogawa, K. Fujii, I. Kayano, Y. Sato and K. Arimoto, “An In-Vehicle Contact-less Heartbeat Monitoring System Using UWB Sensor,” IEEJ Trans. Sensors Micromachines, vol. 139, no. 10, pp. 366–367, Oct. 2019.
• S. Amasaki, T. Yokogawa and H. Aman, “Applying Cross Project Defect Prediction Approaches to Cross-Company Effort Estimation,” in Proc. 15th International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE 2019), pp. 76–79, Sep. 2019.
• S. Amasaki, H. Aman and T. Yokogawa, “A Comparative Study of Vectorization Methods on BugLocator,” in Proc. 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2019), pp. 236–243, Aug. 2019.
• 井川直, 横川智教, 有本和民, “SMT ソルバを用いた時間ペトリネットの非有界モデル検査に関する検討,” ソフトウェア・エンジニアリング・シンポジウム2019 (SES2019) 併設ワークショップ「形式手法 －実システムへの導入を成功させるために－」, Aug. 2019.
• 小林倫貴, 横川智教, 井川直, 藤井知, 有本和民, “省電力ドローン搭載物体検出組み込みAIシステムの検討,” 映像情報メディア学会技術報告, vol. 43, no. 25, pp. 53–58, Aug. 2019.
• 永田将大, 近藤真史, 茅野功, 横川智教, 有本和民, 佐藤洋一郎, “デジタル補聴器用DSPを対象とした休止相の隠蔽による非同期式直列乗算器の高速化,” 信学技報, vol. 119, no. 153, CAS2019-22, VLD2019-28, SIP2019-38, MSS2019-22, pp. 99–104, Jul. 2019.
• 内藤駿人, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民, “ビジュアルプログラミングを用いたNuSMVのモデル生成支援環境,” 信学技報, vol. 119, no. 112, SS2019-1, KBSE2019-11, pp. 41–46, Jul. 2019.
• 松本明, 横川智教, 天嵜聡介, 阿萬裕久, 有本和民, “階層的な制御構造をもつシーケンス図間の整合性検証手法の開発,” 信学技報, vol. 119, no. 112, SS2019-2, KBSE2019-12, pp. 47–52, Jul. 2019.
• 上田満, 近藤真史, 茅野功, 横川智教, 佐藤洋一郎, 杉原雄策, 松本和幸, “GPUを用いた血管径可視化手法の高速化,” 信学技報, vol. 119, no. 104, MI2019-23, pp. 21–22, Jul. 2019.
• T. Kobayashi, T. Yokogawa, N. Igawa, Y. Sato, S. Fujii and K. Arimoto, “A Compact Low Power AI Module Mounted on Drone for Plant Monitor System,” in Proc. 7th International Conference on Smart Computing and Artificial Intelligence (SCAI 2019), Jul. 2019.
• A. Matsumoto, T. Yokogawa, S. Amasaki, K. Arimoto and H. Aman, “Consistency Verification of UML Sequence Diagrams Modeling Wireless Sensor Networks,” in Proc. 7th International Conference on Smart Computing and Artificial Intelligence (SCAI 2019), pp. 458–461, Jul. 2019.
• H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “A Survival Analysis-Based Prioritization of Code Checker Warning: A Case Study Using PMD,” in Big Data, Cloud Computing and Data Science Engineering. BCD 2019. Studies in Computational Intelligence, vol. 844, R. Lee, Ed. Springer, Cham, pp. 69–83, Jan, 2020.
• S. Amasaki, T. Yokogawa and H. Aman, “Towards better effort estimation with cross-project defect prediction approaches,” in Proc. Evaluation and Assessment on Software Engineering Conference (EASE 2019), pp. 357–360, Apr. 2019.

2018 年度

• 井川直, 横川智教, 近藤真史, 佐藤洋一郎, 有本和民, “SMTソルバを用いた時間ペトリネットの非有界モデル検査,” 信学技報, vol. 118, no. 384, MSS2018-69, pp. 79–84, Jan. 2019.
• 栗田聖也, 井川直, 横川智教, 有本和民, “NuSMV の反例生成に基づいたステートマシン図の自動修正,” ウィンターワークショップ2019・イン・福島飯坂「形式手法 －実システムへの導入を成功させるために－」, Jan. 2019.
• 内藤駿人, 井川直, 横川智教, 有本和民, “NuSMV のモデル生成を支援するプログラミング環境についての一検討,” ウィンターワークショップ2019・イン・福島飯坂「形式手法 －実システムへの導入を成功させるために－」, Jan. 2019.
• 井川直, 横川智教, 有本和民, “階層的な制御構造をもつシーケンス図のプロセス表現,” ソフトウェア信頼性研究会 第14回ワークショップ (FORCE2018), Dec. 2018.
• H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “A Doc2Vec-Based Assessment of Comments and Its Application to Change-Prone Method Analysis,” in Proc. 25th Asia-Pacific Software Engineering Conference (APSEC 2018), pp. 643–647, Dec. 2018.
• N. Igawa, T. Yokogawa, S. Amasaki, K. Komoku, Y. Sato and K. Arimoto, “Interpolation Based Unbounded Model Checking for Time Petri Nets,” in Proc. 2018 IEEE 7th Global Conference on Consumer Electronics (GCCE 2018), pp. 587–591, Oct. 2018.
• 井川直, 栗田聖也, 横川智教, 有本和民, “モデル検査を用いたステートマシン図の自動修正手法に関する一検討,” ソフトウェアエンジニアリングシンポジウム2018 (SES2018) 併設ワークショップ「形式手法－導入支援と技術教育－」, Sep. 2018.
• 横川智教, T. Sean-in, P. Leelaprute, 有本和民, “階層化されたシーケンス図のプロセス表現について,” ソフトウェアエンジニアリングシンポジウム2018 (SES2018) 併設ワークショップ「形式手法－導入支援と技術教育－」, Sep. 2018.
• K. Tashima, H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “Fault-Prone Java Method Analysis Focusing on Pair of Local Variables with Confusing Names,” in Proc. the 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), pp. 154–158, Aug. 2018.
• N. Igawa, T. Yokogawa, Y. Sato, K. Arimoto and I. Kayano, “An In-Vehicle Contact-less Heartbeat Monitoring System Using UWB Sensor,” in Proc. Work in Progress Session held in connection with the 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), pp. 5–6, Aug. 2018.
• K. Yamauchi, H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “An Entropy-Based Metric of Developer Contribution in Open Source Development and Its Application to Fault-Prone Program Analysis,” Int. J. Networked Distrib. Comput., vol. 6, no. 3, pp. 118–132, Jul. 2018.
• K. Yamauchi, H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “Fault-Prone Source File Analysis Focusing on the Contribution Entropy in Open Source Development,” in Proc. 2018 IEEE/ACIS 3rd International Conference on Big Data, Cloud Computing, Data Science & Engineering (BCD 2018), pp. 7–14, Jul. 2018.

2017 年度

• 遠藤瞬, 鎌田真平, 横川智教, 佐藤洋一郎, 有本和民, “画像認識とアドホック通信を用いた適応型ドローン自動着陸システムの提案,” 電子情報通信学会大会講演論文集(CD-ROM) 2018, p. D‐11‐36, Mar. 2018.
• 井川直, 横川智教, 佐藤洋一郎, 有本和民, 近藤真史, 宮崎仁, “MathSAT を用いた safe Time Petri Net の非有界モデル検査手法,” ウィンターワークショップ2018・イン・宮島「形式手法－導入支援と技術教育－」, Jan. 2018.
• 坂村賢士, 有本和民, 茅野功, 横川智教, “スタック回路を用いたノーマリオフコンピューティングの検討,” 信学技報, VLD2017-70, vol. 117, no. 377, pp. 49–51, Jan. 2018.
• 井川直, 横川智教, 有本和民, “MathSAT を用いた safe Time Petri Net の非有界モデル検査手法の一検討,” ソフトウェア信頼性研究会 第13回ワークショップ (FORCE2017), Dec. 2017.
• S. Phuklang, T. Yokogawa, P. Leelaprute and K. Arimoto, “Tool Support for Consistency Verification of UML Diagrams,” in Poster Session on The 18th International Conference on Product-Focused Software Process Improvement (Profes 2017), pp. 606–609, Nov. 2017.
• S. Yamashita, M. Tsunoda and T. Yokogawa, “Visual Programming Language for model-checkers Based on Google Blockly,” in Poster Session on The 18th International Conference on Product-Focused Software Process Improvement (Profes 2017), pp. 597–601, Nov. 2017.
• H. Aman, S. Amasaki, T. Yokogawa and Minoru Kawahara, “A Survival Analysis of Source Files Modified by New Developers,” in Profes 2017: Product-Focused Software Process Improvement, Lecture Notes in Computer Science, vol. 10611, pp. 80–88, Nov. 2017.
• K. Arimoto, D. Yamashita, N. Igawa, T. Yokogawa, Y. Sato, I. Kayano and A. Shiratori, “A Smart low power R-R-I heartbeat monitor system with contactless UWB sensor,” in 14th International SoC Design Conference (ISOCC 2017), ET2-4, Nov. 2017.
• 坂村賢士, 有本和民, 茅野功, 横川智教, “バッテリ駆動ノーマリオフコンピューティングシステムにおける高効率エネルギ供給の検討,” 平成29年度(第68回)電気・情報関連学会中国支部連合大会, pp. R17-16–03, Oct. 2017.
• 山下大地, 有本和民, 横川智教, 茅野功, “UWBセンサを用いた心拍動の検出手法に関する一考察,” 第34回「センサ・マイクロマシンと応用システム」シンポジウム ポスターセッション, Oct. 2017.
• H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “Empirical Study of Abnormalities in Local Variables of Change-Prone Java Methods,” in Proc. 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, pp. 214–221, Oct. 2017.
• 井川直, 横川智教, 有本和民, “SMT ソルバを用いた時間ペトリネットのデッドロック検出,” ソフトウェアエンジニアリングシンポジウム2017 併設ワークショップ「形式手法 - 効果的な活用に向けて -」, Aug. 2017.
• 横川智教 有本和民, “モデル検査を用いた UML モデルの整合性検証に関する技術動向,” ソフトウェアエンジニアリングシンポジウム2017 併設ワークショップ「形式手法 - 効果的な活用に向けて -」, Aug. 2017.
• H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “Empirical Analysis of Words in Comments Written for Java Methods,” in Proc. 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2017), pp. 375–379, Aug. 2017.
• S. Suzuki, H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “An Application of the PageRank Algorithm to Commit Evaluation on Git Repository,” in Proc. 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2017), pp. 380–383, Aug. 2017.
• Y. Miyake, S. Amasaki, T. Yokogawa and Hirohisa Aman, “An Empirical Study on Relationships between Comments and Design Properties,” in Proc. 2nd International Conference on Big Data, Cloud Computing, Data Science & Engineering (BCD 2017), pp. 260–265, Jul. 2017.

2016 年度

• Y. Miyake, S. Amasaki, H. Aman and T. Yokogawa, “A replicated study on relationship between code quality and method comments,” Applied Computing and Information Technology. Studies in Computational Intelligence, vol 695. Springer, Cham., pp. 17–30, Mar. 2017.
• 高振杰, 犬塚大樹, 横川智教, 有本和民, 茅野功, “心拍信号 R-I-I によるドライバーの体調検出の検討,” 電子情報通信学会2017年総合大会学生ポスターセッション, p. 89, Mar. 2017.
• 山下大地, 有本和民, 横川智教, 茅野功, “UWBセンサを用いた非接触心拍同測定に関する研究,” 電子情報通信学会2017年総合大会学生ポスターセッション, p. 90, Mar. 2017.
• 遠藤瞬, 横川智教, 佐藤洋一郎, “カメラ搭載ドローン応用における画像データ配信の品質向上,” 電子情報通信学会2017年総合大会学生ポスターセッション, p. 22, Mar. 2017.
• 岡本大地, 近藤真史, 瀬島吉裕, 茅野功, 横川智教, 有本和民, 佐藤洋一郎, “デジタル補聴器用 DSP を対象とした直列積和演算器の一構成法,” 電子情報通信学会論文誌D, vol. J100-D, no. 3, pp. 321–330, Mar. 2017.
• 江見拓哉, 横川智教, 小椋清孝, 佐藤洋一郎, 山内仁, 高尾英邦, 有本和民 “触覚 MEMS センサを用いた画像処理による物質表面形状検査モデル作成の検討,” 電子情報通信学会2017年総合大会学生ポスターセッション, p. 48, Mar. 2017.
• H. Aman, A. E. Burhandenny, S. Amasaki, T. Yokogawa and M. Kawahara, “A Health Index of Open Source Projects Focusing on Pareto Distribution of Developer’s Contribution,” in IEEE 8th International Workshop on Empirical Software Engineering in Practice (IWESEP 2017), pp. 29–34, Mar. 2017.
• 井川直, 横川智教, 宮崎仁, 近藤真史, 佐藤洋一郎, 有本和民, “有界モデル検査の高速化を指向した差分論理に基づく時間ペトリネットの論理式表現,” 信学技報 MSS2016-67, vol. 116, no. 425, pp. 59–64, Jan. 2017.
• 井川直, 横川智教, 佐藤洋一郎, 有本和民, “時間ペトリネットを対象とした非有界モデル検査の高速化に関する検討,” ウィンターワークショップ2017・イン・飛騨高山, Jan. 2017.
• H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “`Local Variables with Compound Names and Comments as Signs of Fault-Prone Java Methods,” in Proc. 4th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2016) and 1st International Workshop on Technical Debt Analytics (TDA 2016), pp. 4-11, Dec. 2016.
• 栗田聖也, 横川智教, 大向一広, 崔銀惠, 北村崇師, 佐藤洋一郎, 有本和民, “モデル検査を用いた Sequence Covering Array の効率的な生成手法,” ソフトウェア信頼性研究会第12回ワークショップ (FORCE2016), Dec. 2016.
• 井川直, 横川智教, 佐藤洋一郎, 有本和民, “有界モデル検査の高速化を指向した時間ペトリネットの論理式表現,” 第23回ソフトウェア工学の基礎ワークショップ (FOSE2016) ポスター・デモセッション, Dec. 2016.
• 笠原大和, 横川智教, 佐藤洋一郎, 有本和民, “モデル検査を用いたWebアプリケーションのテストケース数削減手法,” 第23回ソフトウェア工学の基礎ワークショップ (FOSE2016) ポスター・デモセッション, Dec. 2016.
• D. Okamoto, M. Kondo, T. Yokogawa, Y. Sejima, K. Arimoto and Y. Sato, “A Serial Booth Multiplier Using Ring Oscillator,” in Proc. 4th Int’l Workshop on Comp. Syst. and Arch. held in connection with CANDAR 2016, pp. 458–461, Nov. 2016.
• K. Komoku, K. Arimoto, T. Yokogawa, H. Yamauchi, Y. Sato and H. Takao, “3D² processing architecture — High reliability and low power computing for novel nano tactile sensor array,” in 2016 International SoC Design Conference (ISOCC 2016), pp. 199–200, Oct. 2016.
• 笠原大和, 横川智教, 佐藤洋一郎, 有本和民, “モデル検査を用いたWebアプリケーションのテストケース生成,” 信学技報 DC2016-26, vol. 116, no. 278, pp. 37–42, Oct. 2016.
• 山下大地, 有本和民, 佐藤洋一郎, 横川智教, 茅野功, “UWBセンサを用いた 心拍動の検出手法に関する一考察,” 平成28年度 (第67回) 電気・情報関連学会中国支部連合大会, Oct. 2016.
• 遠藤瞬, 石本拓也, 横川智教, 佐藤洋一郎, 有本和民, “GDDR5を用いたパケットメモリにおけるアクセス高速化の一提案,” 平成28年度 (第67回) 電気・情報関連学会中国支部連合大会, Oct. 2016.
• 江見拓哉, 横川智教, 佐藤洋一郎, 有本和民, 小椋清孝, 山内仁, 高尾英邦, “触覚MEMSセンサを用いた画像処理による物質表面形状検査モデル作成の検討,” 平成28年度 (第67回) 電気・情報関連学会中国支部連合大会, Oct. 2016.
• 坂村賢士, 有本和民, 茅野功, 横川智教, “スーパーキャパシタを用いたノーマリオフコンピューティングの検討,” 平成28年度 (第67回) 電気・情報関連学会中国支部連合大会, Oct. 2016.
• 高振杰, 犬塚大樹, 横川智教, 有本和民, 茅野功, “ドライバーモニタ用心拍信号R-R-I抽出に関する一考察,” 平成28年度 (第67回) 電気・情報関連学会中国支部連合大会, Oct. 2016.
• 井川直, 横川智教, 佐藤洋一郎, 有本和民, “時間ペトリネットに対する有界モデル検査の高速化を指向した論理式表現法,” ソフトウェアエンジニアリングシンポジウム2016 (SES2016) ポスターセッション, Aug. 2016.
• 笠原大和, 横川智教, 佐藤洋一郎, 有本和民, “モデル検査によるWebアプリケーションの効率的なテスト生成手法,” ソフトウェアエンジニアリングシンポジウム2016 (SES2016) ポスターセッション, Aug. 2016.
• 井川直, 横川智教, 佐藤洋一郎, 有本和民, “差分論理表現に基づく時間ペトリネットの有界モデル検査の高速化,” ソフトウェアエンジニアリングシンポジウム2016 (SES2016) 併設ワークショップ “形式手法 - 導入推進のためのアプローチ -,” Aug. 2016.
• 笠原大和, 横川智教, 佐藤洋一郎, 有本和民, “モデル検査を用いた Web アプリケーションのテストケース生成,” ソフトウェアエンジニアリングシンポジウム2016 (SES2016) 併設ワークショップ “形式手法 - 導入推進のためのアプローチ -,” Aug. 2016.
• 佐保宏晃, 有本和民, 横川智教, 佐藤洋一郎, “ハードウェアの再利用性を考慮した画像認識コアの設計,” LSIとシステムのワークショップ2016 ポスターセッション, May. 2016.
• 森光勇太, 横川智教, 近藤真史, 宮崎仁, 佐藤洋一郎, 有本和民, 吉田則裕, “Verilogコードの自動検証環境の開発,” LSIとシステムのワークショップ2016 ポスターセッション, May. 2016.
• 犬塚大樹, 有本和民, 横川智教, 佐藤洋一郎, 茅野功, 尾上雅尚, “ノーマリオフ機能を搭載した低消費電力ペースメーカ設計,” LSIとシステムのワークショップ2016 ポスターセッション, May. 2016.
• 中野涼太, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民, “複数のFPGAに対する分散型非同期式アービタの実装と評価,” LSIとシステムのワークショップ2016 ポスターセッション, May. 2016.
• 横川智教, 佐藤洋一郎 有本和民, “検証およびテスト生成の自動化を指向したステートマシン図による Web ナビゲーションのモデル化,” 電気学会論文誌 C, vol. 136, no. 3, pp. 423–433, Mar. 2016.
• 中野涼太, 荒木英友, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民, “複数のFPGAに対する分散型非同期式アービタの実装と評価,” 電子情報通信学会2016年総合大会学生ポスターセッション, p. 151, Mar. 2016.
• 佐保宏晃, 有本和民, 佐藤洋一郎, 横川智教, “ハードウェアの再利用性を考慮した画像認識コアの設計,” 電子情報通信学会2016年総合大会学生ポスターセッション, p. 105, Mar. 2016.
• 石本拓也, 有本和民, 佐藤洋一郎, 横川智教, 大輝晶子, 川村智明, “ネットワークルータにおけるパケットメモリアクセス制御の高速化,” 電子情報通信学会2016年総合大会学生ポスターセッション, p. 94, Mar. 2016.
• 犬塚大樹, 有本和民, 佐藤洋一郎, 横川智教, 茅野功, 尾上雅尚, “ノーマリオフ機能を搭載した低消費電力ペースメーカ設計,” 電子情報通信学会2016年総合大会学生ポスターセッション, p. 77, Mar. 2016.
• 森光勇太, 横川智教, 近藤真史, 宮崎仁, 佐藤洋一郎, 有本和民, 吉田則裕, “Verilog-HDLによる大規模ハードウェア設計の検証支援ツールの開発,” 信学技報, VLD2015-111, vol. 115, no. 465, pp. 1–6, Feb. 2016.
• 井川直, 横川智教, 佐藤洋一郎, 有本和民, 宮崎仁, “補間に基づく時間ペトリネットの非有界モデル検査,” ウィンターワークショップ2016・イン・逗子, Jan. 2016.
• 岡本大地, 近藤真史, 瀬島吉裕, 横川智教, 有本和民, 佐藤洋一郎, “ビットシリアル型積和演算器における冗長演算の省略制御とその応用,” 信学技報 CAS2016-7, vol. 116, no. 93, pp. 35–40, Jun. 2016.

2015 年度

• 横川智教, 天嵜聡介, 佐藤洋一郎, 有本和民, 宮崎仁, “UMLによる組込みソフトウェア設計を対象とした検証支援環境の開発,” 第22回 ソフトウェア工学の基礎ワークショップ (FOSE 2015) ポスターセッション, Nov. 2015.
• 岡本大地, 近藤真史, 瀬島吉裕, 佐藤洋一郎, 横川智教, 有本和民, “負数演算機能を備えたビットシリアル積和演算器,” 信学技報, vol. 115, no. 315, CAS2015-58, pp. 115–120, Nov. 2015.
• 笠原大和, 横川智教, 佐藤洋一郎, and 有本和民, “UML設計のモデル検査における検証コスト削減の試み,” ソフトウェア信頼性研究会第11回ワークショップ (FORCE2015), Nov. 2015.
• K. Arimoto, T. Yokogawa and Y. Sato, “A Battery Operated Normally-off Computing Technique for Energy Efficient Sensor Node Applications,” in Proc. of the 2015 Int’l SoC Design Conf. (ISOCC 2015), Nov. 2015.
• M. Kondo, T. Yokogawa, Y. Sato and K. Arimoto, “High-Speed Performance Evaluation of a Large-Scale Shared-Bus Digital System,” Electron. Commun. Japan, vol. 98, no. 10, pp. 57–66, Oct. 2015.
• 近藤真史, 横川智教, 佐藤洋一郎, 有本和民, “GALS システムの設計最適化を目的とした性能評価ツール,” コンピュータソフトウェア, vol. 32, no. 4, pp. 115–130, Oct. 2015.
• 井川直, 横川智教, 佐藤洋一郎, 有本和民, “補間に基づく時間ペトリネットの非有界モデル検査,” 平成27年度 (第66回) 電気・情報関連学会中国支部連合大会, Oct. 2015.
• 中野涼太, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民, “分散型アービタに基づいたリングセグメントバスシステムの性能評価,” 平成27年度 (第66回) 電気・情報関連学会中国支部連合大会, Oct. 2015.
• 笠原大和, 横川智教, 佐藤洋一郎, 有本和民, “検証コスト削減を目的とした状態マシン図の抽象化,” 平成27年度 (第66回) 電気・情報関連学会中国支部連合大会, Oct. 2015.
• 犬塚大樹, 茅野功, 横川智教, 佐藤洋一郎, 有本和民, “低消費電力ペースメーカ評価回路の設計,” 平成27年度 (第66回) 電気・情報関連学会中国支部連合大会, Oct. 2015.
• 佐保宏晃, 横川智教, 佐藤洋一郎, 有本和民, “画像認識のハードウェア処理による高速化の一考察,” 平成27年度 (第66回) 電気・情報関連学会中国支部連合大会, Oct. 2015.
• 石本拓也, 横川智教, 佐藤洋一郎, 有本和民, 大輝晶子, 川村智明, “ネットワークルータにおけるパケットメモリアクセス制御の高速化,” 平成27年度 (第66回) 電気・情報関連学会中国支部連合大会, Oct. 2015.
• 森光勇太, 横川智教, 近藤真史, 宮崎仁, 佐藤洋一郎, 有本和民, “大規模ハードウェアIPへのモデル検査の適用事例,” 平成27年度 (第66回) 電気・情報関連学会中国支部連合大会, Oct. 2015.
• 近藤真史, 岡本大地, 横川智教, 有本和民, 佐藤洋一郎, “デジタル補聴器用DSPを対象とした非同期式直列加算器,” 第14回情報科学技術フォーラム (FIT2015) 査読付論文, Sep. 2015.
• 横川智教, 森光勇太, 佐藤洋一郎, 有本和民, “大規模ハードウェアIP検証における検証コスト削減の試み,” ソフトウェアエンジニアリングシンポジウム2015 (SES2015) 併設ワークショップ “形式手法 – 普及拡大における課題解決を目指して –,” Sep. 2015.
• 井川直, 横川智教, 佐藤洋一郎, 有本和民, “時間ペトリネットを対象とした非有界モデル検査の適用,” ソフトウェアエンジニアリングシンポジウム2015 (SES2015) 併設ワークショップ “形式手法 – 普及拡大における課題解決を目指して –,” Sep. 2015.
• T. Yokogawa, S. Amasaki, N. Igawa, Y. Sato, K. Arimoto and H. Miyazaki, “Consistency Verification of State Machine Diagrams and Sequence Diagrams Using FDR,” in Proc. Work in Progress Session in connection with SEAA 2015 and DSD 2015, pp. 5-6, Aug. 2015.
• S. Amasaki, K. Kawata and T. Yokogawa, “Improving Cross-Project Defect Prediction Methods with Data Simplification,” in Proc. of the 41th Euromicro Conference series on Software Engineering and Advanced Applications (SEAA 2015), Aug. 2015.
• K. Kawata, S. Amasaki and T. Yokogawa, “Improving Relevancy Filter Methods for Cross-Project Defect Prediction,” in Proc. of the 3rd Int’l Conf. on Applied Computing & Inf. Tech. (ACIT 2015), Jul. 2015.
• 森光勇太, 横川智教, 近藤真史, 宮崎仁, 佐藤洋一郎, 有本和民, “大規模ハードウェアIPへの記号モデル検査の適用事例,” 信学技報, VLD2015-13, vol. 115, no. 87, pp. 31–36, Jun. 2015.
• 横川智教, 天嵜聡介, 佐藤洋一郎, 有本和民, 宮崎仁, “UMLによる組込みソフトウェア設計の検証支援環境の開発,” SEC J., vol. 11, no. 1, pp. 10–17, Mar. 2015.
• T. Yokogawa, M. Kondo, H. Miyazaki, S. Amasaki, Y. Sato and K. Arimoto, “Bounded model checking of Time Petri Nets using SAT solver,” IEICE Electron. Express, vol. 12, no. 2, p. 20141112, Jan. 2015.
• 横川智教, 佐藤洋一郎, 有本和民, “検証およびテスト生成の自動化を指向したWebナビゲーションのモデル化,” ウィンターワークショップ・イン・宜野湾 “形式手法 －産学連携で普及拡大を目指す－,” Jan. 2015.

2014 年度

• 藤井里沙, 天嵜聡介, 阿萬裕久, 横川智教, “Feature Envyとコメント文の関連性に関する考察,” ソフトウェア工学の基礎 XXI, 日本ソフトウェア科学会 FOSE2014, pp. 69–74, Dec. 2014.
• 横川智教, 佐藤洋一郎, 有本和民, “UPPAALを用いた時間ペトリネットのモデル検査の高速化に関する検討,” ソフトウェア信頼性研究会第10回ワークショップ (FORCE2014), Dec. 2014.
• 赤利昌紀, 小田桐由樹, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民, “分散制御型リングセグメントバスシステムの構成法,” 平成26年度 (第65回) 電気・情報関連学会中国支部連合大会, pp. 378–379, Oct. 2014.
• 尾上雅尚, 茅野功, 横川智教, 佐藤洋一郎, 有本和民, “徐脈性不整脈の確率的出現に対応した模擬心電位発生装置,” 平成26年度 (第65回) 電気・情報関連学会中国支部連合大会, pp. 309–310, Oct. 2014.
• 神崎裕大, 上野将太, 有本和民, 横川智教, 佐藤洋一郎, “電池駆動ノーマリオフコンピューティングにおける電源制御方式の基礎検討,” 平成26年度 (第65回) 電気・情報関連学会中国支部連合大会, pp. 380–381, Oct. 2014.
• 横川智教, “組込みソフトウェア設計検証へのモデル検査技術の導入に関する技術動向,” ソフトウェアエンジニアリングシンポジウム2014 (SES2014) チュートリアル講演, Sep. 2014.
• 横川智教, 佐藤洋一郎, 有本和民, “サイズ削減を目的とした時間ペトリネットから時間オートマトンへの変換法,” ソフトウェアエンジニアリングシンポジウム2014 (SES2014) 併設ワークショップ “形式手法 - 産学連携における問題とその解決 -,” Sep. 2014.
• T. Yokogawa, S. Amasaki, Y. Sato, K. Arimoto, M. Kondo and H. Miyazaki, “A Translation Method from Time Petri Nets into Compact Timed Automata,” in Proc. Work in Progress Session in connection with SEAA 2014 and DSD 2014, Aug. 2014.
• 横川智教, “抽象化に基づいたUML設計の検証支援ツールの開発,” 第2回産学連携のためのソフトウェア・シンポジウム(招待講演), May. 2014.

2013 年度

• 横川智教, 東山大地, 近藤真史, 佐藤洋一郎, 有本和民, “VerilogHDLによるハードウェア設計への記号モデル検査の適用事例,” 信学技報, vol. 113, no. 454, pp. 177–182, Mar. 2014.
• 近藤真史, 横川智教, 佐藤洋一郎, 有本和民, “共有バス型大規模デジタルシステムを対象とした性能評価の高速化,” 電気学会論文誌C, vol. 134, no. 2, pp. 312–319, Feb. 2014.
• 横川智教, 片山巧, 宮崎仁, 佐藤洋一郎, 有本和民, “CSPを用いた状態マシン図とシーケンス図の整合性検証,” ウィンターワークショップ 2014・イン・大洗 “形式手法 - 産学連携で普及拡大を目指す -,” Jan. 2014.
• 茅野功, 石川裕大, 松本大作, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民, “心臓ペースメーカにおける制御機構の低消費電力化,” 生体医工学会誌, vol. 51, no. 6, pp. 366–373, Dec. 2013.
• 横川智教, 天嵜聡介, 佐藤洋一郎, 有本和民, 宮崎仁, “抽象化に基づくUML設計支援ツールの開発,” ソフトウェア信頼性研究会第9回ワークショップ (FORCE2013), Dec. 2013.
• M. Ogino, T. Yokogawa, M. Kondo, Y. Sato, and K. Arimoto, “Implementation of Tree Arbiter for FPGA and Metastability Analysis,” in the 3rd International Workshop on Networking, Computing, Systems, and Software (NCSS 2013), Dec. 2013.
• T. Yokogawa, S. Amasaki, H. Miyazaki, K. Okazaki, Y. Sato and K. Arimoto, “Consistency verification of UML diagrams based on process bisimulation,” in Proc. 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC 2013), pp. 126-127, Dec. 2013.
• S. Amasaki and T. Yokogawa, “The Effects of Variable Selection Methods on Linear Regression-Based Effort Estimation Model,” in Proc. The 23rd Int’l Workshop on Softw. Measurement and the 8th Int'l Conf. on Softw. Process and Product Measurement (IWSM/MENSURA 2013), pp. 98-103, Oct. 2013.
• 横川智教, 宮崎仁, 佐藤洋一郎, 有本和民, “状態マシン図とシーケンス図の論理式表現に関する検討,” ソフトウェアエンジニアリングシンポジウム2013 (SES2013) 併設ワークショップ “形式手法 – 産学連携で普及拡大を目指す –,” Sep. 2013.
• 片山巧, 横川智教, 宮崎仁, 佐藤洋一郎, 有本和民, “CSPを用いたUML図の整合性検証に関する検討,” ソフトウェアエンジニアリングシンポジウム2013 (SES2013) 併設ワークショップ “形式手法 – 産学連携で普及拡大を目指す –,” Sep. 2013.
• 落水恭介, 横川智教, 宮崎仁, 佐藤洋一郎, 有本和民, “状態マシン図を用いたスマートフォンアプリのモデル化手法に関する検討,” ソフトウェアエンジニアリングシンポジウム2013 (SES2013) 併設ワークショップ “形式手法 – 産学連携で普及拡大を目指す –,” Sep. 2013.
• 落水恭介, 横川智教, 宮崎仁, 佐藤洋一郎, 有本和民, “状態マシン図を用いたスマートフォンアプリのモデル化,” 信学技報, vol. 113, no. 159, pp. 49–54, Jul. 2013.
• 近藤真史, 大山国晃, 横川智教, 佐藤洋一郎, “Globally Asynchronous Locally Synchronous Systemにおける非同期バスの一構成法,” 電子情報通信学会論文誌D, vol. J96-D, no. 4, pp. 913–925, Apr. 2013.

2012 年度

• 横川智教, 宮崎仁, 佐藤洋一郎, 有本和民, “プロセスの模倣性判定に基づくUML設計間の整合性検証,” ウィンターワークショップ2013・イン・那須 “形式手法 - 産官学の連携の強化を目指して -,” Jan. 2013.
• Y. Miwa, T. Yokogawa, S. Amasaki, R. Kawamura, Y. Sato and H. Miyazaki, “A Method for Translating Timed Petri Nets into Compact Timed Automata,” in The 18th IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC 2012), Nov. 2012.
• 河村亮太, 横川智教, 三輪陽介, 宮崎仁, 佐藤洋一郎, 有本和民, “SMTソルバを用いた時間ペトリネットの形式的検証,” ソフトウェア信頼性研究会第8回ワークショップ (FORCE2012), Nov. 2012.
• H. Miyazaki, T. Yokogawa, S. Amasaki, K. Asada, and Y. Sato, “Synthesis and Refinement Check of Sequence Diagrams,” IEICE TRANS. INF. SYST., vol. E95-D, no. 9, pp. 2193–2201, Sep. 2012.
• S. Amasaki and T. Yokogawa, “A Study on Predictive Performance of Regression-based Effort Estimation Models Using Base Functional Components,” in Proc. The 13th Int’l Conf. on Product-Focused Softw. Process Improvement (Profes 2012), pp. 350-354, Jun. 2012.