Polimatica: Abstraction for Customizable Private Virtual Organizations in Global Grids. - Yoshiharu Maeno; Masahiro Kawato; Shoji Nishimura; Fumio Machida; Tsunehiko Kamachi (ICWS, 2004)

Guarantee of Freshness in Resource Information Cache on WSPE: Web Service Polling Engine. - Fumio Machida; Masahiro Kawato; Yoshiharu Maeno (CCGRID, 2006)

Self-Controlling Cache for High Speed Autonomic Provisioning. - Fumio Machida; Masahiro Kawato; Yoshiharu Maeno (ICAC, 2006)

A Sufficiency-Based Resource Reallocation Mechanism for Internet-Scale Computer Resource Sharing. - Masahiro Kawato; Fumio Machida; Yoshiharu Maeno (SAINT, 2006)

Just-in-Time Server Provisioning Using Virtual Machine Standby and Request Prediction. - Fumio Machida; Masahiro Kawato; Yoshiharu Maeno (ICAC, 2008)

Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center. - Fumio Machida; Dong Seong Kim 001; Jong Sou Park; Kishor S. Trivedi (ISSRE Workshops, 2008)

CIM-Based Resource Information Management for Integrated Access Control Manager. - Fumio Machida; Kumiko Tadano; Masahiro Kawato; Takayuki Ishikawa; Yoichiro Morita; Masayuki Nakae (SVM, 2008)

Availability Modeling and Analysis of a Virtualized System. - Dong Seong Kim 001; Fumio Machida; Kishor S. Trivedi (PRDC, 2009)

Automatic Cache Update Control for Scalable Resource Information Service with WS-Management. - Kumiko Tadano; Fumio Machida; Masahiro Kawato; Yoshiharu Maeno (SVM, 2009)

Resource Information Cache Update Control for Scalable Access Control Management Systems. - Kumiko Tadano; Masahiro Kawato; Fumio Machida; Yoshiharu Maeno (IEEE CLOUD, 2010)

Renovating legacy distributed systems using virtual appliance with dependency graph. - Fumio Machida; Masahiro Kawato; Yoshiharu Maeno (CNSM, 2010)

Digital Watermarking of Virtual Machine Images. - Kumiko Tadano; Masahiro Kawato; Ryo Furukawa 003; Fumio Machida; Yoshiharu Maeno (IFIP Int. Conf. Digital Forensics, 2010)

Modeling and analysis of software rejuvenation in a server virtualized system. - Fumio Machida; Dong Seong Kim 001; Kishor S. Trivedi (WoSAR@ISSRE, 2010)

Redundant virtual machine placement for fault-tolerant consolidated server clusters. - Fumio Machida; Masahiro Kawato; Yoshiharu Maeno (NOMS, 2010)

Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets. - Ermeson C. Andrade; Fumio Machida; Dong Seong Kim 001; Kishor S. Trivedi (ARES, 2011)

Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation. - Fumio Machida; Victor F. Nicola; Kishor S. Trivedi (WoSAR@ISSRE, 2011)

Design Improvement of System Administrative Operations for Certification. - Kumiko Tadano; Jianwen Xiang; Fumio Machida; Yoshiharu Maeno; Takao Osaki; Atsushi Kobayashi (WOSOCER, 2011)

Efficient Analysis of Fault Trees with Voting Gates. - Jianwen Xiang; Kazuo Yanoo; Yoshiharu Maeno; Kumiko Tadano; Fumio Machida; Atsushi Kobayashi; Takao Osaki (ISSRE, 2011)

Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML. - Fumio Machida; Ermeson C. Andrade; Dong Seong Kim 001; Kishor S. Trivedi (SRDS, 2011)

Aging-Related Bugs in Cloud Computing Software. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno (ISSRE Workshops, 2012)

Software Life-Extension: A New Countermeasure to Software Aging. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno (ISSRE, 2012)

Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Kazuo Yanoo; Wei Sun 004; Yoshiharu Maeno (ISSRE Workshops, 2012)

Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. - Kumiko Tadano; Fumio Machida; Jianwen Xiang; Yoshiharu Maeno (PRDC, 2012)

Availability Modeling and Analysis for Data Backup and Restore Operations. - Xiaoyan Yin 002; Javier Alonso 001; Fumio Machida; Ermeson C. Andrade; Kishor S. Trivedi (SRDS, 2012)

Combined Server Rejuvenation in a Virtualized Data Center. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno (UIC/ATC, 2012)

Combining Performance and Availability Analysis in Practice. - Kishor S. Trivedi; Ermeson C. Andrade; Fumio Machida (Adv. Comput., 2012)

Sensitivity Analysis of Server Virtualized System Availability. - Rúbens de Souza Matos Júnior; Paulo Romero Martins Maciel; Fumio Machida; Dong Seong Kim 001; Kishor S. Trivedi (IEEE Trans. Reliab., 2012)

Performability analysis of RAID10 versus RAID6. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno; Takashi Horikawa (DSN, 2013)

Software rejuvenation impacts on a phased-mission system for Mars exploration. - Stefano Ballerini; Laura Carnevali; Marco Paolieri; Kumiko Tadano; Fumio Machida (ISSRE (Supplemental Proceedings), 2013)

On the effectiveness of Mann-Kendall test for detection of software aging. - Fumio Machida; Artur Andrzejak 001; Rivalino Matias; Elder V. P. Sobrinho (ISSRE (Supplemental Proceedings), 2013)

Composing hierarchical stochastic model from SysML for system availability analysis. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno (ISSRE, 2013)

Persistence of relevance: A missing issue in imperfect coverage models. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Yoshiharu Maeno (ISSRE (Supplemental Proceedings), 2013)

A Static Analysis of Dynamic Fault Trees with Priority-AND Gates. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Kazuo Yanoo; Wei Sun 004; Yoshiharu Maeno (LADC, 2013)

Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval. - Kumiko Tadano; Jianwen Xiang; Fumio Machida; Yoshiharu Maeno (MODELSWARD, 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)

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)

Modeling and analysis of software rejuvenation in a server virtualized system with live VM migration. - Fumio Machida; Dong Seong Kim 001; Kishor S. Trivedi (Perform. Evaluation, 2013)

A Markov Decision Process Approach for Optimal Data Backup Scheduling. - Ruofan Xia; Fumio Machida; Kishor S. Trivedi (DSN, 2014)

Is Cut Sequence Necessary in Dynamic Fault Trees? - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Shigeru Hosono (ISSRE Workshops, 2014)

Virtualized server infrastructure for resilient voice communication service. - Fumio Machida; Ryota Mibu; Junichi Gokurakuji; Kazuo Yanoo; Kumiko Tadano; Yoshiharu Maeno; Tomoyoshi Sugawara (NOMS, 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 (PRDC, 2014)

Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Yoshiharu Maeno (SAFECOMP, 2014)

A Systematic Differential Analysis for Fast and Robust Detection of Software Aging. - Rivalino Matias; Artur Andrzejak 001; Fumio Machida; Diego Elias 001; Kishor S. Trivedi (SRDS, 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)

Performance and Availability Modeling of ITSystems with Data Backup and Restore. - Ruofan Xia; Xiaoyan Yin 002; Javier Alonso Lopez 001; Fumio Machida; Kishor S. Trivedi (IEEE Trans. Dependable Secur. Comput., 2014)

Just-in-time server procurement to private cloud for mobile thin-client service. - Fumio Machida; Shunsuke Kohno; Kosuke Maebara; Masayuki Nakagawa (CNSM, 2015)

Survivability as a generalization of recovery. - Poul E. Heegaard; Bjarne E. Helvik; Kishor S. Trivedi; Fumio Machida (DRCN, 2015)

An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Shigeru Hosono (DSN Workshops, 2015)

Optimizing resiliency of distributed video surveillance system for safer city. - Fumio Machida; Masaya Fujiwaka; Seiichi Koizumi; Daichi Kimura (ISSRE Workshops, 2015)

An optimal stopping problem for software rejuvenation in a job processing system. - Fumio Machida; Naoto Miyoshi (ISSRE Workshops, 2015)

Preventing recurrence of industrial control system accident using assurance case. - Mirko Napolano; Fumio Machida; Roberto Pietrantuono; Domenico Cotroneo (ISSRE Workshops, 2015)

A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes. - Ruofan Xia; Fumio Machida; Kishor S. Trivedi (PRDC, 2015)

An Imperfect Fault Coverage Model With Coverage of Irrelevant Components. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Yoshiharu Maeno (IEEE Trans. Reliab., 2015)

Availability Modeling and Analysis of a Virtualized System Using Stochastic Reward Nets. - Dong Seong Kim 001; Jin B. Hong; Tuan Anh Nguyen 002; Fumio Machida; Jong Sou Park; Kishor S. Trivedi (CIT, 2016)

A Test Design Method for Resilient System on Cloud Infrastructure. - Masaya Fujiwaka; Fumio Machida; Seiichi Koizumi (CLOUD, 2016)

End-to-End reliability assurance of service chain embedding for network function virtualization. - Shashank Bijwe; Fumio Machida; Shinya Ishida; Seiichi Koizumi (NFV-SDN, 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)

Lifetime Extension of Software Execution Subject to Aging. - Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno (IEEE Trans. Reliab., 2017)

Performability Modeling for RAID Storage Systems by Markov Regenerative Process. - Fumio Machida; Ruofan Xia; Kishor S. Trivedi (IEEE Trans. Dependable Secur. Comput., 2018)

N-Version Machine Learning Models for Safety Critical Systems. - Fumio Machida (DSN Workshops, 2019)

Analysis of Software Aging Impacts on Plant Anomaly Detection with Edge Computing. - Ermeson C. Andrade; Fumio Machida (ISSRE Workshops, 2019)

On the Diversity of Machine Learning Models for System Reliability. - Fumio Machida (PRDC, 2019)

Practices in Model Component Reuse for Efficient Dependability Analysis. - Fumio Machida (ICPE Companion, 2019)

Markov Chains and Petri Nets. - Fumio Machida; Paulo R. M. Maciel (Handbook of Software Aging and Rejuvenation, 2020)

Software Aging in Image Classification Systems on Cloud and Edge. - Ermeson C. Andrade; Fumio Machida; Roberto Pietrantuono; Domenico Cotroneo (ISSRE Workshops, 2020)

Markov chains and Petri nets for software rejuvenation systems. - Fumio Machida; Paulo R. M. Maciel (ISSRE Workshops, 2020)

Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views. - Jing Bai 009; Xiaolin Chang; Fumio Machida; Kishor S. Trivedi; Zhen Han 001 (IEEE Access, 2020)

A Queueing Analysis of Multi-model Multi-input Machine Learning Systems. - Yuta Makino; Tuan Phung-Duc; Fumio Machida (DSN Workshops, 2021)

PA-Offload: Performability-Aware Adaptive Fog Offloading for Drone Image Processing. - Fumio Machida; Ermeson Carneiro de Andrade (ICFEC, 2021)

Memory Degradation Analysis in Private and Public Cloud Environments. - Ermeson Carneiro de Andrade; Fumio Machida; Roberto Pietrantuono; Domenico Cotroneo (ISSRE Workshops, 2021)

Availability Modeling for Drone Image Processing Systems with Adaptive Offloading. - Fumio Machida; Ermeson C. Andrade (PRDC, 2021)

Performance Analysis of Machine Learning-Based Systems for Detecting Deforestation. - Michel de Araújo; Ermeson C. Andrade; Fumio Machida (SBESC, 2021)

A Robustness Evaluation of Concept Drift Detectors against Unreliable Data Streams. - Sixiang Wang; Fumio Machida (WF-IoT, 2021)

Availability Analysis of a Drone System with Proactive Offloading for Software Life-extension. - Kengo Watanabe; Fumio Machida (COINS, 2022)

Reliability Models and Analysis for Triple-model with Triple-input Machine Learning Systems. - Qiang Wen; Fumio Machida (DSC, 2022)

Analysis of Software Aging in a Blockchain Platform. - Douglas Dias; Fumio Machida; Ermeson Carneiro de Andrade (ISSRE Workshops, 2022)

Performance Bottleneck Analysis of Drone Computation Offloading to a Shared Fog Node. - Qingyang Zhang; Fumio Machida; Ermeson Carneiro de Andrade (ISSRE Workshops, 2022)

How Data Diversification Benefits the Reliability of Three-version Image Classification Systems. - Mitsuho Takahashi; Fumio Machida; Qiang Wen (PRDC, 2022)

An Empirical Study on Software Aging of Long-Running Object Detection Algorithms. - Roberto Pietrantuono; Domenico Cotroneo; Ermeson C. Andrade; Fumio Machida (QRS, 2022)

Modeling and Analysis of Deforestation Prevention by Uncrewed Aerial Vehicles-based monitoring systems. - Fumio Machida; Ermeson Carneiro de Andrade (Environ. Model. Softw., 2022)

Quantitative understanding serial-parallel hybrid sfc services: a dependability perspective. - Jing Bai 009; Xiaolin Chang; Fumio Machida; Zhen Han 001; Yang Xu 013; Kishor S. Trivedi (Peer-to-Peer Netw. Appl., 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)

Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. - Júlio Mendonça 001; Fumio Machida; Marcus Völp (DSN-W, 2023)

Bayesian Network Reliability Modeling for Three-version Machine Learning Systems. - Qiang Wen; Fumio Machida (DSN-S, 2023)

Software Aging Analysis in a Testing Framework. - Douglas Dias; Fumio Machida; Ermeson C. Andrade (ISSREW, 2023)

Characterizing Reliability of Three-version Traffic Sign Classifier System through Diversity Metrics. - Qiang Wen; Fumio Machida (ISSRE, 2023)

Reliability and Performance Evaluation of Two-input Machine Learning Systems. - Kazuya Wakigami; Fumio Machida; Tuan Phung-Duc (PRDC, 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 (SAC, 2023)

Towards Semi-Markov Model-based Dependability Evaluation of VM-based Multi-Domain Service Function Chain. - Lina Liu; Jing Bai 009; Xiaolin Chang; Fumio Machida; Kishor S. Trivedi; Haoran Zhu (CoRR, 2023)

On Metaverse Application Dependability Analysis. - Yingfan Zong; Jing Bai 009; Xiaolin Chang; Fumio Machida; Yingsi Zhao (CoRR, 2023)

Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View. - Jing Bai 009; Yaru Li; Xiaolin Chang; Fumio Machida; Kishor S. Trivedi (IEEE Trans. Cloud 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)

Impact of Service Function Aging on the Dependability for MEC Service Function Chain. - Jing Bai 009; Xiaolin Chang; Fumio Machida; Lili Jiang 004; Zhen Han 001; Kishor S. Trivedi (IEEE Trans. Dependable Secur. Comput., 2023)

Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT. - Jing Bai 009; Xiaolin Chang; Fumio Machida; Kishor S. Trivedi; Yaru Li (IEEE Trans. Serv. Comput., 2023)

Performability analysis of adaptive drone computation offloading with fog computing. - Fumio Machida; Qingyang Zhang; Ermeson C. Andrade (Future Gener. Comput. Syst., 2023)

Enhancing Autonomous Vehicle Safety through N-version Machine Learning Systems. - Qiang Wen; Júlio Mendonça 001; Fumio Machida; Marcus Völp (AISafety@IJCAI, 2024)

Exploiting Transformer Models in Three-Version Image Classification Systems. - Shamima Afrin; Fumio Machida (COMPSAC, 2024)

Maintaining Performance of a Machine Learning System Against Imperfect Retraining. - Zhengji Wang; Fumio Machida (COMPSAC, 2024)

Performability Modeling and Analysis for Real-Time Object Detection on UAV Systems. - Qingyang Zhang; Fumio Machida; Ermeson C. Andrade (COMPSAC, 2024)

Safety-Aware Weighted Voting for N-version Traffic Sign Recognition System. - Linyun Gao; Qiang Wen; Fumio Machida (ISSRE (Workshops), 2024)

Energy Bugs in Object Detection Software on Battery-Powered Devices. - Ippo Hiroi; Fumio Machida; Ermeson Carneiro de Andrade (ISSRE (Workshops), 2024)

A CTMDP Modeling for Multi-Stage Software Aging and Rejuvenation. - Nianqiu Wang; Fumio Machida (ISSRE (Workshops), 2024)

Comparision of Machine Learning Algorithms for Detecting Software Aging in SQL Server. - Maria Gizele Nascimento; Rafael José Moura; Fumio Machida; Ermeson C. Andrade (LADC, 2024)

Using Diversities to Model the Reliability of Two-Version Machine Learning Systems. - Fumio Machida (IEEE Trans. Emerg. Top. Comput., 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., 2024)

Empirical Architecture Comparison of Two-input Machine Learning Systems for Vision Tasks. - Kazuya Wakigami; Fumio Machida; Tuan Phung-Duc (Formal Aspects Comput., 2024)

Weather Impact Analysis for UAV-based Deforestation Monitoring Systems. - Tasfia Nuzhat; Fumio Machida; Ermeson Carneiro de Andrade (DSN-W, 2025)

Multi-version Machine Learning and Rejuvenation for Resilient Perception in Safety-critical Systems. - Qiang Wen; Júlio Mendonça 001; Fumio Machida; Marcus Völp (DSN, 2025)

AI Agent-based Adaptive Task Offloading for Autonomous Drones in Dynamic Environments. - Qingyang Zhang; Fumio Machida (DSN-S, 2025)

Vehicle Density-Aware Adaptive Offloading for UAV-Based Road Traffic Monitoring. - Mohammad Dwipa Furqan; Fumio Machida; Ermeson C. Andrade (ICFEC, 2025)

Reliability modeling for three-version machine learning systems through Bayesian networks. - Qiang Wen; Fumio Machida (Reliab. Eng. Syst. Saf., 2025)

A Comparative Analysis of Software Aging in Relational Database System Environments. - Herderson Couto; Fumio Machida; Gustavo Callou; Ermeson C. Andrade (IEEE Trans. Emerg. Top. Comput., 2025)

Understanding Container-Based Services Under Software Aging: Dependability and Performance Views. - Jing Bai 009; Xiaolin Chang; Fumio Machida; Kishor S. Trivedi (IEEE Trans. Sustain. Comput., 2025)

Dependability of UAV-Based Networks and Computing Systems: A Survey. - Qingyang Zhang; Mohammad Dwipa Furqan; Tasfia Nutzhat; Fumio Machida; Ermeson C. Andrade (CoRR, 2025)

Robust and Safe Traffic Sign Recognition using N-version with Weighted Voting. - Linyun Gao; Qiang Wen; Fumio Machida (CoRR, 2025)

SPADE: Simulator-assisted Performability Design for UAV-based monitoring systems. - Qingyang Zhang; Fumio Machida; Ermeson C. Andrade (Future Gener. Comput. Syst., 2026)