The SCEAS System
| |||||||

## 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**[Citation Graph (0, 0)][DBLP]*i*KP Electronic Payment Protocols. 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.005secs, Finished in 0.007secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |