dblp.uni-trier.dewww.uni-trier.de

Kazuhiro Ogata

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
50EEKazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. ICFEM 2008: 187-206
49EEKazuhiro Ogata, Kokichi Futatsugi: Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. Electr. Notes Theor. Comput. Sci. 201: 127-154 (2008)
48EEMasaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: A Specification Translation from Behavioral Specifications to Rewrite Specifications. IEICE Transactions 91-D(5): 1492-1503 (2008)
2007
47EEWeiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. IFM 2007: 393-412
46EEKazuhiro Ogata, Kokichi Futatsugi: State Machines as Inductive Types. IEICE Transactions 90-A(12): 2985-2988 (2007)
45EEKazuhiro Ogata, Kokichi Futatsugi: Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm. IEICE Transactions 90-A(8): 1690-1703 (2007)
44EEWeiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints. International Journal of Software Engineering and Knowledge Engineering 17(1): 3-32 (2007)
43EEMasahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi: CrÈme: an Automatic Invariant Prover of Behavioral Specifications. International Journal of Software Engineering and Knowledge Engineering 17(6): 783-804 (2007)
42EEKazuhiro Ogata, Kokichi Futatsugi: Modeling and verification of real-time systems based on equations. Sci. Comput. Program. 66(2): 162-180 (2007)
2006
41EEKazuhiro Ogata, Kokichi Futatsugi: Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. Essays Dedicated to Joseph A. Goguen 2006: 596-615
40EEKazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi: Induction-Guided Falsification. ICFEM 2006: 114-131
39EEMasahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi: Automating Invariant Verification of Behavioral Specifications. QSIC 2006: 49-56
38 Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi: Falsification of OTSs by Searches of Bounded Reachable State Spaces. SEKE 2006: 440-445
37 Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata: Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. WEBIST (2) 2006: 5-12
36EETakahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. Electr. Notes Theor. Comput. Sci. 147(1): 57-72 (2006)
2005
35EEKazuhiro Ogata, Kokichi Futatsugi: Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. APSEC 2005: 159-166
34EEWeiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata: A Lightweight Integration of Theorem Proving and Model Checking for System Verification. APSEC 2005: 59-66
33EEKazuhiro Ogata, Kokichi Futatsugi: Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. CIT 2005: 937-943
32EEKazuhiro Ogata, Kokichi Futatsugi: Equational Approach to Formal Analysis of TLS. ICDCS 2005: 795-804
31EEKazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi: Chocolat/SMV: A Translator from CafeOBJ into SMV. PDCAT 2005: 416-420
30EEJianwen Xiang, Kazuhiro Ogata: Formal Fault Tree Analysis of State Transition Systems. QSIC 2005: 124-134
29 Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of Workflow Systems with Security Considerations. SEKE 2005: 531-536
28 Kazuhiro Ogata, Kokichi Futatsugi: Proof Score Approach to Verification of Liveness Properties. SEKE 2005: 608-613
27 Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Provably Correct Translation from CafeOBJ into Java. SEKE 2005: 614-619
26EEKokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata: Verifying Design with Proof Scores. VSTTE 2005: 277-290
2004
25EETakahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Supporting Case Analysis with Algebraic Specification Languages. CIT 2004: 1073-1080
24EEWeiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi: Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. CIT 2004: 1100-1107
23 Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi: Modeling and Verification of Hybrid Systems Based on Equations. DIPES 2004: 43-52
22EEKazuhiro Ogata, Kokichi Futatsugi: We Present a Complete Study Involving in the One Hand. QSIC 2004: 50-59
2003
21EEKazuhiro Ogata, Kokichi Futatsugi: Proof Scores in the OTS/CafeOBJ Method. FMOODS 2003: 170-184
20EEKazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the NetBill Electronic Commerce Protocol. ISSS 2003: 45-64
19EEKazuhiro Ogata, Kokichi Futatsugi: Formal Verification of the Horn-Preneel Micropayment Protocol. VMCAI 2003: 238-252
18 Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata: CafeOBJ: Logical Foundations and Methodologies. Computers and Artificial Intelligence 22(3): (2003)
17EEKazuhiro Ogata, Kokichi Futatsugi: Flaw and modification of the iKP electronic payment protocols. Inf. Process. Lett. 86(2): 57-62 (2003)
2002
16 Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. FMOODS 2002: 181-195
15EEKazuhiro Ogata, Kokichi Futatsugi: Rewriting-Based Verification of Authentication Protocols. Electr. Notes Theor. Comput. Sci. 71: (2002)
2001
14EEKazuhiro Ogata, Kokichi Futatsugi: Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm. APAQS 2001: 357-366
13EEKazuhiro Ogata, Kokichi Futatsugi: Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. ASE 2001: 185-192
12 Kazuhiro Ogata, Kokichi Futatsugi: Specifying and verifying a railroad crossing with CafeOBJ. IPDPS 2001: 150
2000
11 Kazuhiro Ogata, Kokichi Futatsugi: Operational Semantics of Rewriting with the On-demand Evaluation Strategy. SAC (2) 2000: 756-764
10EEMasaki Nakamura, Kazuhiro Ogata: The evaluation strategy for head normal form with and without on-demand flags. Electr. Notes Theor. Comput. Sci. 36: (2000)
1999
9EEKazuhiro Ogata, Kokichi Futatsugi: Formal Verification of the MCS List-Based Queuing Lock. ASIAN 1999: 281-293
8EEKazuhiro Ogata, Shigenori Ioroi, Kokichi Futatsugi: Optimizing Term Rewriting Using Discrimination Nets With Specialization. SAC 1999: 511-518
1998
7EEKazuhiro Ogata, Hiromichi Hirata, Shigenori Ioroi, Kokichi Futatsugi: Experimental Implementation of Parallel TRAM on Massively Parallel Computer. Euro-Par 1998: 846-851
1997
6 Kazuhiro Ogata, Masaru Kondo, Shigenori Ioroi, Kokichi Futatsugi: Design and Implementation of Parallel TRAM. Euro-Par 1997: 1209-1216
5 Kazuhiro Ogata, Kokichi Futatsugi: Implementation of Term Rewritings with the Evaluation Strategy. PLILP 1997: 225-239
4 Kazuhiro Ogata, Koichi Ohhara, Kokichi Futatsugi: TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems. RTA 1997: 335-338
1994
3EEKazuhiro Ogata, Norihisa Doi: Object allocation and dynamic compilation in MultithreadSmalltalk. SAC 1994: 452-456
1992
2 Kazuhiro Ogata, Satoshi Kurihara, Mikio Inari, Norihisa Doi: The Design and Implementation of HoME. PLDI 1992: 44-54
1 Kazuhiro Ogata, Satoshi Kurihara, Mikio Inari, Norihisa Doi: HoME: Smalltalk on the Match Environment. TOOLS (6) 1992: 153-161

Coauthor Index

1Razvan Diaconescu [18]
2Norihisa Doi [1] [2] [3]
3Kokichi Futatsugi [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
4Joseph A. Goguen [26]
5Hiromichi Hirata [7]
6Mikio Inari [1] [2]
7Shigenori Ioroi [6] [7] [8]
8Masaru Kondo [6]
9Weiqiang Kong [24] [29] [34] [37] [38] [40] [44] [47] [48]
10Satoshi Kurihara [1] [2]
11Masaki Nakamura [10] [31] [39] [43] [48]
12Masahiro Nakano [31] [39] [40] [43]
13Koichi Ohhara [4]
14Takahiro Seino [23] [25] [27] [34] [36]
15Jittisak Senachak [27]
16Jianwen Xiang [24] [30] [37]
17Daigo Yamagishi [23]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)