Automatic Verification of Fault Tolerance Using Model Checking. - Tomoyuki Yokogawa; Tatsuhiro Tsuchiya; Tsuchiya Kikuno (PRDC, 2001)

Verifying Fault Tolerance of Concurrent Systems by Model Checking. - Tomoyuki Yokogawa; Tatsuhiro Tsuchiya; Tohru Kikuno (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Performance Evaluation of Windowing Approach on Effort Estimation by Analogy. - Sousuke Amasaki; Yohei Takahara; Tomoyuki Yokogawa (IWSM/Mensura, 2011)

A Study on Predictive Performance of Regression-Based Effort Estimation Models Using Base Functional Components. - Sousuke Amasaki; Tomoyuki Yokogawa (PROFES, 2012)

Synthesis and Refinement Check of Sequence Diagrams. - Hisashi Miyazaki; Tomoyuki Yokogawa; Sousuke Amasaki; Kazuma Asada; Yoichiro Sato (IEICE Trans. Inf. Syst., 2012)

The Effects of Variable Selection Methods on Linear Regression-Based Effort Estimation Models. - Sousuke Amasaki; Tomoyuki Yokogawa (IWSM/Mensura, 2013)

Consistency Verification of UML Diagrams Based on Process Bisimulation. - Tomoyuki Yokogawa; Sousuke Amasaki; Keisuke Okazaki; Yoichiro Sato; Kazutami Arimoto; Hisashi Miyazaki (PRDC, 2013)

Improving Relevancy Filter Methods for Cross-Project Defect Prediction. - Kazuya Kawata; Sousuke Amasaki; Tomoyuki Yokogawa (ACIT-CSI, 2015)

Improving Cross-Project Defect Prediction Methods with Data Simplification. - Sousuke Amasaki; Kazuya Kawata; Tomoyuki Yokogawa (EUROMICRO-SEAA, 2015)

Bounded model checking of Time Petri Nets using SAT solver. - Tomoyuki Yokogawa; Masafumi Kondo; Hisashi Miyazaki; Sousuke Amasaki; Yoichiro Sato; Kazutami Arimoto (IEICE Electron. Express, 2015)

Local Variables with Compound Names and Comments as Signs of Fault-Prone Java Methods. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (QuASoQ/TDA@APSEC, 2016)

A Serial Booth Multiplier Using Ring Oscillator. - Daichi Okamoto; Masafumi Kondo; Tomoyuki Yokogawa; Yoshihiro Sejima; Kazutami Arimoto; Yoichiro Sato (CANDAR, 2016)

3D2 processing architecture - High reliability and low power computing for novel nano tactile sensor array. - Kiyotaka Komoku; Kazutami Arimoto; Tomoyuki Yokogawa; Hitoshi Yamauchi; Yoichiro Sato; Hidekuni Takao (ISOCC, 2016)

An Empirical Study on Relationships between Comments and Design Properties. - Yuto Miyake; Sousuke Amasaki; Tomoyuki Yokogawa; Hirohisa Aman (ACIT/CSII/BCD, 2017)

Empirical Analysis of Words in Comments Written for Java Methods. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (SEAA, 2017)

An Application of the PageRank Algorithm to Commit Evaluation on Git Repository. - Sho Suzuki; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (SEAA, 2017)

A smart low power R-R-I heartbeat monitor system with contactless UWB sensor. - Kazutami Arimoto; Daichi Yamashita; Nao Igawa; Tomoyuki Yokogawa; Yoichiro Sato; Isao Kayano; Akio Shiratori (ISOCC, 2017)

Empirical Study of Abnormalities in Local Variables of Change-Prone Java Methods. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (ISSRE Workshops, 2017)

A Health Index of Open Source Projects Focusing on Pareto Distribution of Developer's Contribution. - Hirohisa Aman; Aji Ery Burhandenny; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (IWESEP, 2017)

A Survival Analysis of Source Files Modified by New Developers. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (PROFES, 2017)

Tool Support for Consistency Verification of UML Diagrams. - Salilthip Phuklang; Tomoyuki Yokogawa; Pattara Leelaprute; Kazutami Arimoto (PROFES, 2017)

Visual Programming Language for Model Checkers Based on Google Blockly. - Seiji Yamashita; Masateru Tsunoda; Tomoyuki Yokogawa (PROFES, 2017)

A Doc2Vec-Based Assessment of Comments and Its Application to Change-Prone Method Analysis. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (APSEC, 2018)

Fault-Prone Source File Analysis Focusing on the Contribution Entropy in Open Source Development. - Kazuki Yamauchi; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (BCD, 2018)

Fault-Prone Java Method Analysis Focusing on Pair of Local Variables with Confusing Names. - Keiichiro Tashima; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (SEAA, 2018)

Interpolation Based Unbounded Model Checking for Time Petri Nets. - Nao Igawa; Tomoyuki Yokogawa; Sousuke Amasaki; Kiyotaka Komoku; Yoichiro Sato; Kazutami Arimoto (GCCE, 2018)

An Entropy-Based Metric of Developer Contribution in Open Source Development and Its Application toF ault-ProneP rogram Analysis. - Kazuki Yamauchi; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (Int. J. Networked Distributed Comput., 2018)

Empirical Study of Fault Introduction Focusing on the Similarity among Local Variable Names. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (QuASoQ@APSEC, 2019)

A Survival Analysis-Based Prioritization of Code Checker Warning: A Case Study Using PMD. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (BCD (selected papers), 2019)

Towards Better Effort Estimation with Cross-Project Defect Prediction Approaches. - Sousuke Amasaki; Tomoyuki Yokogawa; Hirohisa Aman (EASE, 2019)

A Comparative Study of Vectorization Methods on BugLocator. - Sousuke Amasaki; Hirohisa Aman; Tomoyuki Yokogawa (SEAA, 2019)

Automatic Verification for Node-Based Visual Script Notation Using Model Checking. - Isamu Hasegawa; Tomoyuki Yokogawa (ICFEM, 2019)

A Compact Low Power AI Module Mounted on Drone for Plant Monitor System. - Tomoki Kobayashi; Tomoyuki Yokogawa; Nao Igawa; Yoichiro Sato; Satoshi Fujii; Kazutami Arimoto (IIAI-AAI, 2019)

Consistency Verification of UML Sequence Diagrams Modeling Wireless Sensor Networks. - Akira Matsumoto; Tomoyuki Yokogawa; Sousuke Amasaki; Hirohisa Aman; Kazutami Arimoto (IIAI-AAI, 2019)

Applying Cross Project Defect Prediction Approaches to Cross-Company Effort Estimation. - Sousuke Amasaki; Tomoyuki Yokogawa; Hirohisa Aman (PROMISE, 2019)

A Mahalanobis Distance-Based Integration of Suspicious Scores For Bug Localization. - Masanao Asato; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (APSEC, 2020)

A Comparative Study of Vectorization-Based Static Test Case Prioritization Methods. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (SEAA, 2020)

On the Effects of File-level Information on Method-level Bug Localization. - Sousuke Amasaki; Hirohisa Aman; Tomoyuki Yokogawa (SEAA, 2020)

A Node-Style Visual Programming Environment for the nuXmv Model Checker. - Hayato Naito; Tomoyuki Yokogawa; Nao Igawa; Sousuke Amasaki; Hirohisa Aman; Kazutami Arimoto (GCCE, 2020)

Model Checking of Visual Scripts Created by UE4 Blueprints. - Nao Igawa; Tomoyuki Yokogawa; Mami Takahashi; Kazutami Arimoto (IIAI-AAI, 2020)

A Edge Master Computing for Pineapple Monitoring System with Drone and Data-management. - Tomoki Kobayashi; Tomoyuki Yokogawa; Nao Igawa; Yoichiro Sato; Kimihoro Sugino; Hiroshi Miyata; Satoshi Fujii; Kazutami Arimoto (IIAI-AAI, 2020)

An exploratory study on applicability of cross project defect prediction approaches to cross-company effort estimation. - Sousuke Amasaki; Hirohisa Aman; Tomoyuki Yokogawa (PROMISE, 2020)

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking. - Nao Igawa; Tomoyuki Yokogawa; Sousuke Amasaki; Masafumi Kondo; Yoichiro Sato; Kazutami Arimoto (IEICE Trans. Inf. Syst., 2020)

Empirical study of abnormality in local variables and its application to fault-prone Java method analysis. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (J. Softw. Evol. Process., 2020)

A Preliminary Evaluation of CPDP Approaches on Just-in-Time Software Defect Prediction. - Sousuke Amasaki; Hirohisa Aman; Tomoyuki Yokogawa (SEAA, 2021)

An Investigation of Compound Variable Names Toward Automated Detection of Confusing Variable Pairs. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (ASE Workshops, 2021)

Searching for Bellwether Developers for Cross-Personalized Defect Prediction. - Sousuke Amasaki; Hirohisa Aman; Tomoyuki Yokogawa (PROFES, 2021)

A Large-Scale Investigation of Local Variable Names in Java Programs: Is Longer Name Better for Broader Scope Variable? - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (QUATIC, 2021)

An Evaluation of Effort-Aware Fine-Grained Just-in-Time Defect Prediction Methods. - Sousuke Amasaki; Hirohisa Aman; Tomoyuki Yokogawa (SEAA, 2022)

Have Java Production Methods Co-Evolved With Test Methods Properly?: A Fine-Grained Repository-Based Co-Evolution Analysis. - Tenma Kitai; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (SEAA, 2022)

A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users. - Kazuma Toyota; Tomoyuki Yokogawa; Sousuke Amasaki; Hirohisa Aman; Kazutami Arimoto (IIAI-AAI, 2022)

Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking. - Kazuki Wayama; Tomoyuki Yokogawa; Sousuke Amasaki; Hirohisa Aman; Kazutami Arimoto (ASE, 2022)

An Evaluation of Cross-Project Defect Prediction Approaches on Cross-Personalized Defect Prediction. - Sousuke Amasaki; Hirohisa Aman; Tomoyuki Yokogawa (PROFES, 2022)

Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking. - Isamu Hasegawa; Tomoyuki Yokogawa (IEICE Trans. Inf. Syst., 2022)

A Trend Analysis of Test Smells in Python Test Code Over Commit History. - Yuki Fushihara; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (SEAA, 2023)

Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints. - Ryugo Tanaka; Tomoyuki Yokogawa; Sousuke Amasaki; Hirohisa Aman; Kazutami Arimoto (GCCE, 2023)

Enhancing the Generalization Performance of Drowsiness Estimation AI in Drivers Using Time-Series Data from FAUs with Limited Datasets. - Tomoya Kubo; Tomoyuki Yokogawa; Kazutami Arimoto; Masaki Hokari; Isao Kayano (IIAI-AAI-Winter, 2023)

A Comparative Study of Hybrid Fault-Prone Module Prediction Models Using Association Rule and Random Forest. - Shinnosuke Irie; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (WSSE, 2023)

An Evaluation of Word Embeddings on Vulnerability Prediction with Software Metrics. - Sousuke Amasaki; Tomoyuki Yokogawa; Hirohisa Aman (WiPiEC Journal, 2023)

A Comparative Study of Data Collection Periods for Just-In-Time Defect Prediction Using the Automatic Machine Learning Method. - Kosuke Ohara; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (IEICE Trans. Inf. Syst., 2023)

An automated detection of confusing variable pairs with highly similar compound names in Java and Python programs. - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (Empir. Softw. Eng., 2023)

A Quantitative Investigation of Trends in Confusing Variable Pairs Through Commits: Do Confusing Variable Pairs Survive? - Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (EASE, 2024)

Exploring Benefits of Bellwether Projects in Cross-Project IR-based Fault Localization. - Sousuke Amasaki; Pattara Leelaprute; Hirohisa Aman; Tomoyuki Yokogawa (SEAA, 2024)

Fault-Proneness of Python Programs Tested By Smelled Test Code. - Yuki Fushihara; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (SEAA, 2024)

Distributed Hierarchical AI Architecture for Meta-Described Local Dynamic Maps in Autonomous Driving. - Hiroshi Miyata; Kazutami Arimoto; Masatoshi Saitoh; Atsushi Hayami; Hisayoshi Mizuno; Yukihiko Shimazu; Tomoyuki Yokogawa (IIAI-AAI, 2024)

A Multi - Aspect Evaluation of DL-based SQLi Attack Detection Models. - Pattara Leelaprute; Yuki Kase; Sousuke Amasaki; Hirohisa Aman; Tomoyuki Yokogawa (SERA, 2024)

An Application of Program Slicing and CodeBERT to Distill Variables With Inappropriate Names. - Yahiro Mori; Hirohisa Aman; Sousuke Amasaki; Tomoyuki Yokogawa; Minoru Kawahara (SERA, 2024)

A Comparative Study on COSMIC FP Approximation with Deep Learning and Conventional Machine Learning. - Kaoru Yokogawa; Masashi Hiroishi; Sousuke Arnasaki; Hirohisa Aman; Tomoyuki Yokogawa (SERA, 2024)