12 Publications
2004
A Case Study of Interdisciplinary Teaching at Kansas State University
Mizuno, Masaaki⋅Lenhert, Donald H⋅Neilsen, M.⋅Singh, G.⋅Zhang, N. and Gross, A.
2002 ASEE Annual Conference & Exposition: Vive L'ingenieur!; Montreal; Canada; 16-19 June 2002. 2004. | Conference Proceeding
 
An Invariant Pattern-based Approach to Develop Concurrent Programs
Mizuno, Masaaki⋅Singh, G.⋅Neilsen, M. L⋅Lenhert, Donald H⋅Zhang, N. and Gross, A. B
2002 ASEE Annual Conference & Exposition: Vive L'ingenieur!; Montreal; Canada; 16-19 June 2002. 2004. | Conference Proceeding
 
Evaluating the Impact of Real-time Systems Theory Course on a Multidisciplinary Embedded Systems Curriculum
Singh, G.⋅Mizuno, Masaaki⋅Neilsen, M.⋅Lenhert, Donald H⋅Zhang, N. and Gross, A.
2002 ASEE Annual Conference & Exposition: Vive L'ingenieur!; Montreal; Canada; 16-19 June 2002. 2004. | Conference Proceeding
 
Teaching Visual C++ for C Programmers in Industry
Mizuno, Masaaki and Yamagata, Shimbu
2002 ASEE Annual Conference & Exposition: Vive L'ingenieur!; Montreal; Canada; 16-19 June 2002. 2004. | Conference Proceeding
2002
A self-stabilizing quorum-based protocol for maxima computing
Chiao, Yiwei⋅Mizuno, Masaaki and Neilsen, Mitchell L
DISTRIB COMPUT, vol. 15, (no. 1), pp. 49-55, 2002. | Journal Article
 
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Deng, Xianghua⋅Dwyer, Matthew⋅Hatcliff, John and Mizuno, Masaaki
Proceedings - International Conference on Software Engineering. pp. 442-452. 2002, 2002. | Journal Article
 
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Deng, Xianghua⋅Deng, Xianghua⋅Dwyer, Matthew⋅Dwyer, Matthew B.⋅Hatcliff, John⋅Hatcliff, John⋅Mizuno, Masaaki and Mizuno, Masaaki
International Conference on Software Engineering: Proceedings of the 24th International Conference on Software Engineering; 19-25 May 2002. 2002. | Conference Proceeding
1999
Structured approach for developing concurrent programs in Java
Mizuno, Masaaki
INF. PROCESS. LETT, vol. 69, (no. 5), pp. 233-238, 1999. | Journal Article
1998
A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments
Mizuno, Masaaki and Nesterenko, Mikhail
Information Processing Letters, vol. 66, (no. 6), pp. 285-290, Jun 30, 1998. | Journal Article
 
Efficient distributed detection of conjunctions of local predicates
Hurfin, M.⋅Mizuno, Masaaki⋅Raynal, M. and Singhal, Mukesh
IEEE Transactions on Software Engineering, vol. 24, (no. 8), pp. 664-677, 1998. | Journal Article
1996
Lock-based self-stabilizing distributed mutual exclusion algorithms
Mizuno, Masaaki⋅Nesterenko, Mikhail and Kakugawa, Hirotsugu
The 1996 16th International Conference on Distributed Computing Systems; Hong Kong; Hong Kong; 27-30 May 1996. 1996. | Conference Proceeding
1994
Nondominated k-coteries for multiple mutual exclusion
Neilsen, Mitchell L and Mizuno, Masaaki
Information Processing Letters, vol. 50, (no. 5), pp. 247, Jun 10, 1994. | Journal Article