町田 文雄(マチダ フミオ)

所属
システム情報系
職名
准教授
性別
男性
科研費番号
50842209
URL
eメール
+B68=>96Xgc8HaIHJ@J76a68a?E
研究室
システムディペンダビリティ研究室
研究分野
計算機システム
数理情報学
ソフトウェア
研究キーワード
ディペンダビリティ
確率モデル
可用性
信頼性
研究課題
UAVフォッグコンピューティングのディペンダビリティ評価手法の研究2024-04 -- 2026-03電気通信普及財団/2,944,000円
無人航空機（UAV）を活用した分散映像監視システムの信頼性評価手法の研究2022-09 -- 2022-10町田文雄日本学術振興会/外国人招へい研究者（短期）150,000円
機械学習システムを高信頼化するNバージョン構成手法の研究2022-04 -- 2025-03町田文雄日本学術振興会/若手研究4,550,000円
フォッグコンピューティング応用システムに対するスケーラブル信頼性設計技術の研究2019-10 -- 2022-03町田文雄筑波大学/研究基盤支援プログラム（Ｓタイプ）3,000,000円
深層学習システムの品質評価と安全性保証2019-06 -- 2020-03町田文雄筑波大学システム情報系/若手融合プロジェクト500,000円
機械学習モデル多様化による機械学習応用システムの高信頼化設計および評価2019-10 -- 2022-03町田文雄日本学術振興会/研究活動スタート支援2,860,000円
職歴
2019-02 -- 2019-04国立大学法人筑波大学システム情報系准教授
2003-04 -- 2019-01日本電気株式会社中央研究所
学歴
2015-04 -- 2018-03東京工業大学大学院 情報理工学研究科 数理・計算科学専攻博士課程
2001-04 -- 2003-03東京工業大学大学院 情報理工学研究科 計算工学専攻修士課程
取得学位
2018-03博士(学術)東京工業大学
2003-03修士(工学)東京工業大学
所属学協会
2010-04 -- (現在)IEEE
2019-03 -- (現在)ACM
2019-03 -- (現在)日本OR学会
2022-03 -- (現在)日本信頼性学会
受賞
2024-04筑波大学システム情報系教育貢献賞
2024-042023 IEEE Computer Society Distinguished ContributorRecoginition of technical contributions as an IEEE CS member
2023-10IEEE Distinguished Paper Award on Dependable ComputingReliability and Performance Evaluation of Two-input Machine Learning Systems
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
論文
  • Maintaining Performance of a Machine Learning System Against Imperfect Retraining
    Wang Zhengji; MACHIDA Fumio
    The 48th IEEE International Conference on Computers, Software, and Applications, 2024-07
  • Performability Modeling and Analysis for Real-Time Object Detection on UAV Systems
    Qingyang Zhang; MACHIDA Fumio; Andrade Ermeson
    The 48th IEEE International Conference on Computers, Software, and Applications, 2024-07
  • Exploiting Transformer Models in Three-version Image Classification Systems
    Afrin Shamima Poly; MACHIDA Fumio
    The 48th IEEE International Conference on Computers, Software, and Applications, 2024-07
  • Enhancing Autonomous Vehicle Safety through N-version Machine Learning Systems
    Qiang Wen; Mendonça Júlio; MACHIDA Fumio; Völp Marcus
    IJCAI Workshop on Artificial Intelligence Safety, 2024-08
  • A CTMDP Modeling for Multi-Stage Software Aging and Rejuvenation
    Wang Nianqiu; MACHIDA Fumio
    The 35th International Symposium on Software Reliability Engineering Workshops, 2024-10
  • Safety-Aware Weighted Voting for N-version Traffic Sign Recognition System
    Linyun Gao; Qiang Wen; MACHIDA Fumio
    The 35th International Symposium on Software Reliability Engineering Workshops, 2024-10
  • Energy Bugs in Object Detection Software on Battery-Powered Devices
    Hiroi Ippo; MACHIDA Fumio; Andrade Ermeson
    The 35th International Symposium on Software Reliability Engineering Workshops, 2024-10
  • Comparison of Machine Learning Algorithms for Detecting Software Aging in SQL Server
    Nascimento Maria Gizele; MACHIDA Fumio; Moura Rafael J...
    The 13th Latin-American Symposium on Dependable and Secure Computing, 2024-11
  • Vehicle Density-Aware Adaptive Offloading for UAV-Based Road Traffic Monitoring
    Furqan Mohammad Dwipa; MACHIDA Fumio; Andrade Ermeson
    The 9th IEEE International Conference on Fog and Edge Computing, 2025-05
  • Multi-version Machine Learning and Rejuvenation for Resilient Perception in Safety-critical Systems
    Qiang Wen; Mendonça Júlio; MACHIDA Fumio; Völp Marcus
    The 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025-06
  • 大規模言語モデルによるプログラム自動修復のパッチ生成過程の効率化
    細川 隆之介; 町田 文雄
    情報処理学会第219回ソフトウェア工学研究会, 2024-03
  • 多様な機械学習モデルを用いたAPIメソッドシーケンス推薦の信頼性改善
    松田 蒼唯; 町田 文雄
    情報処理学会第219回ソフトウェア工学研究会, 2024-03
  • A Comparative Analysis of Software Aging in Relational Database System Environments
    Couto Herderson; MACHIDA Fumio; Callou Gustavo; Andrad...
    IEEE Transactions on Emerging Topics in Computing, 2024
  • Understanding Container-based Services under Software Aging: Dependability and Performance Views
    Bai Jin; Chang Xiaolin; MACHIDA Fumio; Trivedi Kishor
    IEEE Transactions on Sustainable Computing, 2024
  • Reliability Modeling for Three-version Machine Learning Systems through Bayesian Networks
    MACHIDA Fumio; Qiang Wen
    Reliability Engineering & System Safety, 2024-03
  • Empirical architecture comparison of two-input machine learning systems for vision tasks
    Kazuya Wakigami; Fumio Machida; Tuan Phung-Duc
    Formal Aspects of Computing/36(4), 2024-06
  • Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View
    Bai Jing; Li Yaru; Chang Xiaolin; Machida Fumio; Triv...
    IEEE TRANSACTIONS ON CLOUD COMPUTING/11(4)/pp.3367-3380, 2023-10
  • エッジデバイスで動作する物体検出ソフトウェアのエナジーバグの調査
    廣井一歩; 町田 文雄
    第21回ディペンダブルシステムワークショップ, 2023-12
  • 複数カメラ画像を用いた3バージョン物体検出システムの信頼性評価
    高橋満帆; 町田 文雄
    日本信頼性学会第36回秋季信頼性シンポジウム, 2023-11
  • Bayesian Network Reliability Modeling for Three-version Machine Learning Systems
    Qiang Wen; Machida Fumio
    The 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks/pp.214-216, 2023-06
  • Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation
    Mendonça Júlio; Machida Fumio; Völp Marcus
    DSN Workshop on Dependable and Secure Machine Learning (DSML)/pp.149-156, 2023-06
  • Characterizing Reliability of Three-version Traffic Sign Classifier System through Diversity Metrics
    Qiang Wen; Machida Fumio
    The 34th IEEE International Symposium on Software Reliability Engineering (ISSRE)/pp.333-343, 2023-10
  • Software Aging Analysis in a Testing Framework
    Douglas Dias; Andrade Ermeson; Machida Fumio
    The 15th International Workshop on Software Aging and Rejuvenation (WoSAR)/pp.222-229, 2023-10
  • Assuring Autonomy of UAVs in Mission-critical Scenarios by Performability Modeling and Analysis
    Machida Fumio; Andrade Ermeson
    ACM Transactions on Cyber-Physical Systems/8(3), 2023-09
  • Using Diversities to Model the Reliability of Two-version Machine Learning Systems
    Machida Fumio
    IEEE Transactions on Emerging Topics in Computing/12(3)/pp.810-825, 2023-10
  • さらに表示...
著書
  • 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
会議発表等
  • Performance and Safety Evaluation for N-version Perception Systems
    MACHIDA Fumio
    Future Advanced Testing Technology Workshop 2024/2024-11
  • Nバージョン構成による機械学習システムの高信頼化
    町田 文雄
    ソフトウェアエンジニアリングシンポジウム2024/2024-08
  • Maintaining Performance of a Machine Learning System Against Imperfect Retraining
    Wang Zhengji; MACHIDA Fumio
    The 48th IEEE International Conference on Computers, Software, and Applications/2024-07
  • Performability Modeling and Analysis for Real-Time Object Detection on UAV Systems
    Qingyang Zhang; MACHIDA Fumio; Andrade Ermeson
    The 48th IEEE International Conference on Computers, Software, and Applications/2024-07
  • Exploiting Transformer Models in Three-version Image Classification Systems
    Afrin Shamima Poly; MACHIDA Fumio
    The 48th IEEE International Conference on Computers, Software, and Applications/2024-07
  • Enhancing Autonomous Vehicle Safety through N-version Machine Learning Systems
    Qiang Wen; Mendonça Júlio; MACHIDA Fumio; Völp Marcus
    IJCAI Workshop on Artificial Intelligence Safety/2024-08
  • A CTMDP Modeling for Multi-Stage Software Aging and Rejuvenation
    Wang Nianqiu; MACHIDA Fumio
    The 35th International Symposium on Software Reliability Engineering Workshops/2024-10
  • Safety-Aware Weighted Voting for N-version Traffic Sign Recognition System
    Linyun Gao; Qiang Wen; MACHIDA Fumio
    The 35th International Symposium on Software Reliability Engineering Workshops/2024-10
  • Energy Bugs in Object Detection Software on Battery-Powered Devices
    Hiroi Ippo; MACHIDA Fumio; Andrade Ermeson
    The 35th International Symposium on Software Reliability Engineering Workshops/2024-10
  • Comparison of Machine Learning Algorithms for Detecting Software Aging in SQL Server
    Nascimento Maria Gizele; MACHIDA Fumio; Moura Rafael Jos...
    The 13th Latin-American Symposium on Dependable and Secure Computing/2024-11
  • Vehicle Density-Aware Adaptive Offloading for UAV-Based Road Traffic Monitoring
    Furqan Mohammad Dwipa; MACHIDA Fumio; Andrade Ermeson
    The 9th IEEE International Conference on Fog and Edge Computing/2025-05
  • Multi-version Machine Learning and Rejuvenation for Resilient Perception in Safety-critical Systems
    Qiang Wen; Mendonça Júlio; MACHIDA Fumio; Völp Marcus
    The 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks/2025-06
  • 大規模言語モデルによるプログラム自動修復のパッチ生成過程の効率化
    細川 隆之介; 町田 文雄
    情報処理学会第219回ソフトウェア工学研究会/2024-03
  • 多様な機械学習モデルを用いたAPIメソッドシーケンス推薦の信頼性改善
    松田 蒼唯; 町田 文雄
    情報処理学会第219回ソフトウェア工学研究会/2024-03
  • A Continuous-Time Markov Decision Process Formulation for Software Rejuvenation Systems
    Wang Nianqiu; Machida Fumio
    第21回ディペンダブルシステムワークショップ/2023-12
  • Safety-aware Weighted Voting for N-Version Machine Learning Systems
    Gao Linyun; Machida Fumio
    第21回ディペンダブルシステムワークショップ/2023-12
  • エッジデバイスで動作する物体検出ソフトウェアのエナジーバグの調査
    廣井一歩; 町田 文雄
    第21回ディペンダブルシステムワークショップ/2023-12
  • 複数カメラ画像を用いた3バージョン物体検出システムの信頼性評価
    高橋満帆; 町田 文雄
    日本信頼性学会第36回秋季信頼性シンポジウム/2023-11
  • Bayesian Network Reliability Modeling for Three-version Machine Learning Systems
    Qiang Wen; Machida Fumio
    The 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks/2023-06
  • Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation
    Mendonça Júlio; Machida Fumio; Völp Marcus
    DSN Workshop on Dependable and Secure Machine Learning (DSML)/2023-06
  • Characterizing Reliability of Three-version Traffic Sign Classifier System through Diversity Metrics
    Qiang Wen; Machida Fumio
    The 34th IEEE International Symposium on Software Reliability Engineering (ISSRE)/2023-10
  • Software Aging Analysis in a Testing Framework
    Douglas Dias; Andrade Ermeson; Machida Fumio
    The 15th International Workshop on Software Aging and Rejuvenation (WoSAR)/2023-10
  • Reliability and Performance Evaluation of Two-input Machine Learning Systems
    Tuan Phung-Duc; Kazuya Wakigami; Fumio Machida
    28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023)/2023-10-24--2023-10-27
  • 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
  • さらに表示...
担当授業科目
2024-10 -- 2025-02情報理工後期特別演習Af筑波大学
2024-10 -- 2025-02情報理工後期特別演習Bf筑波大学
2024-04 -- 2024-08情報理工前期特別研究Is筑波大学
2024-10 -- 2025-02情報理工前期特別研究IIf筑波大学
2024-04 -- 2024-08コンピュータサイエンス特別演習B筑波大学
2024-10 -- 2025-02コンピュータサイエンス特別演習B筑波大学
2024-10 -- 2025-02情報理工前期特別研究D筑波大学
2024-10 -- 2025-02情報理工前期特別研究B筑波大学
2024-10 -- 2025-02情報理工後期特別研究f筑波大学
2024-10 -- 2025-02情報理工前期特別研究A筑波大学
さらに表示...
一般講演
  • Nバージョン機械学習分類システムによる分類結果の正確性と安全性評価
    町田 文雄
    日本信頼性学会 第30回春季信頼性シンポジウム/2022-05-31
  • 多様な分類器を用いた機械学習応用システムの信頼性
    町田 文雄
    日本OR学会「4部合同研究会 ～確率モデルの新展開～」/2019-10-19
  • Nバージョンモデルによる機械学習応用システムの高信頼化
    町田 文雄
    第17回 ディペンダブルシステムワークショップ（DSW2019）/2019-12-06
学協会等委員
2025 -- 2025IEEEPublicity Chair, 36th International Symposium on Software Reliability Engineering (ISSRE)
2024 -- 2024IEEEGeneral chair, 35th International Symposium on Software Reliability Engineering (ISSRE)
2024 -- 2024IEEEProgram Committee Co-Chairs, 29th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)
2024 -- 2024IEEEPoster Track Co-chair, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
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
さらに表示...
学内管理運営業績
2024-02 -- (現在)MDA教育推進室室員
2024-04 -- (現在)優先配置プログラム推進室アドバイザ
2024-04 -- (現在)国際交流委員会委員
2023-04 -- 2025-03総合科目専門部会委員
2023-04 -- (現在)情報科学類広報企画委員
2023-04 -- 2024-03進路指導委員会
2023-04 -- (現在)共通科目「情報」推進室室員
2023-04 -- 2024-03情報科学類クラス担任（4年）
2022-04 -- 2024-03情報理工学位プログラムCSセミナー担当委員
2022-04 -- 2023-03学類教育用計算機システム技術審査委員委員
さらに表示...

(最終更新日: 2025-05-09)