研究業績

論文誌

  1. H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, "An automated detection of confusing variable pairs with highly similar compound names in Java and Python programs," Empir. Softwa. Eng., vol. 28, No. 5, pp. 108, Aug. 2023.
  2. 宮田博司, 有本和民, 横川智教, “IoT による地産地消データ配信システム（事例：ダイナミックマップの収集配信システム）の展望, “ システム制御情報学会誌「システム／制御／情報」, Vol.67, No.6, pp.288-293, Jul. 2023 (解説論文).
  3. K. Ohara, H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, “A Comparative Study of Data Collection Periods for Just-In-Time Defect Prediction Using the Automatic Machine Learning Method,” IEICE Trans. Inf. Syst., vol. E106.D, no. 2, pp. 166-169, Feb. 2023.
  4. 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, pp. 46, Mar. 2022.
  5. 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.
  6. M. Ueda, M. Kondo, I. Kayano, Y. Sejima, T. Yokogawa, Y. Sato, Y. Sugihara, K. Matsumoto, “A Fast and Accurate Tube Diameter Visualization Method for Digestive System Medical Images,” IEEJ Trans. Electron. Inf. Syst., vol. 141, no. 9, pp. 982–991, Sep. 2021.
  7. 永田将大, 近藤真史, 茅野功, 横川智教, 佐藤洋一郎, “相補制御に基づく休止相を隠蔽可能な非同期式直列乗算器の一構成法,” 電子情報通信学会論文誌A, vol. J104-A, no. 7, pp. 173–177, Jul. 2021.
  8. 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.
  9. 井川直, 横川智教, 藤井健斗, 茅野功, 佐藤洋一郎, 有本和民, “車内における RRI 計測を目的とした非接触心拍モニタリングシステムの検討,” 電気学会論文誌Ｅ（センサ・マイクロマシン部門誌）, vol. 140, no. 10, pp. 256–264, Oct. 2020.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 岡本大地, 近藤真史, 瀬島吉裕, 茅野功, 横川智教, 有本和民, 佐藤洋一郎, “デジタル補聴器用 DSP を対象とした直列積和演算器の一構成法,” 電子情報通信学会論文誌D, vol. J100-D, no. 3, pp. 321–330, Mar. 2017.
  15. 横川智教, 佐藤洋一郎 and 有本和民, “検証およびテスト生成の自動化を指向したステートマシン図による Web ナビゲーションのモデル化,” 電気学会論文誌 C, vol. 136, no. 3, pp. 423–433, Mar. 2016.
  16. 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.
  17. 近藤真史, 横川智教, 佐藤洋一郎, 有本和民, “GALS システムの設計最適化を目的とした性能評価ツール,” コンピュータソフトウェア, vol. 32, no. 4, pp. 115–130, Oct. 2015.
  18. 横川智教, 天嵜聡介, 佐藤洋一郎, 有本和民, 宮崎仁, “UMLによる組込みソフトウェア設計の検証支援環境の開発,” SEC J., vol. 11, no. 1, pp. 10–17, Mar. 2015.
  19. 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.
  20. 近藤真史, 横川智教, 佐藤洋一郎, 有本和民, “共有バス型大規模デジタルシステムを対象とした性能評価の高速化,” 電気学会論文誌C, vol. 134, no. 2, pp. 312–319, Feb. 2014.
  21. 茅野功, 石川裕大, 松本大作, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民, “心臓ペースメーカにおける制御機構の低消費電力化,” 生体医工学会誌, vol. 51, no. 6, pp. 366–373, Dec. 2013.
  22. 近藤真史, 大山国晃, 横川智教, 佐藤洋一郎, “Globally Asynchronous Locally Synchronous Systemにおける非同期バスの一構成法,” 電子情報通信学会論文誌D, vol. J96-D, no. 4, pp. 913–925, Apr. 2013.
  23. 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.
  24. 大平雅雄, 横森励士, 阪井誠, 岩村聡, 小野英治, 新海平, 横川智教, “ソフトウェア開発プロジェクトのリアルタイム管理を目的とした支援システム,” 電子情報通信学会論文誌D, vol. J88-D1, no. 2, pp. 228–239, Feb. 2005.
  25. T. Yokogawa, T. Tsuchiya, M. Nakamura and T. Kikuno, “Feature Interaction Detection by Bounded Model Checking,” IEICE Trans. Inf. Syst., vol. E86-D, no. 12, pp. 2579–2587, Dec. 2003.
  26. T. Yokogawa, T. Tsuchiya and T. Kikuno, “Verifying Fault Tolerance of Concurrent Systems by Model Checking,” IEICE Trans. Fundam., vol. E85-A, no. 11, pp. 2414–2425, Nov. 2002.

国際会議

  1. K. Yokogawa, M. Hiroishi, S. Amasaki, H. Aman and T. Yokogawa, "A Comparative Study on COSMIC FP approximation with Deep Learning and Conventional Machine Learning," The 22nd IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2024), May 2024.
  2. P. Leelaprute, Y. Kase, S. Amasaki, H. Aman and T. Yokogawa, "A Multi-Aspect Evaluation of DL-based SQLi Attack Detection Models," The 22nd IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2024), May 2024.

  3. Y. Mori, H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, "An Application of Program Slicing and CodeBERT to Distill Variables With Inappropriate Names," The 22nd IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2024), May 2024.

  4. 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.

  5. S. Irie, H. Aman, S. Amasaki, T. Yokogawa and M. Kawahara, "A Comparative Study of Hybrid Fault-Prone Module Prediction Models Using Association Rule and Random Forest," in 2023 The 5th World Symposium on Software Engineering (WSSE 2023), pp. 33–38, Sep. 2023.
  6. 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. 881-884, Oct. 2023.
  7. S. Amasaki, T. Yokogawa and H. Aman, "An Evaluation of Word Embeddings on Vulnerability Prediction with Software Metrics," WiPiEC Journal, Vol. 9, No. 2, Sep. 2023.

  8. 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 49th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA 2023), Sep. 2023.

  9. S. Amasaki, H. Aman and T. Yokogawa, “An Evaluation of Cross-Project Defect Prediction Approaches on Cross-Personalized Defect Prediction,” in Profes 2022: Product-Focused Software Process Improvement, Lecture Notes in Computer Science, vol 13709, pp. 433–448, Nov. 2022.

  10. 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.
  11. 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.
  12. 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.

  13. 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.

  14. 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.

  15. 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.
  16. 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.
  17. 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.

  18. 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.

  19. 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.

  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.

  25. 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.

  26. 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.

  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.

  33. 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.

  34. 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.

  35. 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.
  36. 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.
  37. 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.

  38. 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.

  39. 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.

  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. 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.

  46. 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.

  47. 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.

  48. 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.
  49. 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.
  50. 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.

  51. K. Komoku, K. Arimoto, T. Yokogawa, H. Yamauchi, Y. Sato and H. Takao, “3D2 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.

  52. 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.

  53. 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.
  54. 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.

  55. 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.

  56. 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.

  57. 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.

  58. 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.

  59. 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.

  60. 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.

  61. K. Asada, T. Yokogawa, S. Amasaki, H. Miyazaki and Y. Sato, “Refinement Check of Asynchronous Behaviors of Sequence Diagrams Using LTSA,” in The 22nd International Symposium on Software Reliability Engineering (ISSRE 2011), Nov. 2011.

  62. S. Amasaki, Y. Takahara and T. Yokogawa, “Performance Evaluation of Windowing Approach on Effort Estimation by Analogy,” in Proc. 2011 Joint Conf. of 21st Int’l Workshop on Softw. Measurement and the 6th Int'l Conf. on Softw. Process and Product Measurement (IWSM/Mensura 2011), pp. 188-195, Nov. 2011.

  63. A. Nimiya, T. Yokogawa, H. Miyazaki, S. Amasaki, Y. Sato and M. Hayase, “Model Checking Consistency of UML Diagrams Using Alloy,” in Proc. Int'l Conf. on Computer Science and Software Engineering (ICCSSE 2010), Nov. 2010.

  64. Y. Kawakami, T. Yokogawa, H. Miyazaki, S. Amasaki, Y. Sato and M. Hayase, “Symbolic Model Checking of Interactions in Sequence Diagrams with Combined Fragments by SMV,” in Proc. Int'l Conf. on Computer Science and Software Engineering (ICCSSE 2010), Nov. 2010.
  65. S. Amasaki and T. Yokogawa, “A Survey of Public Datasets for Comparative Effort Prediction Studies,” in Proc. Int’l Workshop on Empirical Software Engineering in Practice (IWESEP 2010), pp. 19-24, Dec. 2010.
  66. S. Harada, T. Yokogawa, H. Miyazaki, Y. Sato and M. Hayase, “A Tool Support for Verifying Consistency between UML Diagrams by SMV,” in Proc. Int'l Tech. Conf. on Circuits/Systems, Computers and Communications (ITC-CSCC 2009), pp. 897-900, Jul. 2009.
  67. M. Kondo, Y. Sato, K. Tashiro, T. Yokogawa and M. Hayase, “A Ring Segmented Bus Architecture for Globally Asynchronous Locally Synchronous System,” in Proc. Int’l Conf. on Electronics, Circuits and Syst, Design (ICECSD 2009), Jun. 2009.
  68. H. Miyazaki, T. Yokogawa, K. Seko, Y. Sato and M. Hayase, “Formal Verification of Web Navigation by Symbolic Model Checking,” in Proc. Int'l Tech. Conf. on Circuits/Systems, Computers and Communications (ITC-CSCC 2008), pp. 397-400, Jul. 2008.
  69. T. Yokogawa, T. Tsuchiya, M. Nakamura and T. Kikuno, “Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking,” in Proc. Int'l Tech. Conf. on Circuits/Systems, Computers and Communications (ITC-CSCC2003), pp. 1807-1810, Jul. 2003.
  70. T. Yokogawa, T. Tsuchiya and T. Kikuno, “Automatic Verification of Fault Tolerance Using Model Checking,” in Proc. 2001 Pacific Rim International Symposium on Dependable Computing (PRDC2001), pp.95-102, Dec. 2001.