Kazuhiro Ogata

Available identifiers

zbMath Open ogata.kazuhiroMaRDI QIDQ520242

List of research outcomes

Publication	Date of Publication	Type
Formalization and analysis of the post-quantum signature scheme FALCON with Maude	2025-01-27	Paper
Automated quantum program verification in dynamic quantum logic	2024-05-29	Paper
An environment for specifying and model checking mobile ring robot algorithms	2024-04-19	Paper
A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler	2022-12-09	Paper
A divide \& conquer approach to conditional stable model checking	2022-03-31	Paper
CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications	2021-07-08	Paper
Model Checking of a Mobile Robots Perpetual Exploration Algorithm	2021-05-20	Paper
Stability of termination and sufficient-completeness under pushouts via amalgamation	2020-12-15	Paper
Model Checking of Robot Gathering	2020-07-30	Paper
From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories	2018-03-12	Paper
A formal proof generator from semi-formal proof documents	2017-11-03	Paper
A Maude environment for CafeOBJ	2017-04-03	Paper
Constructor-based logics	2016-07-08	Paper
Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications	2015-10-02	Paper
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs	2014-03-25	Paper
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications	2014-03-25	Paper
On Automation of OTS/CafeOBJ Method	2014-03-25	Paper
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method	2014-03-25	Paper
A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method	2013-12-04	Paper
Rewriting-based verification of authentication protocols	2013-10-02	Paper
Principles of proof scores in CafeOBJ	2013-01-07	Paper
Constructor-Based Institutions	2012-06-01	Paper
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications	2010-05-05	Paper
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method	2007-09-07	Paper
Modeling and verification of real-time systems based on equations	2007-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q4680190	2006-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4414392	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4790352	2003-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4537126	2002-11-06	Paper
The evaluation strategy for head normal form with and without on-demand flags	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4501590	2001-05-06	Paper

Research outcomes over time

This page was built for person: Kazuhiro Ogata