MACHIDA Fumio

Affiliation

Institute of Systems and Information Engineering

Official title

Associate Professor

Sex

Male

KAKEN ID

50842209

URL

https://www.sd.cs.tsukuba.ac.jp/index.html

Email

Office

Laboratory for System Dependability

Research fields


Computer system
Mathematical informatics
Software

Research keywords


ディペンダビリティ
確率モデル
可用性
信頼性

Research projects


UAVフォッグコンピューティングのディペンダビリティ評価手法の研究	2024-04 -- 2026-03		The Telecommunications Advancement Foundation (TAF)/	2,944,000Yen
Dependability analysis of distributed surveillance system using UAVs	2022-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


2024-04	筑波大学システム情報系教育貢献賞
2024-04	2023 IEEE Computer Society Distinguished Contributor	Recoginition of technical contributions as an IEEE CS member
2023-10	IEEE Distinguished Paper Award on Dependable Computing	Reliability and Performance Evaluation of Two-input Machine Learning Systems
2021-10	Distinguished Reviewer Award	Distinguished reviews for International Symposium on Software Reliability Engineering (ISSRE 2021)
2021-07	Best Student Paper Award	2nd Place best student paper at IEEE World Forum on Internet of Things (WF-IoT)
2015-05	Best Paper Award	Performability modeling for RAID storage systems by Markov regenerative process
2014-04	文部科学大臣表彰若手科学者賞	仮想化システムにおけるソフトウェア若化および延命手法の研究
2007-06	Best Paper Award	Adaptive monitoring for virtual machine based reconfigurable enterprise systems

Articles

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

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

Teaching


2024-10 -- 2025-02	Computer Science Seminar Af	University of Tsukuba.
2024-10 -- 2025-02	Computer Science Seminar Bf	University of Tsukuba.
2024-04 -- 2024-08	Research in Computer Science Is	University of Tsukuba.
2024-10 -- 2025-02	Research in Computer Science IIf	University of Tsukuba.
2024-04 -- 2024-08	Computer Science Seminar B	University of Tsukuba.
2024-10 -- 2025-02	Computer Science Seminar B	University of Tsukuba.
2024-10 -- 2025-02	Research in Computer Science D	University of Tsukuba.
2024-10 -- 2025-02	Research in Computer Science B	University of Tsukuba.
2024-10 -- 2025-02	Research in Computer Science f	University of Tsukuba.
2024-10 -- 2025-02	Research in Computer Science A	University of Tsukuba.
more...

Talks

Nバージョン機械学習分類システムによる分類結果の正確性と安全性評価
町田文雄
日本信頼性学会第30回春季信頼性シンポジウム/2022-05-31
多様な分類器を用いた機械学習応用システムの信頼性
町田文雄
日本OR学会「4部合同研究会～確率モデルの新展開～」/2019-10-19
Nバージョンモデルによる機械学習応用システムの高信頼化
町田文雄
第17回ディペンダブルシステムワークショップ（DSW2019）/2019-12-06

Professional activities


2025 -- 2025	IEEE	Publicity Chair, 36th International Symposium on Software Reliability Engineering (ISSRE)
2024 -- 2024	IEEE	General chair, 35th International Symposium on Software Reliability Engineering (ISSRE)
2024 -- 2024	IEEE	Program Committee Co-Chairs, 29th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)
2024 -- 2024	IEEE	Poster Track Co-chair, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
2023 -- 2023	IEEE	Workshop Co-Chairs, International Symposium on Software Reliability Engineering
2021 -- 2021	IEEE	Publication Co-chair, International Workshop on Software Aging and Rejuvenation
2022 -- 2022	IEEE	Publication Co-chair, International Workshop on software Aging and Rejuvenation
2022 -- 2022	IEEE	Program Manager, International Symposium on Software Reliability Engineering
2021 -- 2021	IEEE	Workshop Co-Chairs, International Symposium on Software Reliability Engineering
2020 -- 2020	IEEE	Program Co-Chairs, Pacific Rim International Symposium on Dependable Computing
more...

University Management


2024-02 -- (current)	MDA教育推進室	室員
2024-04 -- (current)	優先配置プログラム推進室	アドバイザ
2024-04 -- (current)	国際交流委員会	委員
2023-04 -- 2025-03	総合科目専門部会委員
2023-04 -- (current)	情報科学類広報企画委員
2023-04 -- 2024-03	進路指導委員会
2023-04 -- (current)	共通科目「情報」推進室	室員
2023-04 -- 2024-03	情報科学類クラス担任（4年）
2022-04 -- 2024-03	情報理工学位プログラムCSセミナー担当	委員
2022-04 -- 2023-03	学類教育用計算機システム技術審査委員	委員
more...

(Last updated: 2025-05-09)