The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kokichi Futatsugi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
    Principles of OBJ2. [Citation Graph (2, 0)][DBLP]
    POPL, 1985, pp:52-66 [Conf]
  2. Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada
    Parameterized Programming in OBJ2. [Citation Graph (1, 0)][DBLP]
    ICSE, 1987, pp:51-60 [Conf]
  3. Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi
    Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. [Citation Graph (0, 0)][DBLP]
    CIT, 2004, pp:1100-1107 [Conf]
  4. Kazuhiro Ogata, Kokichi Futatsugi
    Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. [Citation Graph (0, 0)][DBLP]
    CIT, 2005, pp:937-943 [Conf]
  5. Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
    Supporting Case Analysis with Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
    CIT, 2004, pp:1073-1080 [Conf]
  6. Jianwen Xiang, Kokichi Futatsugi, Yanxiang He
    Fault Tree and Formal Methods in System Safety Analysis. [Citation Graph (0, 0)][DBLP]
    CIT, 2004, pp:1108-1115 [Conf]
  7. Kazuhiro Ogata, Kokichi Futatsugi
    Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:357-366 [Conf]
  8. Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata
    A Lightweight Integration of Theorem Proving and Model Checking for System Verification. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:59-66 [Conf]
  9. Michihiro Matsumoto, Kokichi Futatsugi
    The support tool for highly reliable component-based software development. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:172-179 [Conf]
  10. Michihiro Matsumoto, Kokichi Futatsugi
    Simply Observable Behavioral Specification. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:460-467 [Conf]
  11. Kazuhiro Ogata, Kokichi Futatsugi
    Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:159-166 [Conf]
  12. Chayan Tapabut, Twittie Senivongse, Kokichi Futatsugi
    Defining Attribute Templates for Descriptions of Distributed Services. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:425-434 [Conf]
  13. Kazuhiro Ogata, Kokichi Futatsugi
    Formal Verification of the MCS List-Based Queuing Lock. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:281-293 [Conf]
  14. Kazuhiro Ogata, Kokichi Futatsugi
    Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:596-615 [Conf]
  15. Kazuhiro Ogata, Hiromichi Hirata, Shigenori Ioroi, Kokichi Futatsugi
    Experimental Implementation of Parallel TRAM on Massively Parallel Computer. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1998, pp:846-851 [Conf]
  16. Kazuhiro Ogata, Masaru Kondo, Shigenori Ioroi, Kokichi Futatsugi
    Design and Implementation of Parallel TRAM. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1209-1216 [Conf]
  17. Kokichi Futatsugi
    Formal Methods in CafeOBJ. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:1-20 [Conf]
  18. Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima
    On the Semantics of GAEA. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:123-142 [Conf]
  19. Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
    Component-Based Algebraic Specification and Verification in CafeOBJ. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1644-1663 [Conf]
  20. Akira Mori, Kokichi Futatsugi
    Verifying Behavioural Specifications in CafeOBJ Environment. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1625-1643 [Conf]
  21. Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi
    Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:7-17 [Conf]
  22. Kazuhiro Ogata, Kokichi Futatsugi
    Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:181-195 [Conf]
  23. Kazuhiro Ogata, Kokichi Futatsugi
    Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:170-184 [Conf]
  24. Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi
    A LOTOS Simulator in OBJ. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:535-538 [Conf]
  25. Jianwen Xiang, Kokichi Futatsugi, Yanxiang He
    Formal fault tree construction and system safety analysis. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2004, pp:378-384 [Conf]
  26. Natenapa Sriharee, Twittie Senivongse, Chayan Teppaboot, Kokichi Futatsugi
    Adding Semantics to Attribute-Based Discovery of Web Services. [Citation Graph (0, 0)][DBLP]
    International Conference on Internet Computing, 2004, pp:790-794 [Conf]
  27. Kazuhiro Ogata, Kokichi Futatsugi
    Equational Approach to Formal Analysis of TLS. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2005, pp:795-804 [Conf]
  28. Kokichi Futatsugi, Ataru T. Nakagawa
    An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:170-0 [Conf]
  29. Michihiro Matsumoto, Kokichi Futatsugi
    Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:35-44 [Conf]
  30. Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
    Induction-Guided Falsification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:114-131 [Conf]
  31. Kokichi Futatsugi, Koji Okada
    A Hierarchical Structuring Method for Functional Software Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1982, pp:393-402 [Conf]
  32. Ataru T. Nakagawa, Kokichi Futatsugi
    Stepwise Refinement Process with Modularity: An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    ICSE, 1989, pp:166-177 [Conf]
  33. Ataru T. Nakagawa, Kokichi Futatsugi
    Software Process à la Algebra: OBJ for OBJ. [Citation Graph (0, 0)][DBLP]
    ICSE, 1990, pp:12-23 [Conf]
  34. Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu
    Algebraic Specification of Macintosh's Quickdraw Using OBJ2. [Citation Graph (0, 0)][DBLP]
    ICSE, 1988, pp:334-343 [Conf]
  35. Shin Nakajima, Kokichi Futatsugi
    An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:34-44 [Conf]
  36. Kokichi Futatsugi, Koji Okada
    Specification Writing as Construction of Hierarchically Structured Clusters of Operators. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:287-292 [Conf]
  37. Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi
    Modeling and Verification of Hybrid Systems Based on Equations. [Citation Graph (0, 0)][DBLP]
    DIPES, 2004, pp:43-52 [Conf]
  38. Kazuhiro Ogata, Kokichi Futatsugi
    Specifying and verifying a railroad crossing with CafeOBJ. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2001, pp:150- [Conf]
  39. Kokichi Futatsugi
    Product-centered process description = algebraic specification of environment + SCRIPT. [Citation Graph (0, 0)][DBLP]
    ISPW, 1990, pp:95-98 [Conf]
  40. Ataru T. Nakagawa, Kokichi Futatsugi
    Product-based process models. [Citation Graph (0, 0)][DBLP]
    ISPW, 1989, pp:101-105 [Conf]
  41. Ataru T. Nakagawa, Kokichi Futatsugi
    Formalizing humans in software processes. [Citation Graph (0, 0)][DBLP]
    ISPW, 1994, pp:60-61 [Conf]
  42. Koji Hasebe, Mitsuhiro Okada
    Formal Analysis of the iKP Electronic Payment Protocols. [Citation Graph (0, 0)][DBLP]
    ISSS, 2002, pp:441-460 [Conf]
  43. Akira Mori, Kokichi Futatsugi
    CafeOBJ as a Tool for Behavioral System Verification. [Citation Graph (0, 0)][DBLP]
    ISSS, 2002, pp:461-470 [Conf]
  44. Kazuhiro Ogata, Kokichi Futatsugi
    Formal Analysis of the NetBill Electronic Commerce Protocol. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:45-64 [Conf]
  45. Kokichi Futatsugi
    Verifying Specifications with Proof Scores in CafeOBJ. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:3-10 [Conf]
  46. Kazuhiro Ogata, Kokichi Futatsugi
    Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:185-192 [Conf]
  47. Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
    Chocolat/SMV: A Translator from CafeOBJ into SMV. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2005, pp:416-420 [Conf]
  48. Kazuhiro Ogata, Kokichi Futatsugi
    Implementation of Term Rewritings with the Evaluation Strategy. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:225-239 [Conf]
  49. Kazuhiro Ogata, Kokichi Futatsugi
    Equational Approach to Formal Verification of SET. [Citation Graph (0, 0)][DBLP]
    QSIC, 2004, pp:50-59 [Conf]
  50. Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi
    Automating Invariant Verification of Behavioral Specifications. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:49-56 [Conf]
  51. Kazuhiro Ogata, Koichi Ohhara, Kokichi Futatsugi
    TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 1997, pp:335-338 [Conf]
  52. Kazuhiro Ogata, Kokichi Futatsugi
    Operational Semantics of Rewriting with the On-demand Evaluation Strategy. [Citation Graph (0, 0)][DBLP]
    SAC (2), 2000, pp:756-764 [Conf]
  53. Kazuhiro Ogata, Shigenori Ioroi, Kokichi Futatsugi
    Optimizing Term Rewriting Using Discrimination Nets With Specialization. [Citation Graph (0, 0)][DBLP]
    SAC, 1999, pp:511-518 [Conf]
  54. Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
    Falsification of OTSs by Searches of Bounded Reachable State Spaces. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:440-445 [Conf]
  55. Kazuhiro Ogata, Kokichi Futatsugi
    Proof Score Approach to Verification of Liveness Properties. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:608-613 [Conf]
  56. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
    Formal Analysis of Workflow Systems with Security Considerations. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:531-536 [Conf]
  57. Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
    Provably Correct Translation from CafeOBJ into Java. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:614-619 [Conf]
  58. Kazuhiro Ogata, Kokichi Futatsugi
    Formal Verification of the Horn-Preneel Micropayment Protocol. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:238-252 [Conf]
  59. Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata
    Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. [Citation Graph (0, 0)][DBLP]
    WEBIST (2), 2006, pp:5-12 [Conf]
  60. Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata
    CafeOBJ: Logical Foundations and Methodologies. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2003, v:22, n:3, pp:- [Journal]
  61. Razvan Diaconescu, Kokichi Futatsugi
    An overview of CafeOBJ. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  62. Kokichi Futatsugi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  63. Michihiro Matsumoto, Kokichi Futatsugi
    Test set coinduction - Toward automated verification of behavioural properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  64. Kazuhiro Ogata, Kokichi Futatsugi
    Rewriting-Based Verification of Authentication Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  65. Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
    A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:57-72 [Journal]
  66. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
    Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2007, v:17, n:1, pp:3-32 [Journal]
  67. Kazuhiro Ogata, Kokichi Futatsugi
    Flaw and modification of the iKP electronic payment protocols. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:86, n:2, pp:57-62 [Journal]
  68. Razvan Diaconescu, Kokichi Futatsugi
    Behavioural Coherence in Object-Oriented Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:1, pp:74-96 [Journal]
  69. Hidetaka Kondoh, Kokichi Futatsugi
    To use or not to use the goto statement: Programming styles viewed from Hoare Logic. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:60, n:1, pp:82-116 [Journal]
  70. Razvan Diaconescu, Kokichi Futatsugi
    Logical foundations of CafeOBJ. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:289-318 [Journal]
  71. Masaki Nakamura, Kokichi Futatsugi
    On Equality Predicates in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:381-395 [Conf]
  72. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
    Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:393-412 [Conf]
  73. Jianwen Xiang, Kokichi Futatsugi, Yanxiang He
    Formal construction model and specification of fault tree. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:374-381 [Conf]
  74. Kazuhiro Ogata, Kokichi Futatsugi
    Modeling and verification of real-time systems based on equations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:66, n:2, pp:162-180 [Journal]

  75. Formal digital license language with OTS/CafeOBJ method. [Citation Graph (, )][DBLP]


  76. Constructor-Based Institutions. [Citation Graph (, )][DBLP]


  77. Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. [Citation Graph (, )][DBLP]


  78. Checking assignments of controls to risks for internal control. [Citation Graph (, )][DBLP]


  79. Formal support for e-government system design with transparency consideration. [Citation Graph (, )][DBLP]


  80. Verifying Design with Proof Scores. [Citation Graph (, )][DBLP]


  81. Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. [Citation Graph (, )][DBLP]


Search in 0.307secs, Finished in 0.311secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002