Machida Fumio

Affiliation
Institute of Systems and Information Engineering
Official title
Associate Professor
Sex
Male
KAKEN ID
50842209
URL
Email
%H<>CD?<^mi>NgONPFP=<g<>gEK
Office
Laboratory for System Dependability
Research fields
Computer system
Mathematical informatics
Software
Research keywords
ディペンダビリティ
確率モデル
可用性
信頼性
Research projects
Dependability analysis of distributed surveillance system using UAVs2022-09 -- 2022-10町田文雄Japan Society of for the Promotion of Science/外国人招へい研究者（短期）150,000Yen
機械学習システムを高信頼化するNバージョン構成手法の研究2022-04 -- 2025-03町田文雄日本学術振興会/若手研究4,550,000Yen
フォッグコンピューティング応用システムに対するスケーラブル信頼性設計技術の研究2019-10 -- 2022-03町田文雄筑波大学/研究基盤支援プログラム（Ｓタイプ）3,000,000Yen
深層学習システムの品質評価と安全性保証2019-06 -- 2020-03町田文雄筑波大学システム情報系/若手融合プロジェクト500,000Yen
機械学習モデル多様化による機械学習応用システムの高信頼化設計および評価2019-10 -- 2022-03町田文雄日本学術振興会/研究活動スタート支援2,860,000Yen
Career history
2019-02 -- 2019-04国立大学法人筑波大学システム情報系准教授
2003-04 -- 2019-01日本電気株式会社中央研究所
Academic background
2015-04 -- 2018-03東京工業大学大学院 情報理工学研究科 数理・計算科学専攻博士課程
2001-04 -- 2003-03東京工業大学大学院 情報理工学研究科 計算工学専攻修士課程
Degree
2018-03博士(学術)東京工業大学
2003-03修士(工学)東京工業大学
Academic societies
2010-04 -- (current)IEEE
2019-03 -- (current)ACM
2019-03 -- (current)日本OR学会
2022-03 -- (current)RILIABILITY ENGINEERING ASSOCIATION OF JAPAN
Honors & Awards
2021-10Distinguished Reviewer AwardDistinguished reviews for International Symposium on Software Reliability Engineering (ISSRE 2021)
2021-07Best Student Paper Award2nd Place best student paper at IEEE World Forum on Internet of Things (WF-IoT)
2015-05Best Paper AwardPerformability modeling for RAID storage systems by Markov regenerative process
2014-04文部科学大臣表彰若手科学者賞仮想化システムにおけるソフトウェア若化および延命手法の研究
2007-06Best Paper AwardAdaptive monitoring for virtual machine based reconfigurable enterprise systems
Articles
  • Performability analysis of adaptive drone computation offloading with fog computing
    Machida Fumio; Zhang Qingyang; Andrade Ermeson
    Future Generation Computer Systems, 2023-08
  • Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT
    Bai Jing; Chang Xiaolin; Machida Fumio; Trivedi Kishor; L...
    IEEE Transactions on Services Computing, 2023
  • Software Aging in Real-Time Object Detection Systems on Edge Servers
    Watanabe Kengo; Machida Fumio; Andrade Ermeson; Pietrantu...
    The 38th ACM/SIGAPP Symposium On Applied Computing (SAC), 2023-03
  • An Empirical Study on Software Aging of Long-Running Object Detection Algorithms
    Pietrantuono Roberto; Domenico Cotroneo; Andrade Ermeson...
    The 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS), 2022-12
  • How Data Diversification Benefits the Reliability of Three-version Image Classification Systems
    Takahashi Mitsuho; Machida Fumio; Wen Qiang
    The 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2022-12
  • Performance Bottleneck Analysis of Drone Computation Offloading to a Shared Fog Node
    Zhang Qingyang; Machida Fumio; Andrade Ermeson
    The 12th IEEE International Workshop on Software Certification (WoSoCer), 2022-10
  • Analysis of Software Aging in a Blockchain Platform
    Dias Douglas; Andrade Ermeson; Machida Fumio
    The 14th International Workshop on Software Aging and Rejuvenation (WoSAR), 2022-10
  • Availability Analysis of a Drone System with Proactive Offloading for Software Life-extension
    Watanabe Kengo; Machida Fumio
    IEEE Conference on Omni-layer INtelligent Systems (COINS), 2022-08
  • Reliability Models and Analysis for Triple-model with Triple-input Machine Learning Systems
    Wen Qiang; Machida Fumio
    IEEE Conference on Dependable and Secure Computing (DSC), 2022-05
  • 2入力機械学習システムの信頼性と性能評価
    脇上和也; 町田 文雄
    第20回ディペンダブルシステムワークショップ (DSW 2022), 2022-12-15
  • Modeling and Analysis of Deforestation Prevention by Uncrewed Aerial Vehicles-based monitoring systems
    Machida Fumio; Andrade Ermeson
    ENVIRONMENTAL MODELLING & SOFTWARE/158, 2022-12
  • 画像処理タスクのオフローディングによるドローンシステムのソフトウェア延命
    渡邉賢吾; 町田 文雄
    ディペンダブルシステムワークショップ（DSW 2021）, 2021-12
  • Nバージョン機械学習分類システムによる分類結果の正確性と安全性評価
    町田 文雄
    日本信頼性学会 第30回春季信頼性シンポジウム, 2022-05
  • Quantitative understanding serial-parallel hybrid SFC services: a dependability perspective
    Bai Jing; Chang Xiaolin; Machida Fumio; Han Zhen; Xu Yan...
    PEER-TO-PEER NETWORKING AND APPLICATIONS/15(4)/pp.1923-1938, 2022-05
  • Availability Modeling for Drone Image Processing Systems with Adaptive Offloading
    Machida Fumio; Andrade Ermeson
    IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)/pp.93-103, 2021-12
  • Performance analysis of machine learning-based systems for detecting deforestation
    Araujo Michel de; Andrade Ermeson; Machida Fumio
    Brazilian Symposium on Computing Systems Engineering (SBESC)/pp.1-8, 2021-11
  • Memory Degradation Analysis in Private and Public Cloud Environments
    Andrade Ermeson; Machida Fumio; Pietrantuono Roberto; Cot...
    International Workshop on Software Aging and Rejuvenation/pp.33-39, 2021-10
  • Failure threshold setting for Wiener-process-based remaining useful life estimation
    Liu Xingzhi; Machida Fumio
    IEEE Global Reliability & Prognostics and Health Management Conference/pp.1-5, 2021-06
  • Impact of Service Function Aging on the Dependability for MEC Service Function Chain
    Bai Jing; Chang Xiaolin; Machida Fumio; Jiang Lili; Han ...
    IEEE Transactions on Dependable and Secure Computing, 2022-01
  • A Comparative Analysis of Software Aging in Image Classifiers on Cloud and Edge
    Andrade Ermeson; Pietrantuono Roberto; Machida Fumio; Cot...
    IEEE Transactions on Dependable and Secure Computing, 2021-12
  • A Robustness Evaluation of Concept Drift Detectors against Unreliable Data Streams
    Machida Fumio; Wang Sixiang
    IEEE 7th World Forum on the Internet of Things, 2021-06
  • PA-offload: Performability-aware Adaptive Fog Offloading for Drone Image Processing
    Machida Fumio; Andrade Ermeson
    IEEE International Conference on Fog and Edge Computing (ICFEC2021), 2021-05
  • A Queueing Analysis of Multi-model Multi-input Machine Learning Systems
    Tuan Phung-Duc; Yuta Makino; Fumio Machida
    Proceedings of The 4th DSN Workshop on Dependable and Secure Machine Learning (DSN-DSML'21), 2021-06
  • Software aging in image classification systems on cloud and edge
    Machida Fumio; Andrade Ermeson; Pietrantuono Roberto; Cot...
    Proceedings of IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)/pp.342-348, 2020-10
  • Markov chains and Petri nets for software rejuvenation systems
    Machida Fumio; Paulo R. M. Maciel
    IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)/pp.325-326, 2020-10
  • more...
Books
  • Markov chains and Petri nets
    Machida Fumio; Maciel Paulo R. M.
    Handbook of Software Aging and Rejuvenation/World Scientific/pp.93-126, 2020-05
  • Combining performance and availability analysis in practice
    Trivedi Kishor S.; Andrade Ermeson C.; Machida Fumio
    Advances in Computers/pp.1-38, 2012
Conference, etc.
  • Software Aging in Real-Time Object Detection Systems on Edge Servers
    Watanabe Kengo; Machida Fumio; Andrade Ermeson; Pietrantu...
    The 38th ACM/SIGAPP Symposium On Applied Computing (SAC)/2023-03
  • An Empirical Study on Software Aging of Long-Running Object Detection Algorithms
    Pietrantuono Roberto; Domenico Cotroneo; Andrade Ermeson...
    The 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS)/2022-12
  • How Data Diversification Benefits the Reliability of Three-version Image Classification Systems
    Takahashi Mitsuho; Machida Fumio; Wen Qiang
    The 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)/2022-12
  • Performance Bottleneck Analysis of Drone Computation Offloading to a Shared Fog Node
    Zhang Qingyang; Machida Fumio; Andrade Ermeson
    The 12th IEEE International Workshop on Software Certification (WoSoCer)/2022-10
  • Analysis of Software Aging in a Blockchain Platform
    Dias Douglas; Andrade Ermeson; Machida Fumio
    The 14th International Workshop on Software Aging and Rejuvenation (WoSAR)/2022-10
  • Availability Analysis of a Drone System with Proactive Offloading for Software Life-extension
    Watanabe Kengo; Machida Fumio
    IEEE Conference on Omni-layer INtelligent Systems (COINS)/2022-08
  • Reliability Models and Analysis for Triple-model with Triple-input Machine Learning Systems
    Wen Qiang; Machida Fumio
    IEEE Conference on Dependable and Secure Computing (DSC)/2022-05
  • Toward performance and reliability assurance of UAV-based ecological monitoring systems
    張清洋; 町田 文雄
    第20回ディペンダブルシステムワークショップ (DSW 2022)/2022-12-15
  • 2入力機械学習システムの信頼性と性能評価
    脇上和也; 町田 文雄
    第20回ディペンダブルシステムワークショップ (DSW 2022)/2022-12-15
  • Nバージョン機械学習モデルによるシステム高信頼化のための入力データ多様化
    高橋満帆; 町田 文雄
    ディペンダブルシステムワークショップ（DSW 2021）/2021-12-16--2021-12-17
  • 画像処理タスクのオフローディングによるドローンシステムのソフトウェア延命
    渡邉賢吾; 町田 文雄
    ディペンダブルシステムワークショップ（DSW 2021）/2021-12-16--2021-12-17
  • Nバージョン機械学習分類システムによる分類結果の正確性と安全性評価
    町田 文雄
    日本信頼性学会 第30回春季信頼性シンポジウム/2022-05
  • Availability Modeling for Drone Image Processing Systems with Adaptive Offloading
    Machida Fumio; Andrade Ermeson
    IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)/2021-12-01--2021-12-04
  • Performance analysis of machine learning-based systems for detecting deforestation
    Araujo Michel de; Andrade Ermeson; Machida Fumio
    Brazilian Symposium on Computing Systems Engineering (SBESC)/2021-11-21--2021-11-24
  • Memory Degradation Analysis in Private and Public Cloud Environments
    Andrade Ermeson; Machida Fumio; Pietrantuono Roberto; Cot...
    International Workshop on Software Aging and Rejuvenation/2021-10-25
  • Failure threshold setting for Wiener-process-based remaining useful life estimation
    Liu Xingzhi; Machida Fumio
    IEEE Global Reliability & Prognostics and Health Management Conference/2021-10-15--2021-10-17
  • A Queueing Analysis of Multi-model Multi-input Machine Learning Systems
    Tuan Phung-Duc; Yuta Makino; Fumio Machida
    The 4th DSN Workshop on Dependable and Secure Machine Learning (DSN-DSML'21)/2021-06-21--2021-06-21
  • マルコフ連鎖を用いた多モデル多入力型機械学習システムの性能評価
    巻野 侑大; Tuan Phung-Duc; 町田　文雄
    第37回（2020年度）待ち行列シンポジウム「確率モデルとその応用」/2021-01-25--2021-01-27
  • A Robustness Evaluation of Concept Drift Detectors against Unreliable Data Streams
    Machida Fumio; Wang Sixiang
    IEEE 7th World Forum on the Internet of Things/2021-06
  • PA-offload: Performability-aware Adaptive Fog Offloading for Drone Image Processing
    Machida Fumio; Andrade Ermeson
    IEEE International Conference on Fog and Edge Computing (ICFEC2021)/2021-05
  • Software aging in image classification systems on cloud and edge
    Machida Fumio; Andrade Ermeson; Pietrantuono Roberto; Cot...
    International Workshop on Software Aging and Rejuvenation (WoSAR)/2020-10
  • Markov chains and Petri nets for software rejuvenation systems
    Machida Fumio; Paulo R. M. Maciel
    International Workshop on Software Aging and Rejuvenation (WoSAR)/2020-10
  • 多様な分類器を用いた機械学習応用システムの信頼性
    町田 文雄
    日本OR学会「4部合同研究会 ～確率モデルの新展開～」/2019-10-19
  • Nバージョンモデルによる機械学習応用システムの高信頼化
    町田 文雄
    第17回 ディペンダブルシステムワークショップ（DSW2019）/2019-12-06
  • N-version machine learning models for safety critical systems
    Machida Fumio
    DSN Workshop on Dependable and Secure Machine Learning/2019-06
  • more...
Teaching
2023-10 -- 2024-02Research in Computer Science IIfUniversity of Tsukuba.
2023-10 -- 2024-02Research in Computer Science IfUniversity of Tsukuba.
2023-04 -- 2023-08Research in Computer Science IsUniversity of Tsukuba.
2023-04 -- 2023-08Research in Computer Science IIsUniversity of Tsukuba.
2023-04 -- 2023-08Seminar in Computer Science sUniversity of Tsukuba.
2023-10 -- 2024-02Research in Computer Science fUniversity of Tsukuba.
2023-10 -- 2024-02Seminar in Computer Science fUniversity of Tsukuba.
2023-10 -- 2024-02Computer Science Seminar BUniversity of Tsukuba.
2023-04 -- 2023-08Computer Science Seminar BUniversity of Tsukuba.
2023-10 -- 2024-02Computer Science Seminar AfUniversity of Tsukuba.
more...
Talks
  • Nバージョン機械学習分類システムによる分類結果の正確性と安全性評価
    町田 文雄
    日本信頼性学会 第30回春季信頼性シンポジウム/2022-05-31
  • 多様な分類器を用いた機械学習応用システムの信頼性
    町田 文雄
    日本OR学会「4部合同研究会 ～確率モデルの新展開～」/2019-10-19
  • Nバージョンモデルによる機械学習応用システムの高信頼化
    町田 文雄
    第17回 ディペンダブルシステムワークショップ（DSW2019）/2019-12-06
Professional activities
2023 -- 2023IEEEWorkshop Co-Chairs, International Symposium on Software Reliability Engineering
2021 -- 2021IEEEPublication Co-chair, International Workshop on Software Aging and Rejuvenation
2022 -- 2022IEEEPublication Co-chair, International Workshop on software Aging and Rejuvenation
2022 -- 2022IEEEProgram Manager, International Symposium on Software Reliability Engineering
2021 -- 2021IEEEWorkshop Co-Chairs, International Symposium on Software Reliability Engineering
2020 -- 2020IEEEProgram Co-Chairs, Pacific Rim International Symposium on Dependable Computing
2020 -- 2020IEEEFast Abstract Co-chairs, International Symposium on Software Reliability Engineering
2020 -- 2020EAILocal Chair, 13th EAI International Conference on Performance Evaluation Methodologies and Tools
2020 -- 2020IEEE/IFIPFast Abstracts & Posters Chairs, International Conference on Dependable Systems and Networks
University Management
2023-04 -- 2025-03総合科目専門部会委員
2023-04 -- (current)情報科学類広報企画委員
2023-04 -- 2024-03進路指導委員会
2023-04 -- (current)共通科目「情報」推進室室員
2023-04 -- 2024-03情報科学類クラス担任（4年）
2022-04 -- (current)情報理工学位プログラムCSセミナー担当委員
2022-04 -- 2023-03学類教育用計算機システム技術審査委員委員
2022-04 -- 2023-03情報科学類クラス担任（3年）
2022-04 -- (current)国費留学生優先配置プログラム推進室室長
2021-04 -- 2023-03システム情報工学研究群FD委員委員
more...

(Last updated: 2023-08-30)