| 2021 | TASE | Advances of Proof Scores in CafeOBJ : Invited Paper. | Kokichi Futatsugi |
| 2020 | COMPSAC | A Method for Assessing the Reliability of Business Processes that Reflects Transaction Documents Checking for each Department. | Takafumi Komoto, Kokichi Futatsugi, Nobukazu Yoshioka |
| 2016 | FASE | CafeInMaude: A CafeOBJ Interpreter in Maude. | Adrin Riesco, Kazuhiro Ogata, Kokichi Futatsugi |
| 2015 | APSEC | Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates. | Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi |
| 2015 | ICFEM | Formalization and Verification of Declarative Cloud Orchestration. | Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi |
| 2014 | LOPSTR | Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. | Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi |
| 2013 | ICST | Towards Formal Description of Standards for Automotive Operating Systems. | Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi |
| 2012 | APSEC | An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. | Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi |
| 2010 | ICFEM | Fostering Proof Scores in CafeOBJ. | Kokichi Futatsugi |
| 2010 | ICFEM | A Combination of Forward and Backward Reachability Analysis Methods. | Kazuhiro Ogata, Kokichi Futatsugi |
| 2010 | IWSEC | A Generic Binary Analysis Method for Malware. | Tomonori Izumida, Kokichi Futatsugi, Akira Mori |
| 2009 | CALCO | Constructor-Based Institutions. | Daniel Gin, Kokichi Futatsugi, Kazuhiro Ogata |
| 2008 | AICCSA | Formal digital license language with OTS/CafeOBJ method. | Jianwen Xiang, Dines Bjrner, Kokichi Futatsugi |
| 2008 | ICFEM | Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. | Kazuhiro Ogata, Kokichi Futatsugi |
| 2007 | ICTAC | On Equality Predicates in Algebraic Specification Languages. | Masaki Nakamura, Kokichi Futatsugi |
| 2007 | IFM | Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. | Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi |
| 2006 | ICFEM | Induction-Guided Falsification. | Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi |
| 2006 | SEKE | Falsification of OTSs by Searches of Bounded Reachable State Spaces. | Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi |
| 2006 | WEBIST | Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. | Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata |
| 2005 | APSEC | A Lightweight Integration of Theorem Proving and Model Checking for System Verification. | Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata |
| 2005 | APSEC | Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. | Kazuhiro Ogata, Kokichi Futatsugi |
| 2005 | ICDCS | Equational Approach to Formal Analysis of TLS. | Kazuhiro Ogata, Kokichi Futatsugi |
| 2005 | PDCAT | Chocolat/SMV: A Translator from CafeOBJ into SMV. | Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi |
| 2005 | SEKE | Formal Analysis of Workflow Systems with Security Considerations. | Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi |
| 2005 | SEKE | Proof Score Approach to Verification of Liveness Properties. | Kazuhiro Ogata, Kokichi Futatsugi |
| 2005 | SEKE | Provably Correct Translation from CafeOBJ into Java. | Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi |
| 2003 | FM | Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. | Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi |
| 2003 | VMCAI | Formal Verification of the Horn-Preneel Micropayment Protocol. | Kazuhiro Ogata, Kokichi Futatsugi |
| 2002 | APSEC | Defining Attribute Templates for Descriptions of Distributed Services. | Chayan Tapabut, Twittie Senivongse, Kokichi Futatsugi |
| 2002 | FLOPS | Formal Methods in CafeOBJ. | Kokichi Futatsugi |
| 2000 | APSEC | The support tool for highly reliable component-based software development. | Michihiro Matsumoto, Kokichi Futatsugi |
| 2000 | ICFEM | Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. | Michihiro Matsumoto, Kokichi Futatsugi |
| 2000 | SAC | Operational Semantics of Rewriting with the On-demand Evaluation Strategy. | Kazuhiro Ogata, Kokichi Futatsugi |
| 1999 | APSEC | Simply Observable Behavioral Specification. | Michihiro Matsumoto, Kokichi Futatsugi |
| 1999 | FM | Component-Based Algebraic Specification and Verification in CafeOBJ. | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida |
| 1999 | FM | Verifying Behavioural Specifications in CafeOBJ Environment. | Akira Mori, Kokichi Futatsugi |
| 1999 | SAC | Optimizing Term Rewriting Using Discrimination Nets With Specialization. | Kazuhiro Ogata, Shigenori Ioroi, Kokichi Futatsugi |
| 1998 | EuroPar | Experimental Implementation of Parallel TRAM on Massively Parallel Computer. | Kazuhiro Ogata, Hiromichi Hirata, Shigenori Ioroi, Kokichi Futatsugi |
| 1998 | FLOPS | On the Semantics of GAEA. | Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, Jos Meseguer, Hideyuki Nakashima |
| 1997 | EuroPar | Design and Implementation of Parallel TRAM. | Kazuhiro Ogata, Masaru Kondo, Shigenori Ioroi, Kokichi Futatsugi |
| 1997 | ICFEM | An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. | Kokichi Futatsugi, Ataru T. Nakagawa |
| 1997 | ICSE | An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. | Shin Nakajima, Kokichi Futatsugi |
| 1991 | COMPSAC | Specifications of a general user interface in LOTOS and OBJ. | Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi |
| 1990 | FORTE | A LOTOS Simulator in OBJ. | Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi |
| 1990 | ICSE | Software Process la Algebra: OBJ for OBJ. | Ataru T. Nakagawa, Kokichi Futatsugi |
| 1989 | ICSE | Stepwise Refinement Process with Modularity: An Algebraic Approach. | Ataru T. Nakagawa, Kokichi Futatsugi |
| 1988 | ICSE | Algebraic Specification of Macintosh's Quickdraw Using OBJ2. | Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu |
| 1987 | ICSE | Parameterized Programming in OBJ2. | Kokichi Futatsugi, Joseph A. Goguen, Jos Meseguer, Koji Okada |
| 1985 | POPL | Principles of OBJ2. | Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, Jos Meseguer |
| 1982 | ICSE | A Hierarchical Structuring Method for Functional Software Systems. | Kokichi Futatsugi, Koji Okada |