The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kazuhiro Ogata: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
    Supporting Case Analysis with Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
    CIT, 2004, pp:1073-1080 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. Kazuhiro Ogata, Kokichi Futatsugi
    Formal Verification of the MCS List-Based Queuing Lock. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:281-293 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Kazuhiro Ogata, Kokichi Futatsugi
    Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:181-195 [Conf]
  12. Kazuhiro Ogata, Kokichi Futatsugi
    Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:170-184 [Conf]
  13. Kazuhiro Ogata, Kokichi Futatsugi
    Equational Approach to Formal Analysis of TLS. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2005, pp:795-804 [Conf]
  14. Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
    Induction-Guided Falsification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:114-131 [Conf]
  15. 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]
  16. Kazuhiro Ogata, Kokichi Futatsugi
    Specifying and verifying a railroad crossing with CafeOBJ. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2001, pp:150- [Conf]
  17. Koji Hasebe, Mitsuhiro Okada
    Formal Analysis of the iKP Electronic Payment Protocols. [Citation Graph (0, 0)][DBLP]
    ISSS, 2002, pp:441-460 [Conf]
  18. Kazuhiro Ogata, Kokichi Futatsugi
    Formal Analysis of the NetBill Electronic Commerce Protocol. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:45-64 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. Kazuhiro Ogata, Kokichi Futatsugi
    Implementation of Term Rewritings with the Evaluation Strategy. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:225-239 [Conf]
  23. Jianwen Xiang, Kazuhiro Ogata
    Formal Fault Tree Analysis of State Transition Systems. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:124-134 [Conf]
  24. Kazuhiro Ogata, Kokichi Futatsugi
    Equational Approach to Formal Verification of SET. [Citation Graph (0, 0)][DBLP]
    QSIC, 2004, pp:50-59 [Conf]
  25. 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]
  26. 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]
  27. Kazuhiro Ogata, Norihisa Doi
    Object allocation and dynamic compilation in MultithreadSmalltalk. [Citation Graph (0, 0)][DBLP]
    SAC, 1994, pp:452-456 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. Kazuhiro Ogata, Kokichi Futatsugi
    Proof Score Approach to Verification of Liveness Properties. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:608-613 [Conf]
  32. 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]
  33. 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]
  34. Kazuhiro Ogata, Kokichi Futatsugi
    Formal Verification of the Horn-Preneel Micropayment Protocol. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:238-252 [Conf]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]

  45. Constructor-Based Institutions. [Citation Graph (, )][DBLP]


  46. Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. [Citation Graph (, )][DBLP]


  47. Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications. [Citation Graph (, )][DBLP]


  48. Verifying Design with Proof Scores. [Citation Graph (, )][DBLP]


  49. Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. [Citation Graph (, )][DBLP]


Search in 1.329secs, Finished in 1.331secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002