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

Kokichi Futatsugi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
87EEJianwen Xiang, Dines Bjørner, Kokichi Futatsugi: Formal digital license language with OTS/CafeOBJ method. AICCSA 2008: 652-660
86EEYasuhito Arimoto, Michiharu Kudo, Yuji Watanabe, Kokichi Futatsugi: Checking assignments of controls to risks for internal control. ICEGOV 2008: 98-104
85EEKazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. ICFEM 2008: 187-206
84EEKazuhiro Ogata, Kokichi Futatsugi: Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. Electr. Notes Theor. Comput. Sci. 201: 127-154 (2008)
83EEMasaki 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
82EEXiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi: Formal support for e-government system design with transparency consideration. ICEGOV 2007: 20-29
81EEMasaki Nakamura, Kokichi Futatsugi: On Equality Predicates in Algebraic Specification Languages. ICTAC 2007: 381-395
80EEWeiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. IFM 2007: 393-412
79EEKazuhiro Ogata, Kokichi Futatsugi: State Machines as Inductive Types. IEICE Transactions 90-A(12): 2985-2988 (2007)
78EEKazuhiro 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)
77EEWeiqiang 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)
76EEMasahiro 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)
75EEKazuhiro Ogata, Kokichi Futatsugi: Modeling and verification of real-time systems based on equations. Sci. Comput. Program. 66(2): 162-180 (2007)
2006
74 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
73EEKokichi Futatsugi: Verifying Specifications with Proof Scores in CafeOBJ. ASE 2006: 3-10
72EEKazuhiro Ogata, Kokichi Futatsugi: Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. Essays Dedicated to Joseph A. Goguen 2006: 596-615
71EEKazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi: Induction-Guided Falsification. ICFEM 2006: 114-131
70EEMasahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi: Automating Invariant Verification of Behavioral Specifications. QSIC 2006: 49-56
69 Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi: Falsification of OTSs by Searches of Bounded Reachable State Spaces. SEKE 2006: 440-445
68 Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata: Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. WEBIST (2) 2006: 5-12
67EETakahiro 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)
66EEMasaki Nakamura, Masahiro Watanabe, Kokichi Futatsugi: A Behavioral Specification of Imperative Programming Languages. IEICE Transactions 89-A(6): 1558-1565 (2006)
65EEHidetaka 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
64EEKazuhiro Ogata, Kokichi Futatsugi: Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. APSEC 2005: 159-166
63EEWeiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata: A Lightweight Integration of Theorem Proving and Model Checking for System Verification. APSEC 2005: 59-66
62EEKazuhiro Ogata, Kokichi Futatsugi: Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. CIT 2005: 937-943
61EEKazuhiro Ogata, Kokichi Futatsugi: Equational Approach to Formal Analysis of TLS. ICDCS 2005: 795-804
60EEKazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi: Chocolat/SMV: A Translator from CafeOBJ into SMV. PDCAT 2005: 416-420
59 Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of Workflow Systems with Security Considerations. SEKE 2005: 531-536
58 Kazuhiro Ogata, Kokichi Futatsugi: Proof Score Approach to Verification of Liveness Properties. SEKE 2005: 608-613
57 Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Provably Correct Translation from CafeOBJ into Java. SEKE 2005: 614-619
56EEKokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata: Verifying Design with Proof Scores. VSTTE 2005: 277-290
2004
55 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
54EETakahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Supporting Case Analysis with Algebraic Specification Languages. CIT 2004: 1073-1080
53EEWeiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi: Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. CIT 2004: 1100-1107
52EEJianwen Xiang, Kokichi Futatsugi, Yanxiang He: Fault Tree and Formal Methods in System Safety Analysis. CIT 2004: 1108-1115
51 Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi: Modeling and Verification of Hybrid Systems Based on Equations. DIPES 2004: 43-52
50 Jianwen Xiang, Kokichi Futatsugi, Yanxiang He: Formal fault tree construction and system safety analysis. IASTED Conf. on Software Engineering 2004: 378-384
49 Jianwen Xiang, Kokichi Futatsugi, Yanxiang He: Formal construction model and specification of fault tree. IASTED Conf. on Software Engineering and Applications 2004: 374-381
48 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
47EEKazuhiro Ogata, Kokichi Futatsugi: We Present a Complete Study Involving in the One Hand. QSIC 2004: 50-59
2003
46EEToshimi Sawada, Kouichi Kishida, Kokichi Futatsugi: Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. FME 2003: 7-17
45EEKazuhiro Ogata, Kokichi Futatsugi: Proof Scores in the OTS/CafeOBJ Method. FMOODS 2003: 170-184
44EEKazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the NetBill Electronic Commerce Protocol. ISSS 2003: 45-64
43EEKazuhiro Ogata, Kokichi Futatsugi: Formal Verification of the Horn-Preneel Micropayment Protocol. VMCAI 2003: 238-252
42 Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata: CafeOBJ: Logical Foundations and Methodologies. Computers and Artificial Intelligence 22(3): (2003)
41EEKazuhiro Ogata, Kokichi Futatsugi: Flaw and modification of the iKP electronic payment protocols. Inf. Process. Lett. 86(2): 57-62 (2003)
2002
40EEChayan Tapabut, Twittie Senivongse, Kokichi Futatsugi: Defining Attribute Templates for Descriptions of Distributed Services. APSEC 2002: 425-434
39EEKokichi Futatsugi: Formal Methods in CafeOBJ. FLOPS 2002: 1-20
38 Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. FMOODS 2002: 181-195
37EEAkira Mori, Kokichi Futatsugi: CafeOBJ as a Tool for Behavioral System Verification. ISSS 2002: 461-470
36EEKazuhiro Ogata, Kokichi Futatsugi: Rewriting-Based Verification of Authentication Protocols. Electr. Notes Theor. Comput. Sci. 71: (2002)
35EERazvan Diaconescu, Kokichi Futatsugi: Logical foundations of CafeOBJ. Theor. Comput. Sci. 285(2): 289-318 (2002)
2001
34EEKazuhiro Ogata, Kokichi Futatsugi: Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm. APAQS 2001: 357-366
33EEKazuhiro Ogata, Kokichi Futatsugi: Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. ASE 2001: 185-192
32 Kazuhiro Ogata, Kokichi Futatsugi: Specifying and verifying a railroad crossing with CafeOBJ. IPDPS 2001: 150
2000
31EEMichihiro Matsumoto, Kokichi Futatsugi: The support tool for highly reliable component-based software development. APSEC 2000: 172-179
30EEMichihiro Matsumoto, Kokichi Futatsugi: Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. ICFEM 2000: 35-44
29 Kazuhiro Ogata, Kokichi Futatsugi: Operational Semantics of Rewriting with the On-demand Evaluation Strategy. SAC (2) 2000: 756-764
28EEKokichi Futatsugi: Preface. Electr. Notes Theor. Comput. Sci. 36: (2000)
27EERazvan Diaconescu, Kokichi Futatsugi: Behavioural Coherence in Object-Oriented Algebraic Specification. J. UCS 6(1): 74-96 (2000)
1999
26EEMichihiro Matsumoto, Kokichi Futatsugi: Simply Observable Behavioral Specification. APSEC 1999: 460-467
25EEKazuhiro Ogata, Kokichi Futatsugi: Formal Verification of the MCS List-Based Queuing Lock. ASIAN 1999: 281-293
24EEKazuhiro Ogata, Shigenori Ioroi, Kokichi Futatsugi: Optimizing Term Rewriting Using Discrimination Nets With Specialization. SAC 1999: 511-518
23EEAkira Mori, Kokichi Futatsugi: Verifying Behavioural Specifications in CafeOBJ Environment. World Congress on Formal Methods 1999: 1625-1643
22EERazvan Diaconescu, Kokichi Futatsugi, Shusaku Iida: Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods 1999: 1644-1663
1998
21EEKazuhiro 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
19EERazvan Diaconescu, Kokichi Futatsugi: An overview of CafeOBJ. Electr. Notes Theor. Comput. Sci. 15: (1998)
18EEMichihiro Matsumoto, Kokichi Futatsugi: Test set coinduction - Toward automated verification of behavioural properties. Electr. Notes Theor. Comput. Sci. 15: (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-
15EEShin 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, K. 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

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

Colors in the list of coauthors

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