Kokichi Futatsugi - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

2009

Constructor-Based InstitutionsDaniel GÃ¢inÃ¢, Kokichi Futatsugi, Kazuhiro Ogata. calco 2009: 398-412 [doi]

User-Defined On-Demand MatchingMasaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi. ieicet, 92-D(7):1401-1411, 2009. [doi]

2008

Checking assignments of controls to risks for internal controlYasuhito Arimoto, Michiharu Kudo, Yuji Watanabe, Kokichi Futatsugi. icegov 2008: 98-104 [doi]

A Specification Translation from Behavioral Specifications to Rewrite SpecificationsMasaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. ieicet, 91-D(5):1492-1503, 2008. [doi]

Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and WritesKazuhiro Ogata, Kokichi Futatsugi. icfem 2008: 187-206 [doi]

Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ MethodKazuhiro Ogata, Kokichi Futatsugi. ENTCS, 201:127-154, 2008. [doi]

Proof Score Approach to Verification of Liveness PropertiesKazuhiro Ogata, Kokichi Futatsugi. ieicet, 91-D(12):2804-2817, 2008. [doi]

Formal digital license language with OTS/CafeOBJ methodJianwen Xiang, Dines Bjørner, Kokichi Futatsugi. aiccsa 2008: 652-660 [doi]

2007

Formal support for e-government system design with transparency considerationXiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi. icegov 2007: 20-29 [doi]

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse SystemWeiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. IFM 2007: 393-412 [doi]

Specification and Verification of Workflows with Rbac Mechanism and Sod ConstraintsWeiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. ijseke, 17(1):3-32, 2007. [doi]

On Equality Predicates in Algebraic Specification LanguagesMasaki Nakamura, Kokichi Futatsugi. ictac 2007: 381-395 [doi]

CrÈme: an Automatic Invariant Prover of Behavioral SpecificationsMasahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi. ijseke, 17(6):783-804, 2007. [doi]

State Machines as Inductive TypesKazuhiro Ogata, Kokichi Futatsugi. ieicet, 90-A(12):2985-2988, 2007. [doi]

Modeling and verification of real-time systems based on equationsKazuhiro Ogata, Kokichi Futatsugi. SCP, 66(2):162-180, 2007. [doi]

Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed AlgorithmKazuhiro Ogata, Kokichi Futatsugi. ieicet, 90-A(8):1690-1703, 2007. [doi]

2006

Verifying Specifications with Proof Scores in CafeOBJKokichi Futatsugi. ASE 2006: 3-10 [doi]

Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th BirthdayKokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, editors, Volume 4060 of Lecture Notes in Computer Science, Springer, 2006.

To use or not to use the goto statement: Programming styles viewed from Hoare LogicHidetaka Kondoh, Kokichi Futatsugi. SCP, 60(1):82-116, 2006. [doi]

A Behavioral Specification of Imperative Programming LanguagesMasaki Nakamura, Masahiro Watanabe, Kokichi Futatsugi. ieicet, 89-A(6):1558-1565, 2006. [doi]

Automating Invariant Verification of Behavioral SpecificationsMasahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi. qsic 2006: 49-56 [doi]

Some Tips on Writing Proof Scores in the OTS/CafeOBJ MethodKazuhiro Ogata, Kokichi Futatsugi. BIRTHDAY 2006: 596-615 [doi]

Induction-Guided FalsificationKazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi. icfem 2006: 114-131 [doi]

Falsification of OTSs by Searches of Bounded Reachable State SpacesKazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi. seke 2006: 440-445

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ MethodTakahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi. ENTCS, 147(1):57-72, 2006. [doi]

Analysis of Positive Incentives for Protecting Secrets in Digital Rights ManagementJianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata. webist 2006: 5-12

2005

Verifying Design with Proof ScoresKokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata. vstte 2008: 277-290 [doi]

Formal Analysis of Workflow Systems with Security ConsiderationsWeiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. seke 2005: 531-536

A Lightweight Integration of Theorem Proving and Model Checking for System VerificationWeiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata. apsec 2005: 59-66 [doi]

Chocolat/SMV: A Translator from CafeOBJ into SMVKazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi. pdcat 2005: 416-420 [doi]

Analysis of the Suzuki-Kasami Algorithm with SAL Model CheckersKazuhiro Ogata, Kokichi Futatsugi. IEEEcit 2005: 937-943 [doi]

Analysis of the Suzuki-Kasami Algorithm with the Maude Model CheckerKazuhiro Ogata, Kokichi Futatsugi. apsec 2005: 159-166 [doi]

Proof Score Approach to Verification of Liveness PropertiesKazuhiro Ogata, Kokichi Futatsugi. seke 2005: 608-613

Equational Approach to Formal Analysis of TLSKazuhiro Ogata, Kokichi Futatsugi. icdcs 2005: 795-804 [doi]

Mechanically supporting case analysis for verification of distributed systemsTakahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi. ijpcc, 1(2):135-146, 2005. [doi]

Provably Correct Translation from CafeOBJ into JavaJittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi. seke 2005: 614-619

2004

Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised PapersKokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki, editors, Volume 3233 of Lecture Notes in Computer Science, Springer, 2004.

Formal Analysis of an Anonymous Fair Exchange E-Commerce ProtocolWeiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi. IEEEcit 2004: 1100-1107 [doi]

We Present a Complete Study Involving in the One HandKazuhiro Ogata, Kokichi Futatsugi. qsic 2004: 50-59 [doi]

Modeling and Verification of Hybrid Systems Based on EquationsKazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi. ifip10-3 2004: 43-52

Supporting Case Analysis with Algebraic Specification LanguagesTakahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi. IEEEcit 2004: 1073-1080 [doi]

Adding Semantics to Attribute-Based Discovery of Web ServicesNatenapa Sriharee, Twittie Senivongse, Chayan Teppaboot, Kokichi Futatsugi. ic 2004: 790-794

Formal construction model and specification of fault treeJianwen Xiang, Kokichi Futatsugi, Yanxiang He. iastedSEA 2004: 374-381

Fault Tree and Formal Methods in System Safety AnalysisJianwen Xiang, Kokichi Futatsugi, Yanxiang He. IEEEcit 2004: 1108-1115 [doi]

Formal fault tree construction and system safety analysisJianwen Xiang, Kokichi Futatsugi, Yanxiang He. iastedSE 2004: 378-384

2003

2002

2001

Specifying and verifying a railroad crossing with CafeOBJKazuhiro Ogata, Kokichi Futatsugi. ipps 2001: 150

Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion AlgorithmKazuhiro Ogata, Kokichi Futatsugi. apaqs 2001: 357-366 [doi]

Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJKazuhiro Ogata, Kokichi Futatsugi. ASE 2001: 185-192 [doi]

2000

1999

1998

1997

1996

Object Technologies for Advanced Software, Second JSSST International Symposium, ISOTAS 96, Kanazawa, Japan, March 11-15, 1996, ProceedingsKokichi Futatsugi, Satoshi Matsuoka, editors, Volume 1049 of Lecture Notes in Computer Science, Springer, 1996.

1994

Formalizing humans in software processesAtaru T. Nakagawa, Kokichi Futatsugi. ispw 1994: 60-61

1990

Product-centered process description = algebraic specification of environment + SCRIPTKokichi Futatsugi. ispw 1990: 95-98

Software Process à la Algebra: OBJ for OBJAtaru T. Nakagawa, Kokichi Futatsugi. ICSE 1990: 12-23

A LOTOS Simulator in OBJKazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi. forte 1991: 535-538

1989

Stepwise Refinement Process with Modularity: An Algebraic ApproachAtaru T. Nakagawa, Kokichi Futatsugi. ICSE 1989: 166-177

Product-based process modelsAtaru T. Nakagawa, Kokichi Futatsugi. ispw 1989: 101-105

1988

Algebraic Specification of Macintosh s Quickdraw Using OBJ2Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu. ICSE 1988: 334-343

1987

Parameterized Programming in OBJ2Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada. ICSE 1987: 51-60

1985

Principles of OBJ2Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer. POPL 1985: 52-66

1982

A Hierarchical Structuring Method for Functional Software SystemsKokichi Futatsugi, Koji Okada. ICSE 1982: 393-402

1980

Specification Writing as Construction of Hierarchically Structured Clusters of OperatorsKokichi Futatsugi, Koji Okada. ifip 1980: 287-292