Masaaki Mizuno

According to our database, Masaaki Mizuno authored at least 40 papers between 1980 and 2017.

Collaborative distances:

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

2017

Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms.

Xiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems Workshops, 2017

2015

Secure RTOS Architecture for Building Automation.

Xiaolong Wang, Masaaki Mizuno, Mitchell L. Neilsen, Xinming Ou, S. Raj Rajagopalan, Will G. Boldwin, Bryan Phillips

Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 2015

2011

Neurosurgical robotic system for brain tumor removal.

Jumpei Arata, Yasunori Tada, Hiroaki Kozuka, Tomohiro Wada, Yoshitaka Saito, Norio Ikedo, Yuichiro Hayashi, Masazumi Fujii, Yasukazu Kajita, Masaaki Mizuno, Toshihiko Wakabayashi, Jun Yoshida, Hideo Fujimoto

Int. J. Comput. Assist. Radiol. Surg., 2011

2010

Development of a real-time tactile sensing system for brain tumor diagnosis.

Yoshihiro Tanaka, Qingyun Yu, Kazuki Doumoto, Akihito Sano, Yuichiro Hayashi, Masazumi Fujii, Yasukazu Kajita, Masaaki Mizuno, Toshihiko Wakabayashi, Hideo Fujimoto

Int. J. Comput. Assist. Radiol. Surg., 2010

Propagation Delays in Fixed-Priority Scheduling of Periodic Tasks.

Rodney R. Howell, Masaaki Mizuno

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

2006

A Scalable Search Algorithm for Unstructured Peer-to-Peer Networks.

Amit Gud, Masaaki Mizuno, Daniel Andresen

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

2004

SyncGen: An Aspect-Oriented Framework for Synchronization.

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

A Priority Inheritance-based Inversion Control Methodology for General Resource Access Problems.

Liubo Chen, Masaaki Mizuno, Gurdip Singh

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

2003

Synchronization in a Thread-Pool Model and its Application in Parallel Computing.

Masaaki Mizuno, Liubo Chen, Virgil Wallentine

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002

A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm.

Mikhail Nesterenko, Masaaki Mizuno

J. Parallel Distributed Comput., 2002

Finite-State Self-Stabilizing Protocols in Message-Passing Systems.

Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno

J. Parallel Distributed Comput., 2002

Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum.

Gurdip Singh, Masaaki Mizuno, Mitchell L. Neilsen, Donald H. Lenhert, Naiqian Zhang

IEEE Distributed Syst. Online, 2002

A self-stabilizing quorum-based protocol for maxima computing.

Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen

Distributed Comput., 2002

Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno

Proceedings of the 24th International Conference on Software Engineering, 2002

2000

A Structured Approach to Develop Concurrent Programs in UML.

Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen

Proceedings of the «UML» 2000, 2000

1999

A Structured Approach for Developing Concurrent Programs in Java.

Masaaki Mizuno

Inf. Process. Lett., 1999

1998

Efficient Distributed Detection of Conjunctions of Local Predicates.

Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal

IEEE Trans. Software Eng., 1998

A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments.

Masaaki Mizuno, Mikhail Nesterenko

Inf. Process. Lett., 1998

1997

Development of self-stabilizing distributed algorithms using transformation: case studies.

Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko

Proceedings of the 3rd Workshop on Self-stabilizing Systems, 1997

1996

An Optimistic Protocol for a Linearizable Distributed Shared Memory System.

Masaaki Mizuno, Mitchell L. Neilsen, Michel Raynal

Parallel Process. Lett., 1996

Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion".

Mitchell L. Neilsen, Masaaki Mizuno

Inf. Process. Lett., 1996

A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments.

Masaaki Mizuno, Hirotsugu Kakugawa

Proceedings of the Distributed Algorithms, 10th International Workshop, 1996

On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations.

Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal

Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms.

Masaaki Mizuno, Mikhail Nesterenko, Hirotsugu Kakugawa

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1994

Nondominated k-Coteries for Multiple Mutual Exclusion.

Mitchell L. Neilsen, Masaaki Mizuno

Inf. Process. Lett., 1994

Sequential Consistency in Distributed Systems.

Masaaki Mizuno, Michel Raynal, James Z. Zhou

Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

An Efficient Implementation of Sequentially Consistent Distributed Shared Memories.

Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen

Proceedings of the Applications in Parallel and Distributed Computing, 1994

1993

A quorum-based algorithm for parameterized semaphore operations.

Mitchell L. Neilsen, Masaaki Mizuno

J. Syst. Softw., 1993

A Sequentially Consistent Distributed Shared Memory.

James Z. Zhou, Masaaki Mizuno, Gurdip Singh

Proceedings of the Computing and Information, 1993

1992

Coterie Join Algorithm.

Mitchell L. Neilsen, Masaaki Mizuno

IEEE Trans. Parallel Distributed Syst., 1992

A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof.

Masaaki Mizuno, David A. Schmidt

Formal Aspects Comput., 1992

Synchronization and Concurrency Measures for Distributed Computations.

Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

A General Method to Define Quorums.

Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

A Distributed Algorithm for Parameterized Semaphore Operations.

Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen

Proceedings of the Computing and Information, 1992

1991

A DAG-based algorithm for distributed mutual exclusion.

Mitchell L. Neilsen, Masaaki Mizuno

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

A token based distributed mutual exclusion algorithm based on quorum agreements.

Masaaki Mizuno, Mitchell L. Neilsen, Raghavendra Rao

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1990

An access control language for object-oriented programming systems.

Masaaki Mizuno, Arthur E. Oldehoeft

J. Syst. Softw., 1990

Document Recognition System with Layout Structure Generator.

Yoshitake Tsuji, Hiroyuki Kami, Masaaki Mizuno, Toshiyuki Tanaka, Haruhiko Tanaka, Masao Iwashita, Tsutomu Temma

Proceedings of IAPR Workshop on Machine Vision Applications, 1990

1989

An iterative method for secure inter-procedural information flow control.

Masaaki Mizuno

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1980

A High-Level Multi-Lingual Multiprocessor KMP.

Mario Tokoro, Kiichiro Tamaru, Masaaki Mizuno, Masao Hori

Proceedings of the 7th Annual Symposium on Computer Architecture, 1980