|
Search the dblp DataBase
Kazuhiro Ogata:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. [Citation Graph (0, 0)][DBLP] CIT, 2004, pp:1100-1107 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. [Citation Graph (0, 0)][DBLP] CIT, 2005, pp:937-943 [Conf]
- Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
Supporting Case Analysis with Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP] CIT, 2004, pp:1073-1080 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm. [Citation Graph (0, 0)][DBLP] APAQS, 2001, pp:357-366 [Conf]
- Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata
A Lightweight Integration of Theorem Proving and Model Checking for System Verification. [Citation Graph (0, 0)][DBLP] APSEC, 2005, pp:59-66 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. [Citation Graph (0, 0)][DBLP] APSEC, 2005, pp:159-166 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Formal Verification of the MCS List-Based Queuing Lock. [Citation Graph (0, 0)][DBLP] ASIAN, 1999, pp:281-293 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP] Essays Dedicated to Joseph A. Goguen, 2006, pp:596-615 [Conf]
- Kazuhiro Ogata, Hiromichi Hirata, Shigenori Ioroi, Kokichi Futatsugi
Experimental Implementation of Parallel TRAM on Massively Parallel Computer. [Citation Graph (0, 0)][DBLP] Euro-Par, 1998, pp:846-851 [Conf]
- Kazuhiro Ogata, Masaru Kondo, Shigenori Ioroi, Kokichi Futatsugi
Design and Implementation of Parallel TRAM. [Citation Graph (0, 0)][DBLP] Euro-Par, 1997, pp:1209-1216 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. [Citation Graph (0, 0)][DBLP] FMOODS, 2002, pp:181-195 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:170-184 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Equational Approach to Formal Analysis of TLS. [Citation Graph (0, 0)][DBLP] ICDCS, 2005, pp:795-804 [Conf]
- Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
Induction-Guided Falsification. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:114-131 [Conf]
- Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi
Modeling and Verification of Hybrid Systems Based on Equations. [Citation Graph (0, 0)][DBLP] DIPES, 2004, pp:43-52 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Specifying and verifying a railroad crossing with CafeOBJ. [Citation Graph (0, 0)][DBLP] IPDPS, 2001, pp:150- [Conf]
- Koji Hasebe, Mitsuhiro Okada
Formal Analysis of the iKP Electronic Payment Protocols. [Citation Graph (0, 0)][DBLP] ISSS, 2002, pp:441-460 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Formal Analysis of the NetBill Electronic Commerce Protocol. [Citation Graph (0, 0)][DBLP] ISSS, 2003, pp:45-64 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. [Citation Graph (0, 0)][DBLP] ASE, 2001, pp:185-192 [Conf]
- Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
Chocolat/SMV: A Translator from CafeOBJ into SMV. [Citation Graph (0, 0)][DBLP] PDCAT, 2005, pp:416-420 [Conf]
- Kazuhiro Ogata, Satoshi Kurihara, Mikio Inari, Norihisa Doi
The Design and Implementation of HoME. [Citation Graph (0, 0)][DBLP] PLDI, 1992, pp:44-54 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Implementation of Term Rewritings with the Evaluation Strategy. [Citation Graph (0, 0)][DBLP] PLILP, 1997, pp:225-239 [Conf]
- Jianwen Xiang, Kazuhiro Ogata
Formal Fault Tree Analysis of State Transition Systems. [Citation Graph (0, 0)][DBLP] QSIC, 2005, pp:124-134 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Equational Approach to Formal Verification of SET. [Citation Graph (0, 0)][DBLP] QSIC, 2004, pp:50-59 [Conf]
- Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi
Automating Invariant Verification of Behavioral Specifications. [Citation Graph (0, 0)][DBLP] QSIC, 2006, pp:49-56 [Conf]
- Kazuhiro Ogata, Koichi Ohhara, Kokichi Futatsugi
TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] RTA, 1997, pp:335-338 [Conf]
- Kazuhiro Ogata, Norihisa Doi
Object allocation and dynamic compilation in MultithreadSmalltalk. [Citation Graph (0, 0)][DBLP] SAC, 1994, pp:452-456 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Operational Semantics of Rewriting with the On-demand Evaluation Strategy. [Citation Graph (0, 0)][DBLP] SAC (2), 2000, pp:756-764 [Conf]
- Kazuhiro Ogata, Shigenori Ioroi, Kokichi Futatsugi
Optimizing Term Rewriting Using Discrimination Nets With Specialization. [Citation Graph (0, 0)][DBLP] SAC, 1999, pp:511-518 [Conf]
- Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
Falsification of OTSs by Searches of Bounded Reachable State Spaces. [Citation Graph (0, 0)][DBLP] SEKE, 2006, pp:440-445 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Proof Score Approach to Verification of Liveness Properties. [Citation Graph (0, 0)][DBLP] SEKE, 2005, pp:608-613 [Conf]
- Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Formal Analysis of Workflow Systems with Security Considerations. [Citation Graph (0, 0)][DBLP] SEKE, 2005, pp:531-536 [Conf]
- Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
Provably Correct Translation from CafeOBJ into Java. [Citation Graph (0, 0)][DBLP] SEKE, 2005, pp:614-619 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Formal Verification of the Horn-Preneel Micropayment Protocol. [Citation Graph (0, 0)][DBLP] VMCAI, 2003, pp:238-252 [Conf]
- Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata
Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. [Citation Graph (0, 0)][DBLP] WEBIST (2), 2006, pp:5-12 [Conf]
- Kazuhiro Ogata, Satoshi Kurihara, Mikio Inari, Norihisa Doi
HoME: Smalltalk on the Match Environment. [Citation Graph (0, 0)][DBLP] TOOLS (6), 1992, pp:153-161 [Conf]
- Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata
CafeOBJ: Logical Foundations and Methodologies. [Citation Graph (0, 0)][DBLP] Computers and Artificial Intelligence, 2003, v:22, n:3, pp:- [Journal]
- Masaki Nakamura, Kazuhiro Ogata
The evaluation strategy for head normal form with and without on-demand flags. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
- Kazuhiro Ogata, Kokichi Futatsugi
Rewriting-Based Verification of Authentication Protocols. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
- Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:57-72 [Journal]
- Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints. [Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 2007, v:17, n:1, pp:3-32 [Journal]
- Kazuhiro Ogata, Kokichi Futatsugi
Flaw and modification of the iKP electronic payment protocols. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2003, v:86, n:2, pp:57-62 [Journal]
- Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. [Citation Graph (0, 0)][DBLP] IFM, 2007, pp:393-412 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Modeling and verification of real-time systems based on equations. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2007, v:66, n:2, pp:162-180 [Journal]
Constructor-Based Institutions. [Citation Graph (, )][DBLP]
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. [Citation Graph (, )][DBLP]
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications. [Citation Graph (, )][DBLP]
Verifying Design with Proof Scores. [Citation Graph (, )][DBLP]
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. [Citation Graph (, )][DBLP]
Search in 0.131secs, Finished in 0.134secs
|