Get started
Author

Kazuhiro Ogata

Observed names: K. OGATA, K. Ogata, KAZUHIRO OGATA, Kazuhiro OGATA, Ogata, Kazuhiro
Observed institutions: NEC (Japan), Beijing Institute of Technology, Japan Advanced Institute of Science and Technology, Keio University, Hosei University, East China Normal University, Universidad de Extremadura
ORCID: 0000-0002-4441-3259
Observed ORCID: 0000-0002-4441-3259
OpenAlex ID: A5030173635
Proof Scores in the OTS/CafeOBJ Method
2003 · Kazuhiro Ogata, Kokichi Futatsugi · Lecture notes in computer science · 117
PDF
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
2006 · Kazuhiro Ogata, Kokichi Futatsugi · Lecture notes in computer science · 66
PDF
Equational Approach to Formal Analysis of TLS
2005 · K. Ogata, K. Futatsugi · IEEE International Conference on Distributed Computing Systems (ICDCS) · 51
Principles of proof scores in CafeOBJ
2012 · Kokichi Futatsugi, Daniel Găină, et al. · Theoretical Computer Science · 32
PDF
CafeOBJ: Logical foundations and methodologies
2003 · Răzvan Diaconescu, Kokichi Futatsugi, et al. · 31
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
2008 · Kazuhiro Ogata, Kokichi Futatsugi · Electronic Notes in Theoretical Computer Science · 30
Equational approach to formal verification of SET
2004 · K. Ogata, K. Futatsugi · Asia-Pacific Conference on Quality Software (APAQS) · 26
Formal Analysis of the iKP Electronic Payment Protocols
2003 · Kazuhiro Ogata, Kokichi Futatsugi · Lecture notes in computer science · 26
PDF
Formal Verification of the Horn-Preneel Micropayment Protocol
2002 · Kazuhiro Ogata, Kokichi Futatsugi · Lecture notes in computer science · 26
Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores
2018 · Adrián Riesco, Kazuhiro Ogata · ACM Transactions on Software Engineering and Methodology · 25
Rewriting-Based Verification of Authentication Protocols
2004 · Kazuhiro Ogata, Kokichi Futatsugi · Electronic Notes in Theoretical Computer Science · 25
PDF
Graphical Animations of State Machines
2017 · Tam Thi Thanh Nguyen, Kazuhiro Ogata · IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech) · 24
Verifying Design with Proof Scores
2008 · Kokichi Futatsugi, Joseph A. Goguen, et al. · Lecture notes in computer science · 24
PDF
The evaluation strategy for head normal form with and without on-demand flags
2000 · Masaki Nakamura, Kazuhiro Ogata · Electronic Notes in Theoretical Computer Science · 24
PDF
Model Checking of a Mobile Robots Perpetual Exploration Algorithm
2017 · Ha Thi Thu Doan, François Bonnet, et al. · Lecture notes in computer science · 23
Flaw and modification of the iKP electronic payment protocols
2003 · Kazuhiro Ogata, Kokichi Futatsugi · Information Processing Letters · 23
PDF
Proof Score Approach to Verification of Liveness Properties
2008 · K. OGATA, K. FUTATSUGI · IEICE Transactions on Information and Systems · 22
PDF
A lightweight integration of theorem proving and model checking for system verification
2005 · W. Kong, K. Ogata, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 21
PDF
Proof Score Approach to Analysis of Electronic Commerce Protocols
2010 · KAZUHIRO OGATA, KOKICHI FUTATSUGI · International Journal of Software Engineering and Knowledge Engineering · 20
PDF
Modeling and verification of real-time systems based on equations
2007 · Kazuhiro Ogata, Kokichi Futatsugi · Science of Computer Programming · 20
PDF
Formal Analysis of Suzuki&Kasami Distributed Mutual Exclusion Algorithm
2002 · Kazuhiro Ogata, Kokichi Futatsugi · Springer eBooks · 20
Formal verification of TLS 1.2 by automatically generating proof scores
2022 · Duong Dinh Tran, Kazuhiro Ogata · Computers & Security · 19
A Maude environment for CafeOBJ
2016 · Adrián Riesco, Kazuhiro Ogata, et al. · Formal Aspects of Computing · 19
Constructor-based Logics
2012 · Daniel Găină, Kazuhiro Ogata, et al. · Zenodo (CERN European Organization for Nuclear Research) · 19
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
2007 · Weiqiang Kong, Kazuhiro Ogata, et al. · Lecture notes in computer science · 19
PDF
Works count: 201
Citation count: 1,588
H-index: 20
I10-index: 54
Year
Topic
Type