Masaki Nakamura

44 papers C 7Misc 7Journal 19Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Multitask Hybrid Observational Transition System and its Application.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yifan Wang, Masaki Nakamura, Ryo Takano, Takuya Matsumoto, Kazutoshi Sakakibara
2025 — conf
A Support Tool for Verification of Simulation Relations Between State Machines with Maude.
SFPVV
Takanori Ishibashi, Masaki Nakamura, Kazuhiro Ogata
2025 J jnl
Proof Scores: A Survey (full version).
CoRR
Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
2025 J jnl
Proof Scores: A Survey.
ACM Comput. Surv.
Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
2024 Misc conf
Formal Concept Analysis for Traffic Accident Summaries and Construction of Traffic Accident Prediction Model.
ICMLC
Haruto Murakami, Kazutoshi Sakakibara, Masaki Nakamura, Tatsuo Motoyoshi, Keisuke Hoshikawa, Takuya Matsumoto, Ryo Takano
2024 Misc conf
Investigation of Formal Verification of Autonomous Vehicle Control Systems Through Specification Translation from Cafeobj to Real-Time Maude.
ICMLC
Yifan Wang, Masaki Nakamura, Ryo Takano, Takuya Matsumoto, Kazutoshi Sakakibara
2024 J jnl
Large neighborhood local search method with MIP techniques for large-scale machining scheduling with many constraints.
J. Supercomput.
Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura, Shinya Watanabe
2024 Misc conf
Modeling and Verification of Variable Multi-Lane Intersection Controls for Autonomous Vehicles Using Uppaal SMC.
ICMLC
Akihito Hachiro, Masaki Nakamura, Kazutoshi Sakakibara, Takuya Matsumoto, Ryo Takano
2023 C conf
Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S).
SEKE
Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura
2022 Misc conf
An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking.
ICMLC
Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara
2022 C conf
Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method.
SEKE
Tatsuya Igarashi, Masaki Nakamura, Kazutoshi Sakakibara
2022 Misc conf
Machine Learning for Protein Solubility Prediction.
ICMLC
Kodai Suzuki, Kazutoshi Sakakibara, Masaki Nakamura, Suguru Shinoda, Yasuhisa Asano
2022 J jnl
Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata
2022 Misc conf
The MIP-Based Large Neighborhood Local Search Method for Large-Scale Optimization Problems with Many Constraints: Application to the Machining Scheduling.
ICMLC
Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura
2022 Misc conf
Toward Prediction of Traffic Accidents Using Formal Concept Analysis of Actual Accidents and Related Data.
ICMLC
Shogo Kotani, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuo Motoyoshi, Keisuke Hoshikawa
2021 J jnl
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method.
Int. J. Softw. Eng. Knowl. Eng.
Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata
2021 C conf
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method.
SEKE
Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata
2020 — conf
Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method.
SICE
Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata
2020 J jnl
Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method.
CoRR
Masaki Nakamura, Kazutoshi Sakakibara, Kazuhiro Ogata
2020 J jnl
Stability of termination and sufficient-completeness under pushouts via amalgamation.
Theor. Comput. Sci.
Daniel Gaina, Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
2019 — conf
Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers.
MoDELS (Companion)
Masaki Nakamura, Kazutoshi Sakakibara
2017 — conf
Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation.
ICST Workshops
Ryusei Mori, Masaki Nakamura
2017 J jnl
Foreword.
IEICE Trans. Inf. Syst.
Masaki Nakamura
2016 — conf
A preliminary study of test case generation by CafeOBJ rewrite specifications.
GCCE
Masaki Nakamura
2015 J jnl
Foreword.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masaki Nakamura
2015 — conf
Proving Sufficient Completeness of Constructor-Based Algebraic Specifications.
CSA/CUTE
Masaki Nakamura, Daniel Gâinâ, Kazuhiro Ogata, Kokichi Futatsugi
2015 — conf
The visualization system of center of pressure and base of support in sit-to-stand movement.
GCCE
Masaki Nakamura, Akira Urashima, Tomoji Toriyama, Toshihiro Ninomiya, Noriyuki Fukumoto, Yuuki Aiboshi
2014 — conf
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications.
Specification, Algebra, and Software
Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
2013 — conf
Preliminary results of pointing and calling detection system for nurses.
APCHI
Akira Urashima, Masaki Nakamura, Tomoji Toriyama, Junichi Oshima, Mitsuko Nakagawa, Tadao Nomura
2013 J jnl
To parallelize or not to parallelize, bugs issue.
CoRR
Alaa I. El-Nashar, Masaki Nakamura
2011 J jnl
Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support.
IEICE Trans. Inf. Syst.
Min Zhang, Kazuhiro Ogata, Masaki Nakamura
2010 J jnl
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications.
J. Symb. Comput.
Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
2010 C conf
Specification Translation of State Machines from Equational Theories into Rewrite Theories.
ICFEM
Min Zhang, Kazuhiro Ogata, Masaki Nakamura
2009 J jnl
Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method.
IEICE Trans. Inf. Syst.
Masaki Nakamura, Takahiro Seino
2009 J jnl
User-Defined On-Demand Matching.
IEICE Trans. Inf. Syst.
Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
2008 J jnl
A Specification Translation from Behavioral Specifications to Rewrite Specifications.
IEICE Trans. Inf. Syst.
Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
2007 J jnl
CrÈme: an Automatic Invariant Prover of Behavioral Specifications.
Int. J. Softw. Eng. Knowl. Eng.
Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi
2007 C conf
On Equality Predicates in Algebraic Specification Languages.
ICTAC
Masaki Nakamura, Kokichi Futatsugi
2006 J jnl
A Behavioral Specification of Imperative Programming Languages.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masaki Nakamura, Masahiro Watanabe, Kokichi Futatsugi
2006 — conf
Automating Invariant Verification of Behavioral Specifications.
QSIC
Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi
2006 J jnl
Elimination Transformations for Associative-Commutative Rewriting Systems.
J. Autom. Reason.
Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
2005 C conf
Chocolat/SMV: A Translator from CafeOBJ into SMV.
PDCAT
Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
2000 — conf
The evaluation strategy for head normal form with and without on-demand flags.
WRLA
Masaki Nakamura, Kazuhiro Ogata
1999 C conf
Argument Filtering Transformation.
PPDP
Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama