Kazuhiro Ogata

Available identifiers

zbMath Open ogata.kazuhiroMaRDI QIDQ520242

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2816365	2016-07-08	Paper
Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications	2015-10-02	Paper
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications	2014-03-25	Paper
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method	2014-03-25	Paper
On Automation of OTS/CafeOBJ Method	2014-03-25	Paper
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs	2014-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q2863871	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2851055	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
https://portal.mardi4nfdi.de/entity/Q2703699	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4501590	2001-05-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kazuhiro Ogata