Tomoyuki Yokogawa

[DBLP]

Profile

Tomoyuki Yokogawa received M.E. from Osaka University in 2001. He also received Ph.D. degree in Engineering from Osaka University in 2004. He is currently an associate professor at the Department of Systems Engineering, Okayama Prefectural University. He was an assintant professor at Okayama Prefectural University from Apr. 2007 to Mar. 2016, and was a research assistant at Okayama Prefectural University from May 2004 to Mar. 2007. He was working as a post-doctorial researcher at Osaka University in Apr. 2004. He is a senior member of IPSJ and IEICE, and is a member of JSSST, IEEE and ACM.

Research Interests

Publications in English

Papers Published in Academic Journals

  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. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.

Presentations in International Conferences

  1. 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.
  2. 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.
  3. 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.
  4. 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.

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

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

  7. 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.
  8. 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.
  9. 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.

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

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

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

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

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

  17. 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.
  18. 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.
  19. 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.
  20. 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,.
  21. 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.

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

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

  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.

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

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

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

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

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

  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  60. 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.
  61. 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.
  62. 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.
  63. 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.
  64. 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.
  65. 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.
  66. 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.

Activities

Program Committee Member

Steering Committee Member

Editor of Academic Journals

  • Editor-in-Chief
    • Special issue on "Software Engineering" in the Journal of Information Processing (2022)
    • Special Section on Formal Approaches in the IEICE Transactions on Information and Systems (2022)
  • Associate Editor-in-Chief
    • Special Section on Formal Approaches in the IEICE Transactions on Information and Systems (2019, 2020, 2021)
    • Special Section on Circuits and Systems in the IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2021)
  • Associate Editor
    • The IEICE Transactions on Information and Systems (2019-2022)
    • Special issue on "Software Engineering" in the Journal of Information Processing (2024, 2023, 2021, 2020)
    • Special Section on Formal Approaches in the IEICE Transactions on Information and Systems (2017, 2018)
    • Special Section on Knowledge-Based Software Engineering in the IEICE Transactions on Information and Systems (2023, 2021, 2019)
    • Special Section on Circuits and Systems in the IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2020)