Masaaki Mizuno

41 papers A* 2A 7B 2C 2Misc 3Journal 16Unranked 9
YearRankTypeTitle / Venue / Authors
2017 — conf
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms.
ICDCS Workshops
Xiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan
2015 — conf
Secure RTOS Architecture for Building Automation.
CPS-SPC@CCS
Xiaolong Wang, Masaaki Mizuno, Mitchell L. Neilsen, Xinming Ou, S. Raj Rajagopalan, Will G. Boldwin, Bryan Phillips
2011 J jnl
Neurosurgical robotic system for brain tumor removal.
Int. J. Comput. Assist. Radiol. Surg.
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
2010 J jnl
Development of a real-time tactile sensing system for brain tumor diagnosis.
Int. J. Comput. Assist. Radiol. Surg.
Yoshihiro Tanaka, Qingyun Yu, Kazuki Doumoto, Akihito Sano, Yuichiro Hayashi, Masazumi Fujii, Yasukazu Kajita, Masaaki Mizuno, Toshihiko Wakabayashi, Hideo Fujimoto
2010 B conf
Propagation Delays in Fixed-Priority Scheduling of Periodic Tasks.
ECRTS
Rodney R. Howell, Masaaki Mizuno
2006 Misc conf
A Scalable Search Algorithm for Unstructured Peer-to-Peer Networks.
PDPTA
Amit Gud, Masaaki Mizuno, Daniel Andresen
2004 A conf
A Priority Inheritance-based Inversion Control Methodology for General Resource Access Problems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Liubo Chen, Masaaki Mizuno, Gurdip Singh
2004 A conf
SyncGen: An Aspect-Oriented Framework for Synchronization.
TACAS
Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno
2003 Misc conf
Synchronization in a Thread-Pool Model and its Application in Parallel Computing.
PDPTA
Masaaki Mizuno, Liubo Chen, Virgil Wallentine
2002 J jnl
A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm.
J. Parallel Distributed Comput.
Mikhail Nesterenko, Masaaki Mizuno
2002 J jnl
A self-stabilizing quorum-based protocol for maxima computing.
Distributed Comput.
Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen
2002 J jnl
Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum.
IEEE Distributed Syst. Online
Gurdip Singh, Masaaki Mizuno, Mitchell L. Neilsen, Donald H. Lenhert, Naiqian Zhang
2002 J jnl
Finite-State Self-Stabilizing Protocols in Message-Passing Systems.
J. Parallel Distributed Comput.
Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno
2002 A* conf
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.
ICSE
Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno
2000 — conf
A Structured Approach to Develop Concurrent Programs in UML.
UML
Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen
1999 J jnl
A Structured Approach for Developing Concurrent Programs in Java.
Inf. Process. Lett.
Masaaki Mizuno
1999 — conf
Finite-state self-stabilizing protocols in message-passing systems.
WSS
Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno
1998 J jnl
A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments.
Inf. Process. Lett.
Masaaki Mizuno, Mikhail Nesterenko
1998 J jnl
Efficient Distributed Detection of Conjunctions of Local Predicates.
IEEE Trans. Software Eng.
Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal
1997 — conf
Development of self-stabilizing distributed algorithms using transformation: case studies.
WSS
Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko
1996 — conf
A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments.
WDAG
Masaaki Mizuno, Hirotsugu Kakugawa
1996 J jnl
An Optimistic Protocol for a Linearizable Distributed Shared Memory System.
Parallel Process. Lett.
Masaaki Mizuno, Mitchell L. Neilsen, Michel Raynal
1996 J jnl
Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion".
Inf. Process. Lett.
Mitchell L. Neilsen, Masaaki Mizuno
1996 A conf
Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms.
ICDCS
Masaaki Mizuno, Mikhail Nesterenko, Hirotsugu Kakugawa
1996 — conf
On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations.
SPDP
Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal
1994 — conf
An Efficient Implementation of Sequentially Consistent Distributed Shared Memories.
Applications in Parallel and Distributed Computing
Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen
1994 J jnl
Nondominated k-Coteries for Multiple Mutual Exclusion.
Inf. Process. Lett.
Mitchell L. Neilsen, Masaaki Mizuno
1994 — conf
Sequential Consistency in Distributed Systems.
Dagstuhl Seminar on Distributed Systems
Masaaki Mizuno, Michel Raynal, James Z. Zhou
1993 C conf
A Sequentially Consistent Distributed Shared Memory.
ICCI
James Z. Zhou, Masaaki Mizuno, Gurdip Singh
1993 J jnl
A quorum-based algorithm for parameterized semaphore operations.
J. Syst. Softw.
Mitchell L. Neilsen, Masaaki Mizuno
1992 C conf
A Distributed Algorithm for Parameterized Semaphore Operations.
ICCI
Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen
1992 A conf
A General Method to Define Quorums.
ICDCS
Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal
1992 J jnl
A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof.
Formal Aspects Comput.
Masaaki Mizuno, David A. Schmidt
1992 J jnl
Coterie Join Algorithm.
IEEE Trans. Parallel Distributed Syst.
Mitchell L. Neilsen, Masaaki Mizuno
1992 A conf
Synchronization and Concurrency Measures for Distributed Computations.
ICDCS
Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen
1991 A conf
A DAG-based algorithm for distributed mutual exclusion.
ICDCS
Mitchell L. Neilsen, Masaaki Mizuno
1991 A conf
A token based distributed mutual exclusion algorithm based on quorum agreements.
ICDCS
Masaaki Mizuno, Mitchell L. Neilsen, Raghavendra Rao
1990 J jnl
An access control language for object-oriented programming systems.
J. Syst. Softw.
Masaaki Mizuno, Arthur E. Oldehoeft
1990 Misc conf
Document Recognition System with Layout Structure Generator.
MVA
Yoshitake Tsuji, Hiroyuki Kami, Masaaki Mizuno, Toshiyuki Tanaka, Haruhiko Tanaka, Masao Iwashita, Tsutomu Temma
1989 B conf
An iterative method for secure inter-procedural information flow control.
COMPSAC
Masaaki Mizuno
1980 A* conf
A High-Level Multi-Lingual Multiprocessor KMP.
ISCA
Mario Tokoro, Kiichiro Tamaru, Masaaki Mizuno, Masao Hori