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

町田文雄

Machida, Fumio

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

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

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

1. 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
2. エッジデバイスで動作する物体検出ソフトウェアのエナジーバグの調査廣井一歩; 町田, 文雄
第21回ディペンダブルシステムワークショップ (2023)
3. 複数カメラ画像を用いた3バージョン物体検出システムの信頼性評価高橋満帆; 町田, 文雄
日本信頼性学会第36回秋季信頼性シンポジウム (2023)
4. Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View Bai, Jing; Li, Yaru; Chang, Xiaolin; Machida, Fumio (+1 著者) Kishor S
IEEE TRANSACTIONS ON CLOUD COMPUTING 11: 3367 (2023) Semantic Scholar
5. Using Diversities to Model the Reliability of Two-version Machine Learning Systems Machida, Fumio
IEEE Transactions on Emerging Topics in Computing 12: 810 (2023) Semantic Scholar
6. 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)
7. 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)
8. Reliability and Performance Evaluation of Two-input Machine Learning Systems Kazuya, Wakigami; Fumio, Machida; Tuan, Phung-Duc
Proceedings of 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023) (2023) Semantic Scholar
9. Assuring Autonomy of UAVs in Mission-critical Scenarios by Performability Modeling and Analysis Machida, Fumio; Andrade, Ermeson
ACM Transactions on Cyber-Physical Systems 8: (2023) Semantic Scholar
10. Performability analysis of adaptive drone computation offloading with fog computing Machida, Fumio; Zhang, Qingyang; Andrade, Ermeson
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE 145: 121 (2023) Semantic Scholar
11. Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT Bai, Jing; Chang, Xiaolin; Machida, Fumio; Trivedi, KishorLi, Yaru
IEEE TRANSACTIONS ON SERVICES COMPUTING 16: 2769 (2023) Semantic Scholar
12. 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) 149 (2023)
13. 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 214 (2023)
14. Software Aging in Real-Time Object Detection Systems on Edge Servers Watanabe, Kengo; Machida, Fumio; Andrade, Ermeson; Pietrantuono, RobertoCotroneo, Domenico
The 38th ACM/SIGAPP Symposium On Applied Computing (SAC) (2023)
15. A Comparative Analysis of Software Aging in Image Classifiers on Cloud and Edge Andrade, Ermeson; Pietrantuono, Roberto; Machida, Fumio; Cotroneo, Domenico
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 20: 563 (2023) Semantic Scholar
16. An Empirical Study on Software Aging of Long-Running Object Detection Algorithms Pietrantuono, Roberto; Domenico, Cotroneo; Andrade, Ermeson; Machida, Fumio
The 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS) (2022)
17. 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)
18. Modeling and Analysis of Deforestation Prevention by Uncrewed Aerial Vehicles-based monitoring systems Machida, Fumio; Andrade, Ermeson
ENVIRONMENTAL MODELLING & SOFTWARE 158: (2022) Semantic Scholar
19. 2入力機械学習システムの信頼性と性能評価脇上和也; 町田, 文雄
第20回ディペンダブルシステムワークショップ (DSW 2022) (2022)
20. 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)

1 2 3 4 »

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. Software Aging Analysis in a Testing Framework Douglas, Dias; Andrade, Ermeson; Machida, Fumio
The 15th International Workshop on Software Aging and Rejuvenation (WoSAR)
38. 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)
39. 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)
40. 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