Fumio Machida

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 43

Top Topics

Markov Decision Process

Classification Systems

Optimal Stopping

Safety Analysis

Top Venues

ISSRE Workshops

IEEE Trans. Dependable Secur. Comput.

Publications

Ermeson Carneiro de Andrade, Fumio Machida
Assuring Autonomy of UAVs in Mission-critical Scenarios by Performability Modeling and Analysis. ACM Trans. Cyber Phys. Syst. 8 (3) (2024)
Ermeson C. Andrade, Roberto Pietrantuono, Fumio Machida, Domenico Cotroneo
A Comparative Analysis of Software Aging in Image Classifiers on Cloud and Edge. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Kazuya Wakigami, Fumio Machida, Tuan Phung-Duc
Reliability and Performance Evaluation of Two-input Machine Learning Systems. PRDC (2023)
Yingfan Zong, Jing Bai, Xiaolin Chang, Fumio Machida, Yingsi Zhao
On Metaverse Application Dependability Analysis. CoRR (2023)
Lina Liu, Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Haoran Zhu
Towards Semi-Markov Model-based Dependability Evaluation of VM-based Multi-Domain Service Function Chain. CoRR (2023)
Douglas Dias, Fumio Machida, Ermeson C. Andrade
Software Aging Analysis in a Testing Framework. ISSREW (2023)
Jing Bai, Xiaolin Chang, Fumio Machida, Lili Jiang, Zhen Han, Kishor S. Trivedi
Impact of Service Function Aging on the Dependability for MEC Service Function Chain. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Kengo Watanabe, Fumio Machida, Ermeson Carneiro de Andrade, Roberto Pietrantuono, Domenico Cotroneo
Software Aging in a Real-Time Object Detection System on an Edge Server. SAC (2023)
Qiang Wen, Fumio Machida
Bayesian Network Reliability Modeling for Three-version Machine Learning Systems. DSN-S (2023)
Jing Bai, Yaru Li, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi
Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View. IEEE Trans. Cloud Comput. 11 (4) (2023)
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi
Understanding Container-based Services under Software Aging: Dependability and Performance Views. CoRR (2023)
Qiang Wen, Fumio Machida
Characterizing Reliability of Three-version Traffic Sign Classifier System through Diversity Metrics. ISSRE (2023)
Fumio Machida, Qingyang Zhang, Ermeson C. Andrade
Performability analysis of adaptive drone computation offloading with fog computing. Future Gener. Comput. Syst. 145 (2023)
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Yaru Li
Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT. IEEE Trans. Serv. Comput. 16 (4) (2023)
Júlio Mendonça, Fumio Machida, Marcus Völp
Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. DSN-W (2023)
Qiang Wen, Fumio Machida
Reliability Models and Analysis for Triple-model with Triple-input Machine Learning Systems. DSC (2022)
Roberto Pietrantuono, Domenico Cotroneo, Ermeson C. Andrade, Fumio Machida
An Empirical Study on Software Aging of Long-Running Object Detection Algorithms. QRS (2022)
Mitsuho Takahashi, Fumio Machida, Qiang Wen
How Data Diversification Benefits the Reliability of Three-version Image Classification Systems. PRDC (2022)
Kengo Watanabe, Fumio Machida
Availability Analysis of a Drone System with Proactive Offloading for Software Life-extension. COINS (2022)
Qingyang Zhang, Fumio Machida, Ermeson Carneiro de Andrade
Performance Bottleneck Analysis of Drone Computation Offloading to a Shared Fog Node. ISSRE Workshops (2022)
Jing Bai, Xiaolin Chang, Fumio Machida, Zhen Han, Yang Xu, Kishor S. Trivedi
Quantitative understanding serial-parallel hybrid sfc services: a dependability perspective. Peer-to-Peer Netw. Appl. 15 (4) (2022)
Fumio Machida, Koji Hasebe, Hirotake Abe, Kazuhiko Kato
Analysis of Optimal File Placement for Energy-Efficient File-Sharing Cloud Storage System. IEEE Trans. Sustain. Comput. 7 (1) (2022)
Fumio Machida, Ermeson Carneiro de Andrade
Modeling and Analysis of Deforestation Prevention by Uncrewed Aerial Vehicles-based monitoring systems. Environ. Model. Softw. 158 (2022)
Douglas Dias, Fumio Machida, Ermeson Carneiro de Andrade
Analysis of Software Aging in a Blockchain Platform. ISSRE Workshops (2022)
Fumio Machida, Ermeson C. Andrade
Availability Modeling for Drone Image Processing Systems with Adaptive Offloading. PRDC (2021)
Yuta Makino, Tuan Phung-Duc, Fumio Machida
A Queueing Analysis of Multi-model Multi-input Machine Learning Systems. DSN Workshops (2021)
Michel de Araújo, Ermeson C. Andrade, Fumio Machida
Performance Analysis of Machine Learning-Based Systems for Detecting Deforestation. SBESC (2021)
Sixiang Wang, Fumio Machida
A Robustness Evaluation of Concept Drift Detectors against Unreliable Data Streams. WF-IoT (2021)
Fumio Machida, Ermeson Carneiro de Andrade
PA-Offload: Performability-Aware Adaptive Fog Offloading for Drone Image Processing. ICFEC (2021)
Ermeson Carneiro de Andrade, Fumio Machida, Roberto Pietrantuono, Domenico Cotroneo
Memory Degradation Analysis in Private and Public Cloud Environments. ISSRE Workshops (2021)
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Zhen Han
Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views. IEEE Access 8 (2020)
Ermeson C. Andrade, Fumio Machida, Roberto Pietrantuono, Domenico Cotroneo
Software Aging in Image Classification Systems on Cloud and Edge. ISSRE Workshops (2020)
Fumio Machida, Paulo R. M. Maciel
Markov chains and Petri nets for software rejuvenation systems. ISSRE Workshops (2020)
Fumio Machida
Practices in Model Component Reuse for Efficient Dependability Analysis. ICPE Companion (2019)
Ermeson C. Andrade, Fumio Machida
Analysis of Software Aging Impacts on Plant Anomaly Detection with Edge Computing. ISSRE Workshops (2019)
Fumio Machida
N-Version Machine Learning Models for Safety Critical Systems. DSN Workshops (2019)
Fumio Machida
On the Diversity of Machine Learning Models for System Reliability. PRDC (2019)
Fumio Machida, Ruofan Xia, Kishor S. Trivedi
Performability Modeling for RAID Storage Systems by Markov Regenerative Process. IEEE Trans. Dependable Secur. Comput. 15 (1) (2018)
Fumio Machida, Naoto Miyoshi
Analysis of an optimal stopping problem for software rejuvenation in a deteriorating job processing system. Reliab. Eng. Syst. Saf. 168 (2017)
Shashank Bijwe, Fumio Machida, Shinya Ishida, Seiichi Koizumi
End-to-End reliability assurance of service chain embedding for network function virtualization. NFV-SDN (2017)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
Lifetime Extension of Software Execution Subject to Aging. IEEE Trans. Reliab. 66 (1) (2017)
Dong Seong Kim, Jin B. Hong, Tuan Anh Nguyen, Fumio Machida, Jong Sou Park, Kishor S. Trivedi
Availability Modeling and Analysis of a Virtualized System Using Stochastic Reward Nets. CIT (2016)
Masaya Fujiwaka, Fumio Machida, Seiichi Koizumi
A Test Design Method for Resilient System on Cloud Infrastructure. CLOUD (2016)
Fumio Machida, Shunsuke Kohno, Kosuke Maebara, Masayuki Nakagawa
Just-in-time server procurement to private cloud for mobile thin-client service. CNSM (2015)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Shigeru Hosono
An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System. DSN Workshops (2015)
Fumio Machida, Naoto Miyoshi
An optimal stopping problem for software rejuvenation in a job processing system. ISSRE Workshops (2015)
Poul E. Heegaard, Bjarne E. Helvik, Kishor S. Trivedi, Fumio Machida
Survivability as a generalization of recovery. DRCN (2015)
Ruofan Xia, Fumio Machida, Kishor S. Trivedi
A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes. PRDC (2015)
Mirko Napolano, Fumio Machida, Roberto Pietrantuono, Domenico Cotroneo
Preventing recurrence of industrial control system accident using assurance case. ISSRE Workshops (2015)
Fumio Machida, Masaya Fujiwaka, Seiichi Koizumi, Daichi Kimura
Optimizing resiliency of distributed video surveillance system for safer city. ISSRE Workshops (2015)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno
An Imperfect Fault Coverage Model With Coverage of Irrelevant Components. IEEE Trans. Reliab. 64 (1) (2015)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno
Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. SAFECOMP (2014)
Fumio Machida, Ryota Mibu, Junichi Gokurakuji, Kazuo Yanoo, Kumiko Tadano, Yoshiharu Maeno, Tomoyoshi Sugawara
Virtualized server infrastructure for resilient voice communication service. NOMS (2014)
Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi
Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication. PRDC (2014)
Fumio Machida, Victor F. Nicola, Kishor S. Trivedi
Job completion time on a virtualized server with software rejuvenation. ACM J. Emerg. Technol. Comput. Syst. 10 (1) (2014)
Ruofan Xia, Fumio Machida, Kishor S. Trivedi
A Markov Decision Process Approach for Optimal Data Backup Scheduling. DSN (2014)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Shigeru Hosono
Is Cut Sequence Necessary in Dynamic Fault Trees? ISSRE Workshops (2014)
Rivalino Matias, Artur Andrzejak, Fumio Machida, Diego Elias, Kishor S. Trivedi
A Systematic Differential Analysis for Fast and Robust Detection of Software Aging. SRDS (2014)
Ruofan Xia, Xiaoyan Yin, Javier Alonso Lopez, Fumio Machida, Kishor S. Trivedi
Performance and Availability Modeling of ITSystems with Data Backup and Restore. IEEE Trans. Dependable Secur. Comput. 11 (4) (2014)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno, Takashi Horikawa
Performability analysis of RAID10 versus RAID6. DSN (2013)
Fumio Machida, Dong Seong Kim, Kishor S. Trivedi
Modeling and analysis of software rejuvenation in a server virtualized system with live VM migration. Perform. Evaluation 70 (3) (2013)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno, Kazuo Yanoo
Coverage of Irrelevant Components in Systems with Imperfect Fault Coverage. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2013)
Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno
Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval. MODELSWARD (2013)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno
Persistence of relevance: A missing issue in imperfect coverage models. ISSRE (Supplemental Proceedings) (2013)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
Composing hierarchical stochastic model from SysML for system availability analysis. ISSRE (2013)
Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno
Identification of Smallest Unacceptable Combinations of Simultaneous Component Failures in Information Systems. IEICE Trans. Inf. Syst. (9) (2013)
Fumio Machida, Artur Andrzejak, Rivalino Matias, Elder V. P. Sobrinho
On the effectiveness of Mann-Kendall test for detection of software aging. ISSRE (Supplemental Proceedings) (2013)
Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida
Software rejuvenation impacts on a phased-mission system for Mars exploration. ISSRE (Supplemental Proceedings) (2013)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno
A Static Analysis of Dynamic Fault Trees with Priority-AND Gates. LADC (2013)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
Combined Server Rejuvenation in a Virtualized Data Center. UIC/ATC (2012)
Rúbens de Souza Matos Júnior, Paulo Romero Martins Maciel, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi
Sensitivity Analysis of Server Virtualized System Availability. IEEE Trans. Reliab. 61 (4) (2012)
Xiaoyan Yin, Javier Alonso, Fumio Machida, Ermeson C. Andrade, Kishor S. Trivedi
Availability Modeling and Analysis for Data Backup and Restore Operations. SRDS (2012)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
Software Life-Extension: A New Countermeasure to Software Aging. ISSRE (2012)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno
Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates. ISSRE Workshops (2012)
Kishor S. Trivedi, Ermeson C. Andrade, Fumio Machida
Combining Performance and Availability Analysis in Practice. Adv. Comput. 84 (2012)
Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno
Aging-Related Bugs in Cloud Computing Software. ISSRE Workshops (2012)
Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno
Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. PRDC (2012)
Fumio Machida, Ermeson C. Andrade, Dong Seong Kim, Kishor S. Trivedi
Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML. SRDS (2011)
Fumio Machida, Victor F. Nicola, Kishor S. Trivedi
Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation. WoSAR@ISSRE (2011)
Ermeson C. Andrade, Fumio Machida, Dong Seong Kim, Kishor S. Trivedi
Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets. ARES (2011)
Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi
Design Improvement of System Administrative Operations for Certification. WOSOCER (2011)
Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki
Efficient Analysis of Fault Trees with Voting Gates. ISSRE (2011)
Fumio Machida, Masahiro Kawato, Yoshiharu Maeno
Redundant virtual machine placement for fault-tolerant consolidated server clusters. NOMS (2010)
Fumio Machida, Masahiro Kawato, Yoshiharu Maeno
Renovating legacy distributed systems using virtual appliance with dependency graph. CNSM (2010)
Kumiko Tadano, Masahiro Kawato, Ryo Furukawa, Fumio Machida, Yoshiharu Maeno
Digital Watermarking of Virtual Machine Images. IFIP Int. Conf. Digital Forensics (2010)
Kumiko Tadano, Masahiro Kawato, Fumio Machida, Yoshiharu Maeno
Resource Information Cache Update Control for Scalable Access Control Management Systems. IEEE CLOUD (2010)
Fumio Machida, Dong Seong Kim, Kishor S. Trivedi
Modeling and analysis of software rejuvenation in a server virtualized system. WoSAR@ISSRE (2010)
Dong Seong Kim, Fumio Machida, Kishor S. Trivedi
Availability Modeling and Analysis of a Virtualized System. PRDC (2009)
Kumiko Tadano, Fumio Machida, Masahiro Kawato, Yoshiharu Maeno
Automatic Cache Update Control for Scalable Resource Information Service with WS-Management. SVM (2009)
Fumio Machida, Kumiko Tadano, Masahiro Kawato, Takayuki Ishikawa, Yoichiro Morita, Masayuki Nakae
CIM-Based Resource Information Management for Integrated Access Control Manager. SVM (2008)
Fumio Machida, Dong Seong Kim, Jong Sou Park, Kishor S. Trivedi
Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center. ISSRE Workshops (2008)
Fumio Machida, Masahiro Kawato, Yoshiharu Maeno
Just-in-Time Server Provisioning Using Virtual Machine Standby and Request Prediction. ICAC (2008)
Fumio Machida, Masahiro Kawato, Yoshiharu Maeno
Guarantee of Freshness in Resource Information Cache on WSPE: Web Service Polling Engine. CCGRID (2006)
Fumio Machida, Masahiro Kawato, Yoshiharu Maeno
Self-Controlling Cache for High Speed Autonomic Provisioning. ICAC (2006)
Masahiro Kawato, Fumio Machida, Yoshiharu Maeno
A Sufficiency-Based Resource Reallocation Mechanism for Internet-Scale Computer Resource Sharing. SAINT (2006)
Yoshiharu Maeno, Masahiro Kawato, Shoji Nishimura, Fumio Machida, Tsunehiko Kamachi
Polimatica: Abstraction for Customizable Private Virtual Organizations in Global Grids. ICWS (2004)