Kokichi Futatsugi

	2012
104		Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi: Formal Verification of Effectiveness of Control Activities in Business Processes. IEICE Transactions 95-D(5): 1342-1354 (2012)
	2011
103		Yuan Li, Haibin Kan, Kokichi Futatsugi: A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity" CoRR abs/1110.3876: (2011)
102		Yuan Li, Haibin Kan, Kokichi Futatsugi: A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity". IEICE Transactions 94-A(9): 1877-1880 (2011)
	2010
101		Kokichi Futatsugi: Fostering Proof Scores in CafeOBJ. ICFEM 2010: 1-20
100		Kazuhiro Ogata, Kokichi Futatsugi: A Combination of Forward and Backward Reachability Analysis Methods. ICFEM 2010: 501-517
99		Tomonori Izumida, Kokichi Futatsugi, Akira Mori: A Generic Binary Analysis Method for Malware. IWSEC 2010: 199-216
98		Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Towards Reliable E-Government Systems with the OTS/CafeOBJ Method. IEICE Transactions 93-D(5): 974-984 (2010)
97		Kazuhiro Ogata, Kokichi Futatsugi: Proof Score Approach to Analysis of Electronic Commerce Protocols. International Journal of Software Engineering and Knowledge Engineering 20(2): 253-287 (2010)
96		Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi: Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications. J. Symb. Comput. 45(5): 551-573 (2010)
	2009
95		Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata: Constructor-Based Institutions. CALCO 2009: 398-412
94		Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi: User-Defined On-Demand Matching. IEICE Transactions 92-D(7): 1401-1411 (2009)
	2008
93		Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi: Formal digital license language with OTS/CafeOBJ method. AICCSA 2008: 652-660
92		Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi: Trace anonymity in the OTS/CafeOBJ method. CIT 2008: 754-759
91		Yasuhito Arimoto, Michiharu Kudo, Yuji Watanabe, Kokichi Futatsugi: Checking assignments of controls to risks for internal control. ICEGOV 2008: 98-104
90		Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. ICFEM 2008: 187-206
89		Kazuhiro Ogata, Kokichi Futatsugi: Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. Electr. Notes Theor. Comput. Sci. 201: 127-154 (2008)
88		Kazuhiro Ogata, Kokichi Futatsugi: Proof Score Approach to Verification of Liveness Properties. IEICE Transactions 91-D(12): 2804-2817 (2008)
87		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
86		Xiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi: Formal support for e-government system design with transparency consideration. ICEGOV 2007: 20-29
85		Masaki Nakamura, Kokichi Futatsugi: On Equality Predicates in Algebraic Specification Languages. ICTAC 2007: 381-395
84		Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. IFM 2007: 393-412
83		Kazuhiro Ogata, Kokichi Futatsugi: State Machines as Inductive Types. IEICE Transactions 90-A(12): 2985-2988 (2007)
82		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)
81		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)
80		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)
79		Kazuhiro Ogata, Kokichi Futatsugi: Modeling and verification of real-time systems based on equations. Sci. Comput. Program. 66(2): 162-180 (2007)
	2006
78		Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Springer 2006
77		Kokichi Futatsugi: Verifying Specifications with Proof Scores in CafeOBJ. ASE 2006: 3-10
76		Kazuhiro Ogata, Kokichi Futatsugi: Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. Essays Dedicated to Joseph A. Goguen 2006: 596-615
75		Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi: Induction-Guided Falsification. ICFEM 2006: 114-131
74		Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi: Automating Invariant Verification of Behavioral Specifications. QSIC 2006: 49-56
73		Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi: Falsification of OTSs by Searches of Bounded Reachable State Spaces. SEKE 2006: 440-445
72		Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata: Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. WEBIST (2) 2006: 5-12
71		Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer: Joseph Goguen (1941-2006). Bulletin of the EATCS 90: 199-201 (2006)
70		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)
69		Masaki Nakamura, Masahiro Watanabe, Kokichi Futatsugi: A Behavioral Specification of Imperative Programming Languages. IEICE Transactions 89-A(6): 1558-1565 (2006)
68		Hidetaka Kondoh, Kokichi Futatsugi: To use or not to use the goto statement: Programming styles viewed from Hoare Logic. Sci. Comput. Program. 60(1): 82-116 (2006)
	2005
67		Kazuhiro Ogata, Kokichi Futatsugi: Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. APSEC 2005: 159-166
66		Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata: A Lightweight Integration of Theorem Proving and Model Checking for System Verification. APSEC 2005: 59-66
65		Kazuhiro Ogata, Kokichi Futatsugi: Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. CIT 2005: 937-943
64		Kazuhiro Ogata, Kokichi Futatsugi: Equational Approach to Formal Analysis of TLS. ICDCS 2005: 795-804
63		Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi: Chocolat/SMV: A Translator from CafeOBJ into SMV. PDCAT 2005: 416-420
62		Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of Workflow Systems with Security Considerations. SEKE 2005: 531-536
61		Kazuhiro Ogata, Kokichi Futatsugi: Proof Score Approach to Verification of Liveness Properties. SEKE 2005: 608-613
60		Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Provably Correct Translation from CafeOBJ into Java. SEKE 2005: 614-619
59		Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata: Verifying Design with Proof Scores. VSTTE 2005: 277-290
58		Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Mechanically supporting case analysis for verification of distributed systems. Int. J. Pervasive Computing and Communications 1(2): 135-146 (2005)
	2004
57		Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki: Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers Springer 2004
56		Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Supporting Case Analysis with Algebraic Specification Languages. CIT 2004: 1073-1080
55		Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi: Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. CIT 2004: 1100-1107
54		Jianwen Xiang, Kokichi Futatsugi, Yanxiang He: Fault Tree and Formal Methods in System Safety Analysis. CIT 2004: 1108-1115
53		Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi: Modeling and Verification of Hybrid Systems Based on Equations. DIPES 2004: 43-52
52		Jianwen Xiang, Kokichi Futatsugi, Yanxiang He: Formal fault tree construction and system safety analysis. IASTED Conf. on Software Engineering 2004: 378-384
51		Jianwen Xiang, Kokichi Futatsugi, Yanxiang He: Formal construction model and specification of fault tree. IASTED Conf. on Software Engineering and Applications 2004: 374-381
50		Natenapa Sriharee, Twittie Senivongse, Chayan Teppaboot, Kokichi Futatsugi: Adding Semantics to Attribute-Based Discovery of Web Services. International Conference on Internet Computing 2004: 790-794
49		Kazuhiro Ogata, Kokichi Futatsugi: Equational Approach to Formal Verification of SET. QSIC 2004: 50-59
	2003
48		Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi: Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. FME 2003: 7-17
47		Kazuhiro Ogata, Kokichi Futatsugi: Proof Scores in the OTS/CafeOBJ Method. FMOODS 2003: 170-184
46		Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the NetBill Electronic Commerce Protocol. ISSS 2003: 45-64
45		Kazuhiro Ogata, Kokichi Futatsugi: Formal Verification of the Horn-Preneel Micropayment Protocol. VMCAI 2003: 238-252
44		Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata: CafeOBJ: Logical Foundations and Methodologies. Computers and Artificial Intelligence 22(3-4): 257-283 (2003)
43		Kazuhiro Ogata, Kokichi Futatsugi: Flaw and modification of the iKP electronic payment protocols. Inf. Process. Lett. 86(2): 57-62 (2003)
	2002
42		Chayan Tapabut, Twittie Senivongse, Kokichi Futatsugi: Defining Attribute Templates for Descriptions of Distributed Services. APSEC 2002: 425-434
41		Kokichi Futatsugi: Formal Methods in CafeOBJ. FLOPS 2002: 1-20
40		Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. FMOODS 2002: 181-195
39		Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the iKP Electronic Payment Protocols. ISSS 2002: 441-460
38		Akira Mori, Kokichi Futatsugi: CafeOBJ as a Tool for Behavioral System Verification. ISSS 2002: 461-470
37		Kazuhiro Ogata, Kokichi Futatsugi: Rewriting-Based Verification of Authentication Protocols. Electr. Notes Theor. Comput. Sci. 71: 208-222 (2002)
36		Razvan Diaconescu, Kokichi Futatsugi: Logical foundations of CafeOBJ. Theor. Comput. Sci. 285(2): 289-318 (2002)
	2001
35		Kazuhiro Ogata, Kokichi Futatsugi: Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm. APAQS 2001: 357-366
34		Kazuhiro Ogata, Kokichi Futatsugi: Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. ASE 2001: 185-192
33		Kazuhiro Ogata, Kokichi Futatsugi: Specifying and verifying a railroad crossing with CafeOBJ. IPDPS 2001: 150
	2000
32		Michihiro Matsumoto, Kokichi Futatsugi: The support tool for highly reliable component-based software development. APSEC 2000: 172-179
31		Michihiro Matsumoto, Kokichi Futatsugi: Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. ICFEM 2000: 35-44
30		Kazuhiro Ogata, Kokichi Futatsugi: Operational Semantics of Rewriting with the On-demand Evaluation Strategy. SAC (2) 2000: 756-764
29		Kokichi Futatsugi: Preface. Electr. Notes Theor. Comput. Sci. 36: 1 (2000)
28		Razvan Diaconescu, Kokichi Futatsugi: Behavioural Coherence in Object-Oriented Algebraic Specification. J. UCS 6(1): 74-96 (2000)
	1999
27		Michihiro Matsumoto, Kokichi Futatsugi: Simply Observable Behavioral Specification. APSEC 1999: 460-467
26		Kazuhiro Ogata, Kokichi Futatsugi: Formal Verification of the MCS List-Based Queuing Lock. ASIAN 1999: 281-293
25		Kazuhiro Ogata, Shigenori Ioroi, Kokichi Futatsugi: Optimizing Term Rewriting Using Discrimination Nets With Specialization. SAC 1999: 511-518
24		Akira Mori, Kokichi Futatsugi: Verifying Behavioural Specifications in CafeOBJ Environment. World Congress on Formal Methods 1999: 1625-1643
23		Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida: Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods 1999: 1644-1663
	1998
22		Koji Torii, Kokichi Futatsugi, Richard A. Kemmerer: Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 19-25, 1998. IEEE Computer Society 1998
21		Kazuhiro Ogata, Hiromichi Hirata, Shigenori Ioroi, Kokichi Futatsugi: Experimental Implementation of Parallel TRAM on Massively Parallel Computer. Euro-Par 1998: 846-851
20		Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima: On the Semantics of GAEA. Fuji International Symposium on Functional and Logic Programming 1998: 123-142
19		Michihiro Matsumoto, Kokichi Futatsugi: Test set coinduction - Toward automated verification of behavioural properties. Electr. Notes Theor. Comput. Sci. 15: 242-262 (1998)
18		Razvan Diaconescu, Kokichi Futatsugi: An overview of CafeOBJ. Electr. Notes Theor. Comput. Sci. 15: 285-298 (1998)
	1997
17		Kazuhiro Ogata, Masaru Kondo, Shigenori Ioroi, Kokichi Futatsugi: Design and Implementation of Parallel TRAM. Euro-Par 1997: 1209-1216
16		Kokichi Futatsugi, Ataru T. Nakagawa: An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. ICFEM 1997: 170-
15		Shin Nakajima, Kokichi Futatsugi: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. ICSE 1997: 34-44
14		Kazuhiro Ogata, Kokichi Futatsugi: Implementation of Term Rewritings with the Evaluation Strategy. PLILP 1997: 225-239
13		Kazuhiro Ogata, Koichi Ohhara, Kokichi Futatsugi: TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems. RTA 1997: 335-338
	1996
12		Kokichi Futatsugi, Satoshi Matsuoka: Object Technologies for Advanced Software, Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996, Proceedings Springer 1996
	1994
11		Ataru T. Nakagawa, Kokichi Futatsugi: Formalizing humans in software processes. ISPW 1994: 60-61
	1990
10		Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi: A LOTOS Simulator in OBJ. FORTE 1990: 535-538
9		Ataru T. Nakagawa, Kokichi Futatsugi: Software Process à la Algebra: OBJ for OBJ. ICSE 1990: 12-23
8		Kokichi Futatsugi: Product-centered process description = algebraic specification of environment + SCRIPT. ISPW 1990: 95-98
	1989
7		Ataru T. Nakagawa, Kokichi Futatsugi: Stepwise Refinement Process with Modularity: An Algebraic Approach. ICSE 1989: 166-177
6		Ataru T. Nakagawa, Kokichi Futatsugi: Product-based process models. ISPW 1989: 101-105
	1988
5		Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu: Algebraic Specification of Macintosh's Quickdraw Using OBJ2. ICSE 1988: 334-343
	1987
4		Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada: Parameterized Programming in OBJ2. ICSE 1987: 51-60
	1985
3		Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Principles of OBJ2. POPL 1985: 52-66
	1982
2		Kokichi Futatsugi, Koji Okada: A Hierarchical Structuring Method for Functional Software Systems. ICSE 1982: 393-402
	1980
1		Kokichi Futatsugi, Koji Okada: Specification Writing as Construction of Hierarchically Structured Clusters of Operators. IFIP Congress 1980: 287-292

Coauthor Index

1	Yasuhito Arimoto	[91] [104]
2	Dines Bjørner	[93]
3	Xiaoyi Chen	[86]
4	Jian Cheng	[92]
5	Razvan Diaconescu	[18] [23] [28] [36] [44]
6	Daniel Gâinâ	[95]
7	Joseph A. Goguen	[3] [4] [59]
8	Yanxiang He	[51] [52] [54]
9	Hiromichi Hirata	[21]
10	Shusaku Iida	[23] [104]
11	Shigenori Ioroi	[17] [21] [25]
12	Hiroshi Ishikawa	[20]
13	Tomonori Izumida	[99]
14	Jean-Pierre Jouannaud	[3] [71] [78]
15	Haibin Kan	[102] [103]
16	Richard A. Kemmerer	[22]
17	Kouichi Kishida	[48]
18	Masaru Kondo	[17]
19	Hidetaka Kondoh	[68]
20	Weiqiang Kong	[55] [62] [66] [72] [73] [75] [81] [84] [86] [87] [92] [98]
21	Michiharu Kudo	[91]
22	Yuan Li	[102] [103]
23	Michihiro Matsumoto	[19] [27] [31] [32]
24	Satoshi Matsuoka	[12]
25	José Meseguer	[3] [4] [20] [71] [78]
26	Fumio Mizoguchi	[57]
27	Akira Mori	[24] [38] [99]
28	Ataru T. Nakagawa	[5] [6] [7] [9] [11] [16]
29	Shin Nakajima	[15]
30	Masaki Nakamura	[63] [69] [74] [80] [85] [87] [94] [96]
31	Masahiro Nakano	[63] [74] [75] [80]
32	Hideyuki Nakashima	[20]
33	Kazuhiro Ogata	[13] [14] [17] [21] [25] [26] [30] [33] [34] [35] [37] [39] [40] [43] [44] [45] [46] [47] [49] [53] [55] [56] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [70] [72] [73] [74] [75] [76] [79] [80] [81] [82] [83] [84] [87] [88] [89] [90] [92] [94] [95] [96] [97] [98] [100]
34	Koichi Ohhara	[13]
35	Kazuhito Ohmaki	[10]
36	Koji Okada	[1] [2] [4]
37	Toshimi Sawada	[48]
38	Takahiro Seino	[53] [56] [58] [60] [66] [70]
39	Jittisak Senachak	[60]
40	Twittie Senivongse	[42] [50]
41	T. Shimizu	[5]
42	Natenapa Sriharee	[50]
43	Koichi Takahashi	[10]
44	Chayan Tapabut	[42]
45	Chayan Teppaboot	[50]
46	Satoru Tomura	[5]
47	Koji Torii	[22]
48	Masahiro Watanabe	[69]
49	Takuo Watanabe	[20]
50	Yuji Watanabe	[91]
51	Jianwen Xiang	[51] [52] [54] [55] [72] [93]
52	Daigo Yamagishi	[53]
53	Naoki Yonezaki	[57]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page