Fumio Machida

According to our database, Fumio Machida authored at least 101 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Assuring Autonomy of UAVs in Mission-critical Scenarios by Performability Modeling and Analysis.

Ermeson Carneiro de Andrade, Fumio Machida

ACM Trans. Cyber Phys. Syst., July, 2024

Using Diversities to Model the Reliability of Two-Version Machine Learning Systems.

Fumio Machida

IEEE Trans. Emerg. Top. Comput., 2024

Performability Modeling and Analysis for Real-Time Object Detection on UAV Systems.

Qingyang Zhang, Fumio Machida, Ermeson C. Andrade

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Maintaining Performance of a Machine Learning System Against Imperfect Retraining.

Zhengji Wang, Fumio Machida

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Exploiting Transformer Models in Three-Version Image Classification Systems.

Shamima Afrin, Fumio Machida

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

Performability analysis of adaptive drone computation offloading with fog computing.

Fumio Machida, Qingyang Zhang, Ermeson C. Andrade

Future Gener. Comput. Syst., August, 2023

Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT.

Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Yaru Li

IEEE Trans. Serv. Comput., 2023

Impact of Service Function Aging on the Dependability for MEC Service Function Chain.

Jing Bai, Xiaolin Chang, Fumio Machida, Lili Jiang, Zhen Han, Kishor S. Trivedi

IEEE Trans. Dependable Secur. Comput., 2023

A Comparative Analysis of Software Aging in Image Classifiers on Cloud and Edge.

Ermeson C. Andrade, Roberto Pietrantuono, Fumio Machida, Domenico Cotroneo

IEEE Trans. Dependable Secur. Comput., 2023

Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View.

Jing Bai, Yaru Li, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi

IEEE Trans. Cloud Comput., 2023

On Metaverse Application Dependability Analysis.

Yingfan Zong, Jing Bai, Xiaolin Chang, Fumio Machida, Yingsi Zhao

CoRR, 2023

Understanding Container-based Services under Software Aging: Dependability and Performance Views.

Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi

CoRR, 2023

Towards Semi-Markov Model-based Dependability Evaluation of VM-based Multi-Domain Service Function Chain.

Lina Liu, Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Haoran Zhu

CoRR, 2023

Software Aging in a Real-Time Object Detection System on an Edge Server.

Kengo Watanabe, Fumio Machida, Ermeson Carneiro de Andrade, Roberto Pietrantuono, Domenico Cotroneo

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Reliability and Performance Evaluation of Two-input Machine Learning Systems.

Kazuya Wakigami, Fumio Machida, Tuan Phung-Duc

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Characterizing Reliability of Three-version Traffic Sign Classifier System through Diversity Metrics.

Qiang Wen, Fumio Machida

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Software Aging Analysis in a Testing Framework.

Douglas Dias, Fumio Machida, Ermeson C. Andrade

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

Bayesian Network Reliability Modeling for Three-version Machine Learning Systems.

Qiang Wen, Fumio Machida

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation.

Júlio Mendonça, Fumio Machida, Marcus Völp

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Analysis of Optimal File Placement for Energy-Efficient File-Sharing Cloud Storage System.

Fumio Machida, Koji Hasebe, Hirotake Abe, Kazuhiko Kato

IEEE Trans. Sustain. Comput., 2022

Quantitative understanding serial-parallel hybrid sfc services: a dependability perspective.

Jing Bai, Xiaolin Chang, Fumio Machida, Zhen Han, Yang Xu, Kishor S. Trivedi

Peer-to-Peer Netw. Appl., 2022

Modeling and Analysis of Deforestation Prevention by Uncrewed Aerial Vehicles-based monitoring systems.

Fumio Machida, Ermeson Carneiro de Andrade

Environ. Model. Softw., 2022

An Empirical Study on Software Aging of Long-Running Object Detection Algorithms.

Roberto Pietrantuono, Domenico Cotroneo, Ermeson C. Andrade, Fumio Machida

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

How Data Diversification Benefits the Reliability of Three-version Image Classification Systems.

Mitsuho Takahashi, Fumio Machida, Qiang Wen

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Performance Bottleneck Analysis of Drone Computation Offloading to a Shared Fog Node.

Qingyang Zhang, Fumio Machida, Ermeson Carneiro de Andrade

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Analysis of Software Aging in a Blockchain Platform.

Douglas Dias, Fumio Machida, Ermeson Carneiro de Andrade

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Reliability Models and Analysis for Triple-model with Triple-input Machine Learning Systems.

Qiang Wen, Fumio Machida

Proceedings of the IEEE Conference on Dependable and Secure Computing, 2022

Availability Analysis of a Drone System with Proactive Offloading for Software Life-extension.

Kengo Watanabe, Fumio Machida

Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2022

2021

A Robustness Evaluation of Concept Drift Detectors against Unreliable Data Streams.

Sixiang Wang, Fumio Machida

Proceedings of the 7th IEEE World Forum on Internet of Things, 2021

Performance Analysis of Machine Learning-Based Systems for Detecting Deforestation.

Michel de Araújo, Ermeson C. Andrade, Fumio Machida

Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021

Availability Modeling for Drone Image Processing Systems with Adaptive Offloading.

Fumio Machida, Ermeson C. Andrade

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

Memory Degradation Analysis in Private and Public Cloud Environments.

Ermeson Carneiro de Andrade, Fumio Machida, Roberto Pietrantuono, Domenico Cotroneo

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

PA-Offload: Performability-Aware Adaptive Fog Offloading for Drone Image Processing.

Fumio Machida, Ermeson Carneiro de Andrade

Proceedings of the 5th IEEE International Conference on Fog and Edge Computing, 2021

A Queueing Analysis of Multi-model Multi-input Machine Learning Systems.

Yuta Makino, Tuan Phung-Duc, Fumio Machida

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020

Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views.

Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Zhen Han

IEEE Access, 2020

Markov chains and Petri nets for software rejuvenation systems.

Fumio Machida, Paulo R. M. Maciel

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Software Aging in Image Classification Systems on Cloud and Edge.

Ermeson C. Andrade, Fumio Machida, Roberto Pietrantuono, Domenico Cotroneo

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Markov Chains and Petri Nets.

Fumio Machida, Paulo R. M. Maciel

Proceedings of the Handbook of Software Aging and Rejuvenation, 2020

2019

Practices in Model Component Reuse for Efficient Dependability Analysis.

Fumio Machida

Proceedings of the Companion of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019

On the Diversity of Machine Learning Models for System Reliability.

Fumio Machida

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

Analysis of Software Aging Impacts on Plant Anomaly Detection with Edge Computing.

Ermeson C. Andrade, Fumio Machida

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

N-Version Machine Learning Models for Safety Critical Systems.

Fumio Machida

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2019

2018

Performability Modeling for RAID Storage Systems by Markov Regenerative Process.

Fumio Machida, Ruofan Xia, Kishor S. Trivedi

IEEE Trans. Dependable Secur. Comput., 2018

2017

Lifetime Extension of Software Execution Subject to Aging.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno

IEEE Trans. Reliab., 2017

Analysis of an optimal stopping problem for software rejuvenation in a deteriorating job processing system.

Fumio Machida, Naoto Miyoshi

Reliab. Eng. Syst. Saf., 2017

End-to-End reliability assurance of service chain embedding for network function virtualization.

Shashank Bijwe, Fumio Machida, Shinya Ishida, Seiichi Koizumi

Proceedings of the 2017 IEEE Conference on Network Function Virtualization and Software Defined Networks, 2017

2016

A Test Design Method for Resilient System on Cloud Infrastructure.

Masaya Fujiwaka, Fumio Machida, Seiichi Koizumi

Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

Availability Modeling and Analysis of a Virtualized System Using Stochastic Reward Nets.

Dong Seong Kim, Jin B. Hong, Tuan Anh Nguyen, Fumio Machida, Jong Sou Park, Kishor S. Trivedi

Proceedings of the 2016 IEEE International Conference on Computer and Information Technology, 2016

2015

An Imperfect Fault Coverage Model With Coverage of Irrelevant Components.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno

IEEE Trans. Reliab., 2015

A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes.

Ruofan Xia, Fumio Machida, Kishor S. Trivedi

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Preventing recurrence of industrial control system accident using assurance case.

Mirko Napolano, Fumio Machida, Roberto Pietrantuono, Domenico Cotroneo

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

An optimal stopping problem for software rejuvenation in a job processing system.

Fumio Machida, Naoto Miyoshi

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Optimizing resiliency of distributed video surveillance system for safer city.

Fumio Machida, Masaya Fujiwaka, Seiichi Koizumi, Daichi Kimura

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Shigeru Hosono

Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

Survivability as a generalization of recovery.

Poul E. Heegaard, Bjarne E. Helvik, Kishor S. Trivedi, Fumio Machida

Proceedings of the 11th International Conference on the Design of Reliable Communication Networks, 2015

Just-in-time server procurement to private cloud for mobile thin-client service.

Fumio Machida, Shunsuke Kohno, Kosuke Maebara, Masayuki Nakagawa

Proceedings of the 11th International Conference on Network and Service Management, 2015

2014

Performance and Availability Modeling of ITSystems with Data Backup and Restore.

Ruofan Xia, Xiaoyan Yin, Javier Alonso Lopez, Fumio Machida, Kishor S. Trivedi

IEEE Trans. Dependable Secur. Comput., 2014

Job completion time on a virtualized server with software rejuvenation.

Fumio Machida, Victor F. Nicola, Kishor S. Trivedi

ACM J. Emerg. Technol. Comput. Syst., 2014

A Systematic Differential Analysis for Fast and Robust Detection of Software Aging.

Rivalino Matias, Artur Andrzejak, Fumio Machida, Diego Elias, Kishor S. Trivedi

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the Computer Safety, Reliability, and Security, 2014

Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication.

Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Virtualized server infrastructure for resilient voice communication service.

Fumio Machida, Ryota Mibu, Junichi Gokurakuji, Kazuo Yanoo, Kumiko Tadano, Yoshiharu Maeno, Tomoyoshi Sugawara

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

Is Cut Sequence Necessary in Dynamic Fault Trees?

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Shigeru Hosono

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

A Markov Decision Process Approach for Optimal Data Backup Scheduling.

Ruofan Xia, Fumio Machida, Kishor S. Trivedi

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

Modeling and analysis of software rejuvenation in a server virtualized system with live VM migration.

Fumio Machida, Dong Seong Kim, Kishor S. Trivedi

Perform. Evaluation, 2013

Coverage of Irrelevant Components in Systems with Imperfect Fault Coverage.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno, Kazuo Yanoo

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Identification of Smallest Unacceptable Combinations of Simultaneous Component Failures in Information Systems.

Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno

IEICE Trans. Inf. Syst., 2013

Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval.

Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

A Static Analysis of Dynamic Fault Trees with Priority-AND Gates.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Persistence of relevance: A missing issue in imperfect coverage models.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Composing hierarchical stochastic model from SysML for system availability analysis.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

On the effectiveness of Mann-Kendall test for detection of software aging.

Fumio Machida, Artur Andrzejak, Rivalino Matias, Elder V. P. Sobrinho

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Software rejuvenation impacts on a phased-mission system for Mars exploration.

Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Performability analysis of RAID10 versus RAID6.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno, Takashi Horikawa

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

Sensitivity Analysis of Server Virtualized System Availability.

Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi

IEEE Trans. Reliab., 2012

Combining Performance and Availability Analysis in Practice.

Kishor S. Trivedi, Ermeson C. Andrade, Fumio Machida

Adv. Comput., 2012

Combined Server Rejuvenation in a Virtualized Data Center.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012

Availability Modeling and Analysis for Data Backup and Restore Operations.

Xiaoyan Yin, Javier Alonso, Fumio Machida, Ermeson C. Andrade, Kishor S. Trivedi

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems.

Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Software Life-Extension: A New Countermeasure to Software Aging.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Aging-Related Bugs in Cloud Computing Software.

Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011

Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML.

Fumio Machida, Ermeson C. Andrade, Dong Seong Kim, Kishor S. Trivedi

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

Efficient Analysis of Fault Trees with Voting Gates.

Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Design Improvement of System Administrative Operations for Certification.

Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi

Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011

Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation.

Fumio Machida, Victor F. Nicola, Kishor S. Trivedi

Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets.

Ermeson C. Andrade, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi

Proceedings of the Sixth International Conference on Availability, 2011

2010

Redundant virtual machine placement for fault-tolerant consolidated server clusters.

Fumio Machida, Masahiro Kawato, Yoshiharu Maeno

Proceedings of the IEEE/IFIP Network Operations and Management Symposium, 2010

Modeling and analysis of software rejuvenation in a server virtualized system.

Fumio Machida, Dong Seong Kim, Kishor S. Trivedi

Proceedings of the Second IEEE International Workshop on Software Aging and Rejuvenation, 2010

Digital Watermarking of Virtual Machine Images.

Kumiko Tadano, Masahiro Kawato, Ryo Furukawa, Fumio Machida, Yoshiharu Maeno

Proceedings of the Advances in Digital Forensics VI, 2010

Renovating legacy distributed systems using virtual appliance with dependency graph.

Fumio Machida, Masahiro Kawato, Yoshiharu Maeno

Proceedings of the 6th International Conference on Network and Service Management, 2010

Resource Information Cache Update Control for Scalable Access Control Management Systems.

Kumiko Tadano, Masahiro Kawato, Fumio Machida, Yoshiharu Maeno

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

Automatic Cache Update Control for Scalable Resource Information Service with WS-Management.

Kumiko Tadano, Fumio Machida, Masahiro Kawato, Yoshiharu Maeno

Proceedings of the Systems and Virtualization Management. Standards and the Cloud, 2009

Availability Modeling and Analysis of a Virtualized System.

Dong Seong Kim, Fumio Machida, Kishor S. Trivedi

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

2008

CIM-Based Resource Information Management for Integrated Access Control Manager.

Fumio Machida, Kumiko Tadano, Masahiro Kawato, Takayuki Ishikawa, Yoichiro Morita, Masayuki Nakae

Proceedings of the Systems and Virtualization Management. Standards and New Technologies, 2008

Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center.

Fumio Machida, Dong Seong Kim, Jong Sou Park, Kishor S. Trivedi

Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

Just-in-Time Server Provisioning Using Virtual Machine Standby and Request Prediction.

Fumio Machida, Masahiro Kawato, Yoshiharu Maeno

Proceedings of the 2008 International Conference on Autonomic Computing, 2008

2006

A Sufficiency-Based Resource Reallocation Mechanism for Internet-Scale Computer Resource Sharing.

Masahiro Kawato, Fumio Machida, Yoshiharu Maeno

Proceedings of the 2006 International Symposium on Applications and the Internet (SAINT 2006), 2006

Self-Controlling Cache for High Speed Autonomic Provisioning.

Fumio Machida, Masahiro Kawato, Yoshiharu Maeno

Proceedings of the 3rd International Conference on Autonomic Computing, 2006

Guarantee of Freshness in Resource Information Cache on WSPE: Web Service Polling Engine.

Fumio Machida, Masahiro Kawato, Yoshiharu Maeno

Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

2004

Polimatica: Abstraction for Customizable Private Virtual Organizations in Global Grids.

Yoshiharu Maeno, Masahiro Kawato, Shoji Nishimura, Fumio Machida, Tsunehiko Kamachi

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004