MACHIDA Fumio

Researcher's full information

Articles
  • End-to-end reliability assurance of service chain embedding for network function virtualization
    Bijwe Shashank; Machida Fumio
    IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)/pp.1-4, 2017
  • Analysis of an optimal stopping problem for software rejuvenation in a deteriorating job processing system
    Machida Fumio; Miyoshi Naoto
    Reliability Engineering and System Safety/168/pp.128-135, 2017
  • Lifetime extension of software execution subject to aging
    Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu M...
    IEEE Transactions on Reliability/66(1)/pp.123-134, 2017
  • A test design method for resilient system on cloud infrastructure
    Fujiwaka Masaya; Machida Fumio; Koizumi Seiichi
    IEEE Int’l Conf. on Cloud Computing (CLOUD)/pp.440-447, 2016
  • Availability modeling and analysis of a virtualized system using stochastic reward nets
    Kim DongSeong; Hong Jin B.; Nguyen Tuan Anh; Machida Fum...
    IEEE Int’l Conf. on Computer and Information Technology (CIT)/pp.210-218, 2016
  • Virtual machine replication on archiving energy-efficiency in a cloud
    Mondal Subrota K.; Muppala Jogesh K.; Machida Fumio
    Electronics/5(3), 2016
  • Preventing recurrence of industrial control system accident using assurance case
    Napolano Mirko; Machida Fumio; Pietrantuono Roberto; Cotr...
    Int’l Works. on Software Certification (WoSoCER)/pp.182-189, 2015
  • 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
  • Just-in-time server procurement to private cloud for mobile thin-client service
    Machida Fumio; Kohno Shunsuke; Maebara Kosuke; Nakagawa ...
    IEEE/IFIP Int’l Conf. on Network and Service Management (CNSM)/pp.261-264, 2015
  • 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/pp.51-56, 2015
  • Survivability as a generalization of recovery
    Poul E. Heegaard; Bjarne E. Helvik; Kishor S. Trivedi; Ma...
    Int’l Conf. on Design of Reliable Communication Networks (DRCN)/pp.133-140, 2015
  • 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)/pp.169-178, 2015
  • Optimizing resiliency of distributed video surveillance system for safer city
    Machida Fumio; Fujiwaka Masaya; Koizumi Seiichi; Kimura ...
    IEEE Int'l Symp. on Software Reliability Engineering (ISSRE) Industry Track/pp.17-20, 2015
  • 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)/pp.169-178, 2015
  • An imperfect fault coverage model with coverage of irrelevant components
    Xiang Jianwen; Machida Fumio; Tadano Kumiko; Maeno Yoshi...
    IEEE Transactions on Reliability/64(1)/pp.320-332, 2015
  • Composing hierarchical stochastic model from SysML for system availability analysis
    Machida Fumio; Xiang Jianwen; Tadano Kumiko; Maeno Yoshi...
    IEEE Int'l Symp. on Software Reliability Engineering (ISSRE)/pp.51-60, 2013
  • 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/pp.138-139, 2014
  • Server virtualized infrastructure for resilient voice communication service
    Machida Fumio; Mibu Ryota; Gokurakuji Junichi; Yanoo Kaz...
    IEEE/IFIP Network Operations and Management Symposium (NOMS)/pp.1-8, 2014
  • Analysis of persistence of relevance in systems with imperfect fault coverage
    Xiang Jianwen; Machida Fumio; Tadano Kumiko; Maeno Yoshi...
    Int’l Conf. on Computer Safety, Reliability and Security (SAFECOMP)/pp.109-124, 2014
  • A systematic differential analysis for fast and robust detection of software aging
    Matias Rivalino; Andrzejak Artur; Machida Fumio; Diego E...
    IEEE Int’l Symp. on Reliable Distributed Systems (SRDS)/pp.311-320, 2014
  • Computing defects per million in cloud caused by virtual machine failures with replication
    Mondal Subrota K.; Muppala Jogesh K.; Machida Fumio; triv...
    IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC)/pp.161-168, 2014
  • 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/pp.660-665, 2014
  • Job completion time on a virtualized server with software rejuvenation
    Machida Fumio; Nicola Victor F.; Trivedi Kishor S.
    ACM Journal on Emerging Technologies in Computing Systems/10(1), 2014
  • Performance and availability modeling of IT systems with data backup and restore
    Xia Ruofan; Yin Xiaoyan; Alonso Javier; Machida Fumio; Tr...
    IEEE Transactions on Dependable and Secure Computing/11(4)/pp.375-389, 2014
  • Coverage of irrelevant components in systems with imperfect fault coverage
    Xiang Jianwen; Machida Fumio; Tadano Kumiko; Maeno Yoshi...
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences/96-A(7)/pp.1649-1652, 2013
  • more...