Masaki Nakamura

According to our database, Masaki Nakamura authored at least 35 papers between 1999 and 2024.

Collaborative distances:

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

2024

Large neighborhood local search method with MIP techniques for large-scale machining scheduling with many constraints.

Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura, Shinya Watanabe

J. Supercomput., June, 2024

2023

Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S).

Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

2022

Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method.

Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022

Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method.

Tatsuya Igarashi, Masaki Nakamura, Kazutoshi Sakakibara

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Machine Learning for Protein Solubility Prediction.

Kodai Suzuki, Kazutoshi Sakakibara, Masaki Nakamura, Suguru Shinoda, Yasuhisa Asano

Proceedings of the International Conference on Machine Learning and Cybernetics, 2022

The MIP-Based Large Neighborhood Local Search Method for Large-Scale Optimization Problems with Many Constraints: Application to the Machining Scheduling.

Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura

Proceedings of the International Conference on Machine Learning and Cybernetics, 2022

Toward Prediction of Traffic Accidents Using Formal Concept Analysis of Actual Accidents and Related Data.

Shogo Kotani, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuo Motoyoshi, Keisuke Hoshikawa

Proceedings of the International Conference on Machine Learning and Cybernetics, 2022

An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking.

Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara

Proceedings of the International Conference on Machine Learning and Cybernetics, 2022

2021

Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method.

Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata

Int. J. Softw. Eng. Knowl. Eng., 2021

2020

Stability of termination and sufficient-completeness under pushouts via amalgamation.

Daniel Gaina, Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

Theor. Comput. Sci., 2020

Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method.

Masaki Nakamura, Kazutoshi Sakakibara, Kazuhiro Ogata

CoRR, 2020

Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method.

Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata

Proceedings of the 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, 2020

2019

Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers.

Masaki Nakamura, Kazutoshi Sakakibara

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2017

Foreword.

Masaki Nakamura

IEICE Trans. Inf. Syst., 2017

Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation.

Ryusei Mori, Masaki Nakamura

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

A preliminary study of test case generation by CafeOBJ rewrite specifications.

Masaki Nakamura

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

2015

The visualization system of center of pressure and base of support in sit-to-stand movement.

Masaki Nakamura, Akira Urashima, Tomoji Toriyama, Toshihiro Ninomiya, Noriyuki Fukumoto, Yuuki Aiboshi

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

Proving Sufficient Completeness of Constructor-Based Algebraic Specifications.

Masaki Nakamura, Daniel Gâinâ, Kazuhiro Ogata, Kokichi Futatsugi

Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2015

2014

Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications.

Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

Proceedings of the Specification, Algebra, and Software, 2014

2013

To parallelize or not to parallelize, bugs issue.

Alaa I. El-Nashar, Masaki Nakamura

CoRR, 2013

Preliminary results of pointing and calling detection system for nurses.

Akira Urashima, Masaki Nakamura, Tomoji Toriyama, Junichi Oshima, Mitsuko Nakagawa, Tadao Nomura

Proceedings of the 11th Asia Pacific Conference on Computer Human Interaction, 2013

2011

Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support.

Min Zhang, Kazuhiro Ogata, Masaki Nakamura

IEICE Trans. Inf. Syst., 2011

2010

Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications.

Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

J. Symb. Comput., 2010

Specification Translation of State Machines from Equational Theories into Rewrite Theories.

Min Zhang, Kazuhiro Ogata, Masaki Nakamura

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method.

Masaki Nakamura, Takahiro Seino

IEICE Trans. Inf. Syst., 2009

User-Defined On-Demand Matching.

Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

IEICE Trans. Inf. Syst., 2009

2008

A Specification Translation from Behavioral Specifications to Rewrite Specifications.

Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

IEICE Trans. Inf. Syst., 2008

2007

CrÈme: an Automatic Invariant Prover of Behavioral Specifications.

Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi

Int. J. Softw. Eng. Knowl. Eng., 2007

On Equality Predicates in Algebraic Specification Languages.

Masaki Nakamura, Kokichi Futatsugi

Proceedings of the Theoretical Aspects of Computing, 2007

2006

Elimination Transformations for Associative-Commutative Rewriting Systems.

Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama

J. Autom. Reason., 2006

A Behavioral Specification of Imperative Programming Languages.

Masaki Nakamura, Masahiro Watanabe, Kokichi Futatsugi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Automating Invariant Verification of Behavioral Specifications.

Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

2005

Chocolat/SMV: A Translator from CafeOBJ into SMV.

Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

2000

The evaluation strategy for head normal form with and without on-demand flags.

Masaki Nakamura, Kazuhiro Ogata

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

1999

Argument Filtering Transformation.

Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999