Kazuhiro Ogata

other persons with the same name:

• Kazuhiro Ogata

	2009
53		Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata: Constructor-Based Institutions. CALCO 2009: 398-412
52		Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi: User-Defined On-Demand Matching. IEICE Transactions 92-D(7): 1401-1411 (2009)
	2008
51		Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. ICFEM 2008: 187-206
50		Kazuhiro Ogata, Kokichi Futatsugi: Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. Electr. Notes Theor. Comput. Sci. 201: 127-154 (2008)
49		Kazuhiro Ogata, Kokichi Futatsugi: Proof Score Approach to Verification of Liveness Properties. IEICE Transactions 91-D(12): 2804-2817 (2008)
48		Masaki 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
47		Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. IFM 2007: 393-412
46		Kazuhiro Ogata, Kokichi Futatsugi: State Machines as Inductive Types. IEICE Transactions 90-A(12): 2985-2988 (2007)
45		Kazuhiro 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)
44		Weiqiang 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)
43		Masahiro 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)
42		Kazuhiro Ogata, Kokichi Futatsugi: Modeling and verification of real-time systems based on equations. Sci. Comput. Program. 66(2): 162-180 (2007)
	2006
41		Kazuhiro Ogata, Kokichi Futatsugi: Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. Essays Dedicated to Joseph A. Goguen 2006: 596-615
40		Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi: Induction-Guided Falsification. ICFEM 2006: 114-131
39		Masahiro 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
36		Takahiro 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
35		Kazuhiro Ogata, Kokichi Futatsugi: Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. APSEC 2005: 159-166
34		Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata: A Lightweight Integration of Theorem Proving and Model Checking for System Verification. APSEC 2005: 59-66
33		Kazuhiro Ogata, Kokichi Futatsugi: Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. CIT 2005: 937-943
32		Kazuhiro Ogata, Kokichi Futatsugi: Equational Approach to Formal Analysis of TLS. ICDCS 2005: 795-804
31		Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi: Chocolat/SMV: A Translator from CafeOBJ into SMV. PDCAT 2005: 416-420
30		Jianwen 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
26		Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata: Verifying Design with Proof Scores. VSTTE 2005: 277-290
	2004
25		Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Supporting Case Analysis with Algebraic Specification Languages. CIT 2004: 1073-1080
24		Weiqiang 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
22		Kazuhiro Ogata, Kokichi Futatsugi: We Present a Complete Study Involving in the One Hand. QSIC 2004: 50-59
	2003
21		Kazuhiro Ogata, Kokichi Futatsugi: Proof Scores in the OTS/CafeOBJ Method. FMOODS 2003: 170-184
20		Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the NetBill Electronic Commerce Protocol. ISSS 2003: 45-64
19		Kazuhiro 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)
17		Kazuhiro 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
15		Kazuhiro Ogata, Kokichi Futatsugi: Rewriting-Based Verification of Authentication Protocols. Electr. Notes Theor. Comput. Sci. 71: (2002)
	2001
14		Kazuhiro Ogata, Kokichi Futatsugi: Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm. APAQS 2001: 357-366
13		Kazuhiro 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
10		Masaki Nakamura, Kazuhiro Ogata: The evaluation strategy for head normal form with and without on-demand flags. Electr. Notes Theor. Comput. Sci. 36: (2000)
	1999
9		Kazuhiro Ogata, Kokichi Futatsugi: Formal Verification of the MCS List-Based Queuing Lock. ASIAN 1999: 281-293
8		Kazuhiro Ogata, Shigenori Ioroi, Kokichi Futatsugi: Optimizing Term Rewriting Using Discrimination Nets With Specialization. SAC 1999: 511-518
	1998
7		Kazuhiro 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
3		Kazuhiro 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

1	Razvan Diaconescu	[18]
2	Norihisa Doi	[1] [2] [3]
3	Kokichi 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] [51] [52] [53]
4	Daniel Gâinâ	[53]
5	Joseph A. Goguen	[26]
6	Hiromichi Hirata	[7]
7	Mikio Inari	[1] [2]
8	Shigenori Ioroi	[6] [7] [8]
9	Masaru Kondo	[6]
10	Weiqiang Kong	[24] [29] [34] [37] [38] [40] [44] [47] [48]
11	Satoshi Kurihara	[1] [2]
12	Masaki Nakamura	[10] [31] [39] [43] [48] [52]
13	Masahiro Nakano	[31] [39] [40] [43]
14	Koichi Ohhara	[4]
15	Takahiro Seino	[23] [25] [27] [34] [36]
16	Jittisak Senachak	[27]
17	Jianwen Xiang	[24] [30] [37]
18	Daigo Yamagishi	[23]

Colors in the list of coauthors