- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j30 |      | Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi: Formalization and Verification of Behavioral Correctness of Dynamic Software Updates. Electr. Notes Theor. Comput. Sci. 294: 12-23 (2013) |
| 2012 | ||
| j29 | | Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi: Formal Verification of Effectiveness of Control Activities in Business Processes. IEICE Transactions 95-D(5): 1342-1354 (2012) |
| j28 | | Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata: Constructor-based Logics. J. UCS 18(16): 2204-2233 (2012) |
| j27 | | Kokichi Futatsugi, Daniel Gâinâ, Kazuhiro Ogata: Principles of proof scores in CafeOBJ. Theor. Comput. Sci. 464: 90-112 (2012) |
| c74 | | Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi: An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. APSEC 2012: 664-673 |
| 2011 | ||
| j26 | | 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) |
| c73 | | Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis, Nobukazu Yoshioka, Kokichi Futatsugi: A Modelling Framework to Support Internal Control. SSIRI (Companion) 2011: 187-193 |
| i1 | | Yuan Li, Haibin Kan, Kokichi Futatsugi: A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity". CoRR abs/1110.3876 (2011) |
| 2010 | ||
| j25 | | Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Towards Reliable E-Government Systems with the OTS/CafeOBJ Method. IEICE Transactions 93-D(5): 974-984 (2010) |
| j24 | | 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) |
| j23 | | 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) |
| c72 | | |
| c71 | | Kazuhiro Ogata, Kokichi Futatsugi: A Combination of Forward and Backward Reachability Analysis Methods. ICFEM 2010: 501-517 |
| c70 | | Tomonori Izumida, Kokichi Futatsugi, Akira Mori: A Generic Binary Analysis Method for Malware. IWSEC 2010: 199-216 |
| 2009 | ||
| j22 | | Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi: User-Defined On-Demand Matching. IEICE Transactions 92-D(7): 1401-1411 (2009) |
| c69 | | Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata: Constructor-Based Institutions. CALCO 2009: 398-412 |
| 2008 | ||
| j21 | | Kazuhiro Ogata, Kokichi Futatsugi: Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. Electr. Notes Theor. Comput. Sci. 201: 127-154 (2008) |
| j20 | | 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) |
| j19 | | Kazuhiro Ogata, Kokichi Futatsugi: Proof Score Approach to Verification of Liveness Properties. IEICE Transactions 91-D(12): 2804-2817 (2008) |
| c68 | | Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi: Trace anonymity in the OTS/CafeOBJ method. CIT 2008: 754-759 |
| c67 | | Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi: Formal digital license language with OTS/CafeOBJ method. AICCSA 2008: 652-660 |
| c66 | | Yasuhito Arimoto, Michiharu Kudo, Yuji Watanabe, Kokichi Futatsugi: Checking assignments of controls to risks for internal control. ICEGOV 2008: 98-104 |
| c65 | | Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. ICFEM 2008: 187-206 |
| 2007 | ||
| j18 | | 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) |
| j17 | | Kazuhiro Ogata, Kokichi Futatsugi: State Machines as Inductive Types. IEICE Transactions 90-A(12): 2985-2988 (2007) |
| j16 | | 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) |
| j15 | | 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) |
| j14 | | Kazuhiro Ogata, Kokichi Futatsugi: Modeling and verification of real-time systems based on equations. Sci. Comput. Program. 66(2): 162-180 (2007) |
| c64 | | Xiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi: Formal support for e-government system design with transparency consideration. ICEGOV 2007: 20-29 |
| c63 | | Masaki Nakamura, Kokichi Futatsugi: On Equality Predicates in Algebraic Specification Languages. ICTAC 2007: 381-395 |
| c62 | | Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. IFM 2007: 393-412 |
| 2006 | ||
| j13 |  | Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer: Joseph Goguen (1941-2006). Bulletin of the EATCS 90: 199-201 (2006) |
| j12 | | 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) |
| j11 | | Masaki Nakamura, Masahiro Watanabe, Kokichi Futatsugi: A Behavioral Specification of Imperative Programming Languages. IEICE Transactions 89-A(6): 1558-1565 (2006) |
| j10 | | 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) |
| c61 | | Kazuhiro Ogata, Kokichi Futatsugi: Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. Essays Dedicated to Joseph A. Goguen 2006: 596-615 |
| c60 | | Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi: Induction-Guided Falsification. ICFEM 2006: 114-131 |
| c59 | | |
| c58 | | Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi: Automating Invariant Verification of Behavioral Specifications. QSIC 2006: 49-56 |
| c57 | | Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi: Falsification of OTSs by Searches of Bounded Reachable State Spaces. SEKE 2006: 440-445 |
| c56 | | Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata: Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. WEBIST (2) 2006: 5-12 |
| e4 | | Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (Eds.): Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 4060, Springer 2006, isbn 3-540-35462-X |
| 2005 | ||
| j9 | | 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) |
| c55 | | Kazuhiro Ogata, Kokichi Futatsugi: Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. CIT 2005: 937-943 |
| c54 | | Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata: A Lightweight Integration of Theorem Proving and Model Checking for System Verification. APSEC 2005: 59-66 |
| c53 | | Kazuhiro Ogata, Kokichi Futatsugi: Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. APSEC 2005: 159-166 |
| c52 | | Kazuhiro Ogata, Kokichi Futatsugi: Equational Approach to Formal Analysis of TLS. ICDCS 2005: 795-804 |
| c51 | | Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi: Chocolat/SMV: A Translator from CafeOBJ into SMV. PDCAT 2005: 416-420 |
| c50 | | Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of Workflow Systems with Security Considerations. SEKE 2005: 531-536 |
| c49 | | Kazuhiro Ogata, Kokichi Futatsugi: Proof Score Approach to Verification of Liveness Properties. SEKE 2005: 608-613 |
| c48 | | Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Provably Correct Translation from CafeOBJ into Java. SEKE 2005: 614-619 |
| c47 | | Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata: Verifying Design with Proof Scores. VSTTE 2005: 277-290 |
| 2004 | ||
| c46 | | Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Supporting Case Analysis with Algebraic Specification Languages. CIT 2004: 1073-1080 |
| c45 | | Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi: Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. CIT 2004: 1100-1107 |
| c44 | | Jianwen Xiang, Kokichi Futatsugi, Yanxiang He: Fault Tree and Formal Methods in System Safety Analysis. CIT 2004: 1108-1115 |
| c43 | | Jianwen Xiang, Kokichi Futatsugi, Yanxiang He: Formal fault tree construction and system safety analysis. IASTED Conf. on Software Engineering 2004: 378-384 |
| c42 | | Jianwen Xiang, Kokichi Futatsugi, Yanxiang He: Formal construction model and specification of fault tree. IASTED Conf. on Software Engineering and Applications 2004: 374-381 |
| c41 | | 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 |
| c40 | | Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi: Modeling and Verification of Hybrid Systems Based on Equations. DIPES 2004: 43-52 |
| c39 | | Kazuhiro Ogata, Kokichi Futatsugi: Equational Approach to Formal Verification of SET. QSIC 2004: 50-59 |
| e3 | | Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (Eds.): Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers. Lecture Notes in Computer Science 3233, Springer 2004, isbn 3-540-23635-X |
| 2003 | ||
| j8 | | Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata: CafeOBJ: Logical Foundations and Methodologies. Computers and Artificial Intelligence 22(3-4): 257-283 (2003) |
| j7 | | Kazuhiro Ogata, Kokichi Futatsugi: Flaw and modification of the iKP electronic payment protocols. Inf. Process. Lett. 86(2): 57-62 (2003) |
| c38 | | Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi: Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. FME 2003: 7-17 |
| c37 | | |
| c36 | | Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the NetBill Electronic Commerce Protocol. ISSS 2003: 45-64 |
| c35 | | Kazuhiro Ogata, Kokichi Futatsugi: Formal Verification of the Horn-Preneel Micropayment Protocol. VMCAI 2003: 238-252 |
| 2002 | ||
| j6 | | Kazuhiro Ogata, Kokichi Futatsugi: Rewriting-Based Verification of Authentication Protocols. Electr. Notes Theor. Comput. Sci. 71: 208-222 (2002) |
| j5 | | Razvan Diaconescu, Kokichi Futatsugi: Logical foundations of CafeOBJ. Theor. Comput. Sci. 285(2): 289-318 (2002) |
| c34 | | Chayan Tapabut, Twittie Senivongse, Kokichi Futatsugi: Defining Attribute Templates for Descriptions of Distributed Services. APSEC 2002: 425-434 |
| c33 | | |
| c32 | | Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. FMOODS 2002: 181-195 |
| c31 | | Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of the iKP Electronic Payment Protocols. ISSS 2002: 441-460 |
| c30 | | Akira Mori, Kokichi Futatsugi: CafeOBJ as a Tool for Behavioral System Verification. ISSS 2002: 461-470 |
| 2001 | ||
| c29 | | Kazuhiro Ogata, Kokichi Futatsugi: Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm. APAQS 2001: 357-366 |
| c28 | | Kazuhiro Ogata, Kokichi Futatsugi: Specifying and verifying a railroad crossing with CafeOBJ. IPDPS 2001: 150 |
| c27 | | Kazuhiro Ogata, Kokichi Futatsugi: Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. ASE 2001: 185-192 |
| 2000 | ||
| j4 | | |
| j3 | | Razvan Diaconescu, Kokichi Futatsugi: Behavioural Coherence in Object-Oriented Algebraic Specification. J. UCS 6(1): 74-96 (2000) |
| c26 | | Michihiro Matsumoto, Kokichi Futatsugi: The support tool for highly reliable component-based software development. APSEC 2000: 172-179 |
| c25 | | Michihiro Matsumoto, Kokichi Futatsugi: Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. ICFEM 2000: 35-44 |
| c24 | | Kazuhiro Ogata, Kokichi Futatsugi: Operational Semantics of Rewriting with the On-demand Evaluation Strategy. SAC (2) 2000: 756-764 |
| 1999 | ||
| c23 | | Michihiro Matsumoto, Kokichi Futatsugi: Simply Observable Behavioral Specification. APSEC 1999: 460-467 |
| c22 | | Kazuhiro Ogata, Kokichi Futatsugi: Formal Verification of the MCS List-Based Queuing Lock. ASIAN 1999: 281-293 |
| c21 | | Akira Mori, Kokichi Futatsugi: Verifying Behavioural Specifications in CafeOBJ Environment. World Congress on Formal Methods 1999: 1625-1643 |
| c20 | | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida: Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods 1999: 1644-1663 |
| c19 | | Kazuhiro Ogata, Shigenori Ioroi, Kokichi Futatsugi: Optimizing Term Rewriting Using Discrimination Nets With Specialization. SAC 1999: 511-518 |
| 1998 | ||
| j2 | | Michihiro Matsumoto, Kokichi Futatsugi: Test set coinduction - Toward automated verification of behavioural properties. Electr. Notes Theor. Comput. Sci. 15: 242-262 (1998) |
| j1 | | Razvan Diaconescu, Kokichi Futatsugi: An overview of CafeOBJ. Electr. Notes Theor. Comput. Sci. 15: 285-298 (1998) |
| c18 | | Kazuhiro Ogata, Hiromichi Hirata, Shigenori Ioroi, Kokichi Futatsugi: Experimental Implementation of Parallel TRAM on Massively Parallel Computer. Euro-Par 1998: 846-851 |
| c17 | | 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 |
| e2 | | Koji Torii, Kokichi Futatsugi, Richard A. Kemmerer (Eds.): Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 19-25, 1998. IEEE Computer Society 1998, isbn 0-8186-8368-6 |
| 1997 | ||
| c16 | | Kazuhiro Ogata, Masaru Kondo, Shigenori Ioroi, Kokichi Futatsugi: Design and Implementation of Parallel TRAM. Euro-Par 1997: 1209-1216 |
| c15 | | 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- |
| c14 | | Shin Nakajima, Kokichi Futatsugi: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. ICSE 1997: 34-44 |
| c13 | | Kazuhiro Ogata, Kokichi Futatsugi: Implementation of Term Rewritings with the Evaluation Strategy. PLILP 1997: 225-239 |
| c12 | | Kazuhiro Ogata, Koichi Ohhara, Kokichi Futatsugi: TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems. RTA 1997: 335-338 |
| 1996 | ||
| e1 | | Kokichi Futatsugi, Satoshi Matsuoka (Eds.): Object Technologies for Advanced Software, Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996, Proceedings. Lecture Notes in Computer Science 1049, Springer 1996, isbn 3-540-60954-7 |
| 1994 | ||
| c11 | | |
| 1990 | ||
| c10 | | |
| c9 | | |
| c8 | | Kokichi Futatsugi: Product-centered process description = algebraic specification of environment + SCRIPT. ISPW 1990: 95-98 |
| 1989 | ||
| c7 | | Ataru T. Nakagawa, Kokichi Futatsugi: Stepwise Refinement Process with Modularity: An Algebraic Approach. ICSE 1989: 166-177 |
| c6 | | |
| 1988 | ||
| c5 | | Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu: Algebraic Specification of Macintosh's Quickdraw Using OBJ2. ICSE 1988: 334-343 |
| 1987 | ||
| c4 | | Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada: Parameterized Programming in OBJ2. ICSE 1987: 51-60 |
| 1985 | ||
| c3 | | Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Principles of OBJ2. POPL 1985: 52-66 |
| 1982 | ||
| c2 | | Kokichi Futatsugi, Koji Okada: A Hierarchical Structuring Method for Functional Software Systems. ICSE 1982: 393-402 |
| 1980 | ||
| c1 | | Kokichi Futatsugi, Koji Okada: Specification Writing as Construction of Hierarchically Structured Clusters of Operators. IFIP Congress 1980: 287-292 |
Colors in the list of coauthors
Last update Tue May 21 20:13:35 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page