[Japanese | English]
町田 文雄　
筑波大学 システム情報系
情報工学域 准教授
システムディペンダビリティ研究室
住所: 〒305-8573 つくば市天王台1-1-1
E-Mail: machida at cs.tsukuba.ac.jp

プロフィール
情報システムを高信頼化する技術に興味があります。確率モデルを応用してシステムの信頼性や可用性を定量的に評価し、システムの設計や運用を改善・最適化する研究をしています。機械学習応用システム、フォッグコンピューティング、ストレージシステムなどを対象としています。

専門分野
確率モデル、マルコフ連鎖、確率ペトリネット、信頼性/可用性評価、ソフトウェア若化、ソフトウェア延命

略歴
2019/2/1 - 現在 筑波大学システム情報系　准教授
2003/4/1 - 2019/1/31 日本電気株式会社　中央研究所勤務
2015/4/1 - 2018/3/26 東京工業大学大学院　情報理工学研究科　数理・計算科学専攻　博士課程
2010/5/1 - 2011/4/30 デューク大学　電子コンピュータ工学科　客員研究員
2001/4/1 - 2003/3/26 東京工業大学大学院　情報理工学研究科　計算工学専攻　修士課程

受賞
2024/4 教育貢献賞, 筑波大学システム情報系, 2023.
2024/3 IEEE Computer Society 2023 Distinguished Contributor.
2023/10 IEEE Distinguished Paper Award on Dependable Computing, The 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC).
2021/10 Distinguished Reviewer Award, The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021).
2021/7 Best Student Paper Award, IEEE World Forum on Internet of Things (WF-IoT), 2021.
2017/1 Outstanding Leadership Award, IEEE Pacific Rim International Symposium on Dependable Computing 2017.
2015/5 Best Paper Award, IEEE Reliability Society Japan Joint Chapter, F. Machida, R. Xia and K. S. Trivedi, Performability modeling for RAID storage systems by Markov regenerative process.
2014/4 文部科学大臣表彰若手科学者賞, 仮想化システムにおけるソフトウェア若化および延命手法の研究.
2007/6 Best Paper Award, F. Machida, M. Kawato, and Y. Maeno, Adaptive monitoring for virtual machine based reconfigurable enterprise systems, ICAS2007.

主な研究業績
査読付き雑誌論文
  1. Q. Wen and F. Machida, Reliability Modeling for Three-version Machine Learning Systems through Bayesian Networks, Reliability Engineering & System Safety, accepted, 2025. [paper][link]
  2. J. Bai, X. Chang, F. Machida, and K. S. Trivedi, Understanding Container-based Services under Software Aging: Dependability and Performance Views, IEEE Transactions on Sustainable Computing, accepted, 2024. [link]
  3. H. Couto, F. Machida, G. Callou, and E. Andrade, A Comparative Analysis of Software Aging in Relational Database System Environments, IEEE Transactions on Emerging Topics in Computing, accepted, 2024. [link]
  4. K. Wakigami, F. Machida, T. Phung-Duc, Empirical architecture comparison of two-input machine learning systems for vision tasks, Formal Aspects of Computing, vol. 36, no. 4, pp. 1-19, 2024. [link]
  5. F. Machida, Using Diversities to Model the Reliability of Two-version Machine Learning Systems, IEEE Transactions on Emerging Topics in Computing, vol. 12, no. 03, pp. 810-825, 2024. [link][pdf]
  6. E. Andrade and F. Machida, Assuring Autonomy of UAVs in Mission-critical Scenarios by Performability Modeling and Analysis, ACM Transactions on Cyber-Physical Systems, vol. 8, no. 3, pp. 1-24, 2023. [link]
  7. J. Bai, Y. Li, X. Chang, F. Machida, and K. S. Trivedi, Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View, IEEE Transactions on Cloud Computing, vol. 11, no. 4, pp. 3367-3380, 2023. [link]
  8. F. Machida, Q. Zhang, and E. Andrade, Performability analysis of adaptive drone computation offloading with fog computing, Future Generation Computer Systems, vol. 145, pp. 121-135, 2023. [link]
  9. J. Bai, X. Chang, F. Machida, K. S. Trivedi, and Y. Li, Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT, IEEE Transactions on Services Computing, vol. 16, no. 04, pp. 2769-2785, 2023. [link]
  10. E. Andrade, R. Pietrantuono, F. Machida, and D. Cotroneo, A Comparative Analysis of Software Aging in Image Classifiers on Cloud and Edge, IEEE Transactions on Dependable and Secure Computing, Vol.20, No.1, 2023. [link]
  11. F. Machida and E. Andrade, Modeling and Analysis of Deforestation Prevention by Uncrewed Aerial Vehicles-based Monitoring Systems, Environmental Modelling & Software, vol. 158, pp. 105540, 2022. [link]
  12. J. Bai, X. Chang, F. Machida, Z. Han, Y. Xu, and K. S. Trivedi, Quantitative understanding serial-parallel hybrid SFC services: a dependability perspective, Peer-to-Peer Networking and Applications, vol. 15, pp. 1923-1938, 2022. [link]
  13. J. Bai, X. Chang, F. Machida, L. Jiang, Z. Han, and K. S. Trivedi, Impact of Service Function Aging on the Dependability for MEC Service Function Chain, IEEE Transactions on Dependable and Secure Computing, 2022. [link]
  14. F. Machida, K. Hasebe, H. Abe, K. Kato, Analysis of optimal file placement for energy-efficient file-sharing cloud storage system, IEEE Transactions on Sustainable Computing, Vol. 7, No. 1, pp. 75-86, 2022. [link][pdf]
  15. J. Bai, X. Chang, F. Machida, K. S. Trivedi, Z. Han, Analyzing software rejuvenation techniques in a virtualized system: service provider and user views, IEEE Access, Vol. 8, pp. 6448 - 6459, 2020.
  16. F. Machida, R. Xia and K. S. Trivedi, Performability modeling for RAID storage systems by Markov regenerative process, IEEE Transactions on Dependable and Secure Computing, Vol. 15, No. 1, pp. 138-150, 2018.
  17. F. Machida, J. Xiang, K. Tadano and Y. Maeno, Lifetime extension of software execution subject to aging, IEEE Transactions on Reliability, Vol. 66, No. 1, pp. 123-134, 2017. [link][paper]
  18. F. Machida, and N. Miyoshi, Analysis of an optimal stopping problem for software rejuvenation in a deteriorating job processing system, Reliability Engineering and System Safety, Vol. 168, pp. 128-135, 2017.
  19. J. Xiang, F. Machida, K. Tadano and Y. Maeno, An imperfect fault coverage model with coverage of irrelevant components, IEEE Transactions on Reliability, Vol. 64, No. 1, pp. 320-332, 2015.
  20. F. Machida, V. F. Nicola and K. S. Trivedi, Job completion time on a virtualized server with software rejuvenation, ACM Journal on Emerging Technologies in Computing Systems, Vol. 10, No. 1, Article 10, 26 pages, 2014.
  21. R. Xia, X. Yin, J. Alonso, F. Machida and K. S. Trivedi, Performance and availability modeling of IT systems with data backup and restore, IEEE Transactions on Dependable and Secure Computing, Vol. 11, No. 4, pp. 375-389, 2014.
  22. F. Machida, D. Kim and K. S. Trivedi, Modeling and analysis of software rejuvenation in a server virtualized system with live VM migration, Performance Evaluation, Vol. 70, No. 3, pp. 212-230, 2013.
  23. J. Xiang, F. Machida, K. Tadano, Y. Maeno and K. Yanoo, Coverage of irrelevant components in systems with imperfect fault coverage, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. 96-A. No. 7, pp. 1649-1652, 2013.
  24. K. Tadano, J. Xiang, F. Machida and Y. Maeno, Identification of smallest unacceptable combinations of simultaneous component failures in information systems, IEICE Transactions on Information and Systems, Vol. 96-D, No. 9, pp. 1941-1951, 2013.
  25. R. Matos, P. R. M. Maciel, F. Machida, D. Kim and K. S. Trivedi, Sensitivity analysis of server virtualized system availability, IEEE Transactions on Reliability, Vol. 61, No. 4, pp. 994-1006, 2012.
  26. R. H. Khan, F. Machida, P. E. Heegaard and K. S. Trivedi, A performability modeling framework considering service components deployment, IARIA International Journal on Advances in Networks and Services, Vol. 5, No. 3&4, pp. 346-366, 2012.
  27. F. Machida, M. Kawato and Y. Maeno, Polling schedule optimization for adaptive monitoring to scalable enterprise systems, IARIA International Journal on Advances in Intelligent Systems, Vol. 1, No. 1, pp. 11-22, 2008.
  28. F. Machida, M. Kawato, Y. Maeno, High-speed server provisioning by speculative virtual machine standby control, Transactions of Information Processing Society of Japan, Vol.49 No.6, pp. 2070-2080, 2008. (Japanese)
査読付き国際会議論文
  1. M. F. Dwipa, F. Machida, E. Andrade, Vehicle Density-Aware Adaptive Offloading for UAV-Based Road Traffic Monitoring, The 9th IEEE International Conference on Fog and Edge Computing (ICFEC), accepted, 2025.
  2. M. G. Nascimento, R. J. Moura, F. Machida, E. C. Andrade, Comparision of Machine Learning Algorithms for Detecting Software Aging in SQL Server, The 13th Latin-American Symposium on Dependable and Secure Computing (LADC), pp. 159-164, 2024.
  3. I. Hiroi, F. Machida, and E. Andrade, Energy Bugs in Object Detection Software on Battery-Powered Devices, The 35th International Symposium on Software Reliability Engineering Workshops (ISSREW), pp.313-320, 2024. [paper]
  4. L. Gao, Q. Wen, and F. Machida, Safety-Aware Weighted Voting for N-version Traffic Sign Recognition System, The 35th International Symposium on Software Reliability Engineering Workshops (ISSREW), pp.337-344, 2024. [paper]
  5. N. Wang and F. Machida, A CTMDP Modeling for Multi-Stage Software Aging and Rejuvenation, The 35th International Symposium on Software Reliability Engineering Workshops (ISSREW), pp.394-401, 2024. [paper]
  6. Q. Wen, J. Mendonca, F. Machida, and M. Volp, Enhancing Autonomous Vehicle Safety through N-version Machine Learning Systems, AISafety2024, accepted, 2024. [paper]
  7. S. Afrin and F. Machida, Exploiting Transformer Models in Three-version Image Classification Systems, The 48th IEEE International Conference on Computers, Software, and Applications (COMPSAC), pp.662-669, 2024. [paper]
  8. Q. Zhang, F. Machida, and E. Andrade, Performability Modeling and Analysis for Real-Time Object Detection on UAV Systems, The 48th IEEE International Conference on Computers, Software, and Applications (COMPSAC), pp.1404-1411, 2024. [paper]
  9. Z. Wang and F. Machida, Maintaining Performance of a Machine Learning System Against Imperfect Retraining, The 48th IEEE International Conference on Computers, Software, and Applications (COMPSAC), pp.1788-1793, 2024. [paper]
  10. K. Wakigami, F. Machida, and T. Phung-Duc, Reliability and Performance Evaluation of Two-input Machine Learning Systems, The 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 278-286, 2023. (Distinguished Paper Award) [paper]
  11. D. Dias, F. Machida, and E. Andrade, Software Aging Analysis in a Testing Framework, The 15th International Workshop on Software Aging and Rejuvenation (WoSAR), pp.222-229, 2023.
  12. Q. Wen and F. Machida, Characterizing Reliability of Three-version Traffic Sign Classifier System through Diversity Metrics, The 34th IEEE International Symposium on Software Reliability Engineering (ISSRE), pp.333-343, 2023. [paper]
  13. Q. Wen and F. Machida, Bayesian Network Reliability Modeling for Three-version Machine Learning Systems, The 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S), pp. 214-216, 2023.
  14. J. Mendonca, F. Machida, and M. Volp, Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation, DSN Workshop on Dependable and Secure Machine Learning (DSML), pp.149-156, 2023. [paper]
  15. K. Watanabe, F. Machida, E. Andrade, R. Pietrantuono, and D. Cotroneo, Software Aging in Real-Time Object Detection Systems on Edge Servers, The 38th ACM/SIGAPP Symposium On Applied Computing (SAC), pp. 671-678, 2023. [link][paper]
  16. R. Pietrantuono, D. Cotroneo, E. Andrade, and F. Machida, An Empirical Study on Software Aging of Long-Running Object Detection Algorithms, The 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS), pp. 1091-1102, 2022.
  17. M. Takahashi, F. Machida, and Q. Wen, How Data Diversification Benefits the Reliability of Three-version Image Classification Systems, The 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 34-42, 2022.
  18. Q. Zhang, F. Machida, and E. Andrade, Performance Bottleneck Analysis of Drone Computation Offloading to a Shared Fog Node, The 12th IEEE International Workshop on Software Certification (WoSoCer), pp. 216-221, 2022.
  19. D. Dias, F. Machida, and E. Andrade, Analysis of Software Aging in a Blockchain Platform, The 14th International Workshop on Software Aging and Rejuvenation (WoSAR), pp. 170-177, 2022.
  20. K. Watanabe and F. Machida, Availability Analysis of a Drone System with Proactive Offloading for Software Life-extension, IEEE Conference on Omni-layer INtelligent Systems (COINS), pp. 1-6, 2022.
  21. Q. Wen and F. Machida, Reliability Models and Analysis for Triple-model with Triple-input Machine Learning Systems, IEEE Conference on Dependable and Secure Computing (DSC), pp. 1-8, 2022.
  22. F. Machida and E. Andrade, Availability Modeling for Drone Image Processing Systems with Adaptive Offloading, IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 93-103, 2021.
  23. M. Araujo, E. Andrade, and F. Machida, Performance analysis of machine learning-based systems for detecting deforestation, In Brazilian Symposium on Computing Systems Engineering (SBESC), pp. 1-8, 2021.
  24. E. Andrade, F. Machida, R. Pietrantuono, and D. Cotroneo, Memory Degradation Analysis in Private and Public Cloud Environments, International Workshop on Software Aging and Rejuvenation (WoSAR), pp. 33-39, 2021.
  25. X. Liu and F. Machida, Failure threshold setting for Wiener-process-based remaining useful life estimation, IEEE Global Reliability & Prognostics and Health Management Conference (PHM-2021), pp. 1-5, 2021.
  26. S. Wang and F. Machida, A robustness evaluation of concept drift detectors against unreliable data streams, IEEE World Forum on Internet of Things (WF-IoT), pp.569-574, 2021. (Best Paper Award)
  27. Y. Makino, T. Phung-Duc, and F. Machida, A queueing analysis of multi-model multi-input machine learning systems, DSN Workshop on Dependable and Secure Machine Learning (DSML), pp. 141-149, 2021.
  28. F. Machida and E. Andrade, PA-offload: Performability-aware adaptive fog offloading for drone image processing, IEEE International Conference on Fog and Edge Computing (ICFEC), pp. 66-73, 2021.
  29. F. Machida and P. Maciel, Markov chains and Petri nets for software rejuvenation systems, IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 325-326, 2020.
  30. E. Andrade, F. Machida, R. Pietrantuono, and D. Cotroneo, Software aging in image classification systems on cloud and edge, IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 342-348, 2020.
  31. F. Machida, On the diversity of machine learning models for system reliability, IEEE Pacific Rim Int'l Symp. on Dependable Computing (PRDC), pp. 276-285, 2019.
  32. E. Andrade and F. Machida, Analysis of software aging impacts on plant anomaly detection with edge computing, IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 204-210, 2019.
  33. F. Machida, N-version machine learning models for safety critical systems, DSN Workshop on Dependable and Secure Machine Learning, pp. 48-51, 2019.
  34. F. Machida, Practices in model component reuse for efficient dependability analysis, Companion of the 10th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 65-70, 2019.
  35. S. Bijwe, F. Machida, S. Ishida and S. Koizumi, End-to-end reliability assurance of service chain embedding for network function virtualization, IEEE Conf. on Network Function Virtualization and Software Defined Networks (NFV-SDN), pp. 1-4, 2017.
  36. D. Kim, J. Hong, T. Nguyen, F. Machida, J. Park and K. S. Trivedi, Availability modeling and analysis of a virtualized system using stochastic reward nets, IEEE Int’l Conf. on Computer and Information Technology (CIT), pp. 210-218, 2016.
  37. M. Fujiwaka, F. Machida and S. Koizumi, A test design method for resilient system on cloud infrastructure, IEEE Int’l Conf. on Cloud Computing (CLOUD), pp. 440-447, 2016.
  38. F. Machida and N. Miyoshi, An optimal stopping problem for software rejuvenation in a job processing system, Int’l Works. on Software Aging and Rejuvenation (WoSAR), pp. 139-143, 2015.
  39. R. Xia, F. Machida and K. S. Trivedi, A scalable optimization framework for storage backup operations using Markov decision processes, IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC), pp. 169-178, 2015.
  40. F. Machida, S. Kohno, S. Maebara and M. Nakagawa, Just-in-time server procurement to private cloud for mobile thin-client service, Int’l Conf. on Network and Service Management (CNSM), pp. 261-264, 2015.
  41. M. Napolano, F. Machida, R. Pietrantuono and D. Cotroneo, Preventing recurrence of industrial control system accident using assurance case, Int’l Works. on Software Certification (WoSoCER), pp. 182-189, 2015.
  42. F. Machida, M. Fujiwaka, S. Koizumi and D. Kimura, Optimizing resiliency of distributed video surveillance system for safer city, IEEE Int'l Symp. on Software Reliability Engineering (ISSRE), Industry Track, pp. 17-20, 2015.
  43. F. Machida, J. Xiang, K. Tadano and S. Hosono, An asset-based development approach for availability and safety analysis on a flood alert system, IEEE/IFIP Int’l Conf. on Dependable Systems and Networks (DSN) workshop, pp. 51-56, 2015.
  44. R. Xia, F. Machida and K. S. Trivedi, A Markov decision process approach for optimal data backup scheduling, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) workshop, pp. 660-665, 2014.
  45. P. E. Heegaard, B. E. Helvik, K. S. Trivedi and F. Machida, Survivability as a generalization of recovery, Int’l Conf. on Design of Reliable Communication Networks (DRCN), pp. 133-140, 2015.
  46. S. K. Mondal, J. K. Muppala, F. Machida and K. S. Trivedi, Computing defects per million in cloud caused by virtual machine failures with replication, IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC), pp. 161-168, 2014.
  47. R. Matias, A. Andrzejak, F. Machida, D. Elias and K. S. Trivedi, A Systematic Differential Analysis for Fast and Robust Detection of Software Aging, IEEE Int’l Symp. on Reliable Distributed Systems (SRDS), pp. 311-320, 2014.
  48. J. Xiang, F. Machida, K. Tadano and Y. Maeno, Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage, Int’l Conf. on Computer Safety, Reliability and Security (SAFECOMP), pp. 109-124, 2014.
  49. F. Machida, R. Mibu, J. Gokurakuji, K. Yanoo, K. Tadano, Y. Maeno and T. Sugawara, Server virtualized infrastructure for resilient voice communication service, IEEE/IFIP Network Operations and Management Symposium (NOMS), pp. 1-8, 2014.
  50. J. Xiang, F. Machida, K. Tadano and S. Hosono, Is cut sequence necessary in dynamic fault trees?, IEEE Int'l Symp. on Software Reliability Engineering (ISSRE), Fast Abstracts, pp. 138-139, 2014.
  51. F. Machida, J. Xiang, K. Tadano and Y. Maeno, Composing hierarchical stochastic model from SysML for system availability analysis, IEEE Int'l Symp. on Software Reliability Engineering (ISSRE), pp. 51-60, 2013.
  52. J. Xiang, F. Machida, K. Tadano, K. Yanoo, W. Sun and Y. Maeno, A static analysis of dynamic fault trees with priority-AND gates, Latin-American Symp. on Dependable Computing (LADC), pp. 58-67, 2013.
  53. K. Tadano, J. Xiang, F. Machida and Y. Maeno, Performability modeling of manual resolution of data inconsistencies for optimization of data synchronization interval, Int’l Conf. on Model-Driven Engineering and Software Development, pp. 233-240, 2013.
  54. S. Ballerini, L. Carnevali, M. Paolieri, K. Tadano and F. Machida, Software rejuvenation impacts on a phased-mission system for Mars exploration, Int’l Works. on Software Aging and Rejuvenation (WoSAR), pp. 275-280, 2013.
  55. F. Machida, A. Andrzejak, R. Matias and E. V. P. Sobrinho, On the effectiveness of Mann-Kendall test for detection of software aging, Int’l Works. on Software Aging and Rejuvenation (WoSAR), pp. 269-274, 2013.
  56. J. Xiang, F. Machida, K. Tadano and Y. Maeno, Persistence of relevance: a missing issue in imperfect coverage models, IEEE Int'l Symp. on Software Reliability Engineering (ISSRE), Fast Abstracts, pp. 3-4, 2013.
  57. F. Machida, J. Xiang, K. Tadano, Y. Maeno and T. Horikawa, Performability analysis of RAID10 versus RAID6, IEEE/IFIP Int’l Conf. on Dependable Systems and Networks (DSN), Fast Abstracts, pp. 1-2, 2013.
  58. F. Machida, J. Xiang, K. Tadano and Y. Maeno, Software life-extension: a new countermeasure to software aging, IEEE Int'l Symp. on Software Reliability Engineering (ISSRE), pp. 131-140, 2012.
  59. K. Tadano, F. Machida, J. Xiang and Y. Maeno, Identification of minimal unacceptable combinations of simultaneous component failures in information systems, IEEE Pacific Rim Int’l. Symp. on Dependable Computing (PRDC), pp. 21-30, 2012.
  60. X. Yin, J. Alonso, F. Machida, E. C. Andrade and K. S. Trivedi, Availability modeling and analysis for data backup and restore operations, IEEE Int’l Symp. on Reliable Distributed Systems (SRDS), pp. 141-150, 2012.
  61. F. Machida, J. Xiang, K. Tadano and Y. Maeno, Combined server rejuvenation in a virtualized data center, IEEE Int'l Conf. on Autonomic and Trusted Computing (ATC), pp. 486-493, 2012.
  62. J. Xiang, F. Machida, K. Tadano, K. Yanoo, W. Sun and Y. Maeno, Combinatorial analysis of dynamic fault trees with priority-AND gates, IEEE Int'l Symp. on Software Reliability Engineering (ISSRE), Fast Abstracts, pp. 3-4, 2012.
  63. F. Machida, J. Xiang, K. Tadano and Y. Maeno, Aging-related bugs in cloud computing software, Int’l Works. on Software Aging and Rejuvenation (WoSAR), pp. 287-292, 2012.
  64. J. Xiang, K. Yanoo, Y. Maeno, K. Tadano, F. Machida, A. Kobayashi and T. Osaki, Efficient analysis of fault trees with voting gates, IEEE Int'l Symp. on Software Reliability Engineering (ISSRE), pp. 230-239, 2011.
  65. F. Machida, E. C. Andrade, D. Kim and K. S. Trivedi, Candy: component-based availability modeling framework for cloud service management using SysML, IEEE Int’l Symp. on reliable distributed systems (SRDS), pp. 209-218, 2011.
  66. E. C. Andrade, F. Machida, D. Kim and K. S. Trivedi, Modeling and analyzing server system with rejuvenation through SysML and stochastic reward nets, Int’l Conf. on Availability, Reliability and Security, pp. 161-168, 2011.
  67. K. Tadano, J. Xiang, F. Machida, Y. Maeno, T. Osaki and A. Kobayashi, Design improvement of system administrative operations for certification, Int’l Works. on Software Certification (WoSoCER), pp. 31-36, 2011.
  68. F. Machida, V. F. Nicola and K. S. Trivedi, Job completion time on a virtualized server subject to software aging and rejuvenation, Int’l Works. on Software Aging and Rejuvenation (WoSAR), pp. 44-49, 2011.
  69. K. Tadano, M. Kawato, R. Furukawa, F. Machida and Y. Maeno, Digital wartermarking of virtual machine images, IFIP Int’l Conf. Digital Forensics, pp. 257-268, 2010.
  70. F. Machida, M. Kawato and Y. Maeno, Renovating legacy distributed systems using virtual appliance with dependency graph, Int’l on Network and Service Management (CNSM), pp. 17-24, 2010.
  71. F. Machida, M. Kawato and Y. Maeno, Redundant virtual machine placement for fault-tolerant consolidated server clusters, IEEE/IFIP Network Operations and Management Symposium (NOMS), pp. 32-39. 2010.
  72. F. Machida, D. Kim and K. S. Trivedi, Modeling and analysis of software rejuvenation in a server virtualized system, Int’l Workshop on Software Aging and Rejuvenation (WoSAR), pp. 1-6, 2010.
  73. K. Tadano, F. Machida, M. Kawato and Y. Maeno, Resource information cache update control for scalable access control management systems, IEEE Int’l Conf. on Cloud Computing (CLOUD), Work in progress, pp. 538-539, 2010.
  74. D. Kim, F. Machida and K. S. Trivedi, Availability modeling and analysis of a virtualized system, IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC), pp. 365-371, 2009.
  75. F. Machida and Y. Maeno, Availability-constrained virtual machine placement for HA clusters, IEEE/IFIP Int’l Conf. on Dependable Systems and Networks (DSN), Fast Abstracts, pp. 10-11, 2009.
  76. K. Tadano, F. Machida, M. Kawato and Y. Maeno, Automatic cache update control for scalable resource information service with WS-Management, DMTF Int’l Workshop on System Virtualization and Management (SVM), pp. 55-66, 2009.
  77. F. Machida, M. Kawato and Y. Maeno, Just-in-time server provisioning using virtual machine standby and request prediction, IEEE Int’l Conf. on Autonomic Computing (ICAC), pp. 163-171, 2008.
  78. F. Machida, D. Kim, J. Park and K. S. Trivedi, Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center, Int’l Workshop on Software Aging and Rejuvenation (WoSAR), pp. 1-3, 2008.
  79. F. Machida, K. Tadano, M. Kawato, T. Ishikawa, Y. Morita and M. Nakae, CIM-based resource information management for integrated access control manager, DMTF Int’l Workshop on System Virtualization and Management (SVM), pp. 37-48, 2008.
  80. F. Machida, M. Kawato and Y. Maeno, Adaptive monitoring for virtual machine based reconfigurable enterprise systems, Int’l Conf. on Autonomic and Autonomous Systems (ICAS), 6 pages, 2007. (Best Paper Award)
  81. M. Kawato, F. Machida and Y. Maeno, A sufficiency-based resource reallocation mechanism for internet-scale computer resource sharing, Int’l Symp. on Applications on Internet (SAINT), p.190-196, 2006.
  82. F. Machida, M. Kawato and Y. Maeno, Self-controlling cache for high speed autonomic provisioning, IEEE Int’l Conf. on Autonomic Computing (ICAC), pp. 314-315, 2006.
  83. F. Machida, M. Kawato and Y. Maeno, Guarantee of freshness in resource information cache on WSPE: web service polling engine, IEEE Int’l Symp. on Cluster Computing and the Grid (CCGrid), pp. 131-134, 2006.
  84. M. Kawato, F. Machida and Y. Maeno, Service-aware virtual machine placement mechanism for utility computing, IASTED Int’l Conf. on Parallel and Distributed Computing and Systems, 6 pages, 2006.
  85. Y. Maeno, M. Kawato, S. Nishimura, F. Machida and T. Kamachi, Polimatica: abstraction for customizable private virtual organizations in global grids, IEEE Int’l Conf. on Web Services (ICWS), pp. 674-681, 2004.
専門書
  1. F. Machida and P. Maciel, Markov chains and Petri nets, Book chapter in Handbook of Software Aging and Rejuvenation, World Scientific, Singapore, pp.93-126, 2020.
  2. F. Machida and N. Miyoshi, Optimal server procurement for mobile thin-client service by simulating virtual machine reallocation, Book chapter in Stochastic Operations Research in Business and Industry, World Scientific, Singapore, accepted.
  3. S. K. Mondal, F. Machida and J. K. Muppala, Service reliability enhancement in cloud by checkpointing and replication, In: Fiondella L., Puliafito A. (eds) Principles of Performance and Reliability Modeling and Evaluation. Springer Series in Reliability Engineering. Springer, Cham, pp. 425-448, 2016
  4. K. S. Trivedi, E. C. Andrade and F. Machida, Combining performance and availability analysis in practice, Advances in Computers, vol. 84, pp. 1-38, 2012.
国際標準規格
  1. Open virtualization format specification (DSP0243), Distributed Management Task Force (DMTF), 2015.
  2. Integrated Access Control Policy Management Profile (DSP1106), Distributed Management Task Force (DMTF), 2011.

学会活動
所属学会
IEEE Senior member, IEEE Computer Society, IEEE Reliability Society, ACM, 日本オペレーションズリサーチ学会, 日本信頼性学会
雑誌編集委員
  1. Guest Editor, Software: Practice and Experience (SPE), 2025.
  2. Editor Board Member, Journal on Reliability of Intelligent Environments (JoRIE), 2022-.
会議運営委員歴
  1. Program Committee Member, The ACM International Conference on the Foundations of Software Engineering, Student Research Competition (FSE-SRC), 2025.
  2. Program Committee Member, The DSN Workshop on Dependable and Secure Machine Learning (DSML), 2025.
  3. Program Committee Member, The 44th International Symposium on Reliable Distributed Systems (SRDS), 2025.
  4. Publicity Chair, 36th International Symposium on Software Reliability Engineering (ISSRE), 2025.
  5. Program Committee Member, IEEE International Conference on Software Quality, Reliability, and Security (QRS), 2025.
  6. Program Committee Member, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Disrupt25, 2025.
  7. Program Committee Member, Safe, Secure and Robust AI Track at The 39th ACM/SIGAPP Symposium On Applied Computing (SAC), 2025.
  8. Program Committee Member, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2025.
  9. Program Committee Member, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Disrupt24, 2024.
  10. Program Co-Chairs, 29th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2024.
  11. General chair, 35th International Symposium on Software Reliability Engineering (ISSRE), 2024.
  12. Poster Track Co-chair, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2024.
  13. Program Committee Member, Safe, Secure and Robust AI Track at The 39th ACM/SIGAPP Symposium On Applied Computing (SAC), 2024.
  14. Workshop Co-Chairs, 34th International Symposium on Software Reliability Engineering (ISSRE), 2023.
  15. Program Committee Member, The 42nd International Symposium on Reliable Distributed Systems (SRDS), 2023.
  16. Program Committee Member, The DSN Workshop on Dependable and Secure Machine Learning (DSML), 2023.
  17. Program Committee Member, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2023.
  18. Program Committee Member, IEEE International Conference on Software Quality, Reliability, and Security (QRS), 2022, 2023.
  19. Program Committee Member, IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2022, 2023.
  20. Program Committee Member, 7th International Workshop on Reliability and Security Data Analysis (RSDA), 2022.
  21. Program Committee Member, IEEE/IFIP International Conference on Network and Service Management (CNSM), 2022.
  22. Program Committee Member, International Workshop on Software Aging and Rejuvenation (WoSAR), 2022.
  23. Publication Co-chair, International Workshop on Software Aging and Rejuvenation (WoSAR), 2022.
  24. Program Manager, 33rd International Symposium on Software Reliability Engineering (ISSRE), 2022.
  25. Program Committee Member, The DSN Workshop on Dependable and Secure Machine Learning (DSML), 2022.
  26. Program Committee Member, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018, 2021, 2022.
  27. Program Committee Member, 2nd Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS), 2021.
  28. Workshop Co-Chairs, 32nd International Symposium on Software Reliability Engineering (ISSRE), 2021.
  29. Publication Co-chair, International Workshop on Software Aging and Rejuvenation (WoSAR), 2021.
  30. Program Committee Member, IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2021.
  31. Program Committee Member, IEEE International Symposium on Software Reliability Engineering (ISSRE), 2015-2021.
  32. Program Committee Member, 6th International Workshop on Reliability and Security Data Analysis (RSDA), 2021.
  33. Program Committee Member, IEEE/IFIP International Conference on Network and Service Management (CNSM), 2021.
  34. Program Committee Member, International Workshop on Software Aging and Rejuvenation (WoSAR), 2021.
  35. Program Committee Member, International Conference on Dpendable Systems and Their Applications (DSA), 2021.
  36. Fast Abstracts Co-Chairs, 31st International Symposium on Software Reliability Engineering (ISSRE), 2020.
  37. Program Co-Chairs, 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2020.
  38. Fast Abstracts & Posters Chairs, 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2020.
  39. Local Chair, 13th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), 2020.
  40. Program Committee Member, IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2019.
  41. Program Committee Member, 4th International Workshop on Reliability and Security Data Analysis (RSDA), 2019.
  42. Publication Co-Chairs, 11th International Workshop on Software Aging and Rejuvenation (WoSAR), 2019-2020.
  43. Program Committee Member, The 5th International Conference on Dependable Systems and Their Applications (DSA), 2018.
  44. Program Committee Member, IEEE International Symposium on Reliable Distributed Systems (SRDS), 2017-2018.
  45. Industrial Track Chair, The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), January, 2017.
  46. Technical Program Co-Chairs, 10th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), October, 2016.
  47. Workshop Co-chairs, The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE), November, 2014.
  48. Local Committee Members, The 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE), November, 2011.
  49. Program Committee Member, International Conference on Quantitative Evaluation of SysTems (QEST), 2017-2018.
  50. Program Committee Member, New Frontiers in Quantitative Methods in Informatics (InfQ), 2017-2018.
  51. Program Committee Member, IEEE/IFIP International Conference on Network and Service Management (CNSM), 2016-2019.
  52. Program Committee Member, International Workshop on Software Aging and Rejuvenation (WoSAR), 2010-2013, 2016-2019.
  53. Program Committee Member, International Workshop on Management of SDN and NFV Systems (ManSDN/NFV), 2015-2017.
  54. Program Committee Member, The 1st International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE), June, 2015-2017.
  55. Finance Co-Chairs, International Workshop on Software Aging and Rejuvenation (WoSAR), 2010-2013, 2017-2018.
  56. Program Committee Member, The 7th Latin-American Symposium on Dependable Computing (LADC), October, 2016.
  57. Program Committee Member, The 12th European Dependable Computing Conference (EDCC), September, 2016.
  58. Publicity Co-Chairs, Eighth International Workshop on Software Aging and Rejuvenation (WoSAR), 2016.
  59. Program Committee Member, The 12th European Workshop on Performance Engineering (EPEW), August, 2014-2015.
  60. General Co-Chairs, Seventh International Workshop on Software Aging and Rejuvenation (WoSAR), 2015.
  61. Program Committee Member, The 2nd International Symposium on Dependable Computing and Internet of Things (DCIT), November, 2015.
  62. Program Committee Member, International Workshop on Dependability and Security of System Operation (DSSO), September, 2014-2015.
  63. Program Committee Member, The 17th International Conference on High Performance Computing and Communications (HPCC), August, 2015.
  64. Program Committee Co-Chairs, Sixth International Workshop on Software Aging and Rejuvenation (WoSAR), 2014.
  65. Program Committee Member, The 9th IEEE International Conference on Autonomic and Trusted Computing (ATC), 2012.
  66. Program Committee Member, IARIA International Conference on Autonomic and Autonomous Systems (ICAS), 2008-2009.

Last update: 2025.3.14