ホーム > 町田文雄/ Machida, Fumio

町田文雄

Machida, Fumio

システム情報系 , 准教授
Institute of Systems and Information Engineering , Associate Professor

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

オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。

1. 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)
2. 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)
3. Comparison of Machine Learning Algorithms for Detecting Software Aging in SQL Server Nascimento; Maria Gizele; MACHIDA, Fumio; Moura (+1 著者) Andrade, Ermeson
The 13th Latin-American Symposium on Dependable and Secure Computing (2024)
4. 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)
5. 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)
6. A CTMDP Modeling for Multi-Stage Software Aging and Rejuvenation Wang, Nianqiu; MACHIDA, Fumio
The 35th International Symposium on Software Reliability Engineering Workshops (2024)
7. 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)
8. 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)
9. 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)
10. 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)
11. Empirical architecture comparison of two-input machine learning systems for vision tasks Kazuya, Wakigami; Fumio, Machida; Tuan, Phung-Duc
Formal Aspects of Computing 36: (2024) Semantic Scholar
12. 大規模言語モデルによるプログラム自動修復のパッチ生成過程の効率化細川, 隆之介; 町田, 文雄
情報処理学会第219回ソフトウェア工学研究会 (2024)
13. 多様な機械学習モデルを用いたAPIメソッドシーケンス推薦の信頼性改善松田, 蒼唯; 町田, 文雄
情報処理学会第219回ソフトウェア工学研究会 (2024)
14. Reliability Modeling for Three-version Machine Learning Systems through Bayesian Networks Qiang, Wen; MACHIDA, Fumio
Reliability Engineering & System Safety 260: (2024)
15. A Comparative Analysis of Software Aging in Relational Database System Environments Couto, Herderson; MACHIDA, Fumio; Callou, Gustavo; Andrade, Ermeson
IEEE Transactions on Emerging Topics in Computing (2024)
16. Understanding Container-based Services under Software Aging: Dependability and Performance Views Bai, Jin; Chang, Xiaolin; MACHIDA, Fumio; Trivedi, Kishor
IEEE Transactions on Sustainable Computing 10: 562 (2024)
17. エッジデバイスで動作する物体検出ソフトウェアのエナジーバグの調査廣井一歩; 町田, 文雄
第21回ディペンダブルシステムワークショップ (2023)
18. 複数カメラ画像を用いた3バージョン物体検出システムの信頼性評価高橋満帆; 町田, 文雄
日本信頼性学会第36回秋季信頼性シンポジウム (2023)
19. Software Aging Analysis in a Testing Framework Douglas, Dias; Andrade, Ermeson; Machida, Fumio
The 15th International Workshop on Software Aging and Rejuvenation (WoSAR) 222 (2023)
20. 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) 333 (2023)

1 2 3 … 5 »

1. Handbook of Software Aging and Rejuvenation Machida, Fumio; Maciel; Paulo R. M (担当:分担執筆, 範囲:Markov chains and Petri nets)
World Scientific 2020年5月
2. Advances in Computers Trivedi; Kishor S; Andrade; Ermeson C; Machida, Fumio (担当:分担執筆, 範囲:Combining performance and availability analysis in practice)
2012年

21. Availability modeling and analysis of a virtualized system using stochastic reward nets Kim, DongSeong; Hong, Jin B; Nguyen, Tuan Anh; Machida, Fumio; Park, Jong Sou; Trivedi; Kishor S
IEEE Int’l Conf. on Computer and Information Technology (CIT) 2016年
22. A test design method for resilient system on cloud infrastructure Machida, Fumio; Fujiwaka, Masaya; Koizumi, Seiichi
IEEE Int’l Conf. on Cloud Computing (CLOUD) 2016年
23. An optimal stopping problem for software rejuvenation in a job processing system Machida, Fumio; Miyoshi, Naoto
Int’l Works. on Software Aging and Rejuvenation 2015年
24. A scalable optimization framework for storage backup operations using Markov decision processes Xia, Ruofan; Machida, Fumio; Trivedi; Kishor S
IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC) 2015年
25. Just-in-time server procurement to private cloud for mobile thin-client service Machida, Fumio; Kohno, Shunsuke; Maebara, Kosuke; Nakagawa, Masayuki
IEEE/IFIP Int’l Conf. on Network and Service Management (CNSM) 2015年
26. Preventing recurrence of industrial control system accident using assurance case Machida, Fumio; Napolano, Mirko; Pietrantuono, Roberto; Cotroneo, Domenico
Int’l Works. on Software Certification (WoSoCER) 2015年
27. Optimizing resiliency of distributed video surveillance system for safer city Machida, Fumio; Fujiwaka, Masaya; Koizumi, Seiichi; Kimura, Daichi
IEEE Int'l Symp. on Software Reliability Engineering (ISSRE) Industry Track 2015年
28. An asset-based development approach for availability and safety analysis on a flood alert system Machida, Fumio; Xiang, Jianwen; Tadano, Kumiko; Hosono, Shigeru
IEEE/IFIP Int’l Conf. on Dependable Systems and Networks (DSN) workshop 2015年
29. Survivability as a generalization of recovery Poul, E. Heegaard; Bjarne, E. Helvik; Kishor; S. Trivedi; Machida, Fumio
Int’l Conf. on Design of Reliable Communication Networks (DRCN) 2015年
30. A Markov decision process approach for optimal data backup scheduling Xia, Ruofan; Machida, Fumio; Trivedi; Kishor S
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) workshop 2015年
31. Computing defects per million in cloud caused by virtual machine failures with replication Mondal; Subrota K; Muppala, Jogesh K; Machida, Fumio; Trivedi; Kishor S
IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC) 2014年
32. A systematic differential analysis for fast and robust detection of software aging Matias, Rivalino; Andrzejak, Artur; Machida, Fumio; Diego, Elias; Trivedi; Kishor S
IEEE Int’l Symp. on Reliable Distributed Systems (SRDS) 2014年
33. Analysis of persistence of relevance in systems with imperfect fault coverage Xiang, Jianwen; Machida, Fumio; Tadano, Kumiko; Maeno, Yoshiharu
Int’l Conf. on Computer Safety, Reliability and Security (SAFECOMP) 2014年
34. Server virtualized infrastructure for resilient voice communication service Machida, Fumio; Mibu, Ryota; Gokurakuji, Junichi; Yanoo, Kazuo; Tadano, Kumiko; Maeno, Yoshiharu; Sugawara, Tomoyoshi
IEEE/IFIP Network Operations and Management Symposium (NOMS) 2014年
35. Is cut sequence necessary in dynamic fault trees? Xiang, Jianwen; Machida, Fumio; Tadano, Kumiko; Hosono, Shigeru
IEEE Int'l Symp. on Software Reliability Engineering (ISSRE), Fast Abstracts 2014年
36. Composing hierarchical stochastic model from SysML for system availability analysis Machida, Fumio; Xiang, Jianwen; Tadano, Kumiko; Maeno, Yoshiharu
IEEE Int'l Symp. on Software Reliability Engineering (ISSRE) 2013年
37. 多様な機械学習モデルを用いたAPIメソッドシーケンス推薦の信頼性改善松田, 蒼唯; 町田, 文雄
情報処理学会第219回ソフトウェア工学研究会
38. 大規模言語モデルによるプログラム自動修復のパッチ生成過程の効率化細川, 隆之介; 町田, 文雄
情報処理学会第219回ソフトウェア工学研究会
39. 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
40. 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