| 2008 |
|---|
| 50 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.
ICFEM 2008: 187-206 |
| 49 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method.
Electr. Notes Theor. Comput. Sci. 201: 127-154 (2008) |
| 48 | EE | 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) |
| 2007 |
|---|
| 47 | EE | Weiqiang Kong,
Kazuhiro Ogata,
Kokichi Futatsugi:
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.
IFM 2007: 393-412 |
| 46 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
State Machines as Inductive Types.
IEICE Transactions 90-A(12): 2985-2988 (2007) |
| 45 | EE | 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) |
| 44 | EE | 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) |
| 43 | EE | 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) |
| 42 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Modeling and verification of real-time systems based on equations.
Sci. Comput. Program. 66(2): 162-180 (2007) |
| 2006 |
|---|
| 41 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method.
Essays Dedicated to Joseph A. Goguen 2006: 596-615 |
| 40 | EE | Kazuhiro Ogata,
Masahiro Nakano,
Weiqiang Kong,
Kokichi Futatsugi:
Induction-Guided Falsification.
ICFEM 2006: 114-131 |
| 39 | EE | Masahiro Nakano,
Kazuhiro Ogata,
Masaki Nakamura,
Kokichi Futatsugi:
Automating Invariant Verification of Behavioral Specifications.
QSIC 2006: 49-56 |
| 38 | | Kazuhiro Ogata,
Weiqiang Kong,
Kokichi Futatsugi:
Falsification of OTSs by Searches of Bounded Reachable State Spaces.
SEKE 2006: 440-445 |
| 37 | | Jianwen Xiang,
Weiqiang Kong,
Kokichi Futatsugi,
Kazuhiro Ogata:
Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management.
WEBIST (2) 2006: 5-12 |
| 36 | EE | 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) |
| 2005 |
|---|
| 35 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker.
APSEC 2005: 159-166 |
| 34 | EE | Weiqiang Kong,
Takahiro Seino,
Kokichi Futatsugi,
Kazuhiro Ogata:
A Lightweight Integration of Theorem Proving and Model Checking for System Verification.
APSEC 2005: 59-66 |
| 33 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers.
CIT 2005: 937-943 |
| 32 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Equational Approach to Formal Analysis of TLS.
ICDCS 2005: 795-804 |
| 31 | EE | Kazuhiro Ogata,
Masahiro Nakano,
Masaki Nakamura,
Kokichi Futatsugi:
Chocolat/SMV: A Translator from CafeOBJ into SMV.
PDCAT 2005: 416-420 |
| 30 | EE | Jianwen Xiang,
Kazuhiro Ogata:
Formal Fault Tree Analysis of State Transition Systems.
QSIC 2005: 124-134 |
| 29 | | Weiqiang Kong,
Kazuhiro Ogata,
Kokichi Futatsugi:
Formal Analysis of Workflow Systems with Security Considerations.
SEKE 2005: 531-536 |
| 28 | | Kazuhiro Ogata,
Kokichi Futatsugi:
Proof Score Approach to Verification of Liveness Properties.
SEKE 2005: 608-613 |
| 27 | | Jittisak Senachak,
Takahiro Seino,
Kazuhiro Ogata,
Kokichi Futatsugi:
Provably Correct Translation from CafeOBJ into Java.
SEKE 2005: 614-619 |
| 26 | EE | Kokichi Futatsugi,
Joseph A. Goguen,
Kazuhiro Ogata:
Verifying Design with Proof Scores.
VSTTE 2005: 277-290 |
| 2004 |
|---|
| 25 | EE | Takahiro Seino,
Kazuhiro Ogata,
Kokichi Futatsugi:
Supporting Case Analysis with Algebraic Specification Languages.
CIT 2004: 1073-1080 |
| 24 | EE | Weiqiang Kong,
Kazuhiro Ogata,
Jianwen Xiang,
Kokichi Futatsugi:
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol.
CIT 2004: 1100-1107 |
| 23 | | Kazuhiro Ogata,
Daigo Yamagishi,
Takahiro Seino,
Kokichi Futatsugi:
Modeling and Verification of Hybrid Systems Based on Equations.
DIPES 2004: 43-52 |
| 22 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
We Present a Complete Study Involving in the One Hand.
QSIC 2004: 50-59 |
| 2003 |
|---|
| 21 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Proof Scores in the OTS/CafeOBJ Method.
FMOODS 2003: 170-184 |
| 20 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Formal Analysis of the NetBill Electronic Commerce Protocol.
ISSS 2003: 45-64 |
| 19 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Formal Verification of the Horn-Preneel Micropayment Protocol.
VMCAI 2003: 238-252 |
| 18 | | Razvan Diaconescu,
Kokichi Futatsugi,
Kazuhiro Ogata:
CafeOBJ: Logical Foundations and Methodologies.
Computers and Artificial Intelligence 22(3): (2003) |
| 17 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Flaw and modification of the iKP electronic payment protocols.
Inf. Process. Lett. 86(2): 57-62 (2003) |
| 2002 |
|---|
| 16 | | Kazuhiro Ogata,
Kokichi Futatsugi:
Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm.
FMOODS 2002: 181-195 |
| 15 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Rewriting-Based Verification of Authentication Protocols.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 2001 |
|---|
| 14 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm.
APAQS 2001: 357-366 |
| 13 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ.
ASE 2001: 185-192 |
| 12 | | Kazuhiro Ogata,
Kokichi Futatsugi:
Specifying and verifying a railroad crossing with CafeOBJ.
IPDPS 2001: 150 |
| 2000 |
|---|
| 11 | | Kazuhiro Ogata,
Kokichi Futatsugi:
Operational Semantics of Rewriting with the On-demand Evaluation Strategy.
SAC (2) 2000: 756-764 |
| 10 | EE | Masaki Nakamura,
Kazuhiro Ogata:
The evaluation strategy for head normal form with and without on-demand flags.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 1999 |
|---|
| 9 | EE | Kazuhiro Ogata,
Kokichi Futatsugi:
Formal Verification of the MCS List-Based Queuing Lock.
ASIAN 1999: 281-293 |
| 8 | EE | Kazuhiro Ogata,
Shigenori Ioroi,
Kokichi Futatsugi:
Optimizing Term Rewriting Using Discrimination Nets With Specialization.
SAC 1999: 511-518 |
| 1998 |
|---|
| 7 | EE | Kazuhiro Ogata,
Hiromichi Hirata,
Shigenori Ioroi,
Kokichi Futatsugi:
Experimental Implementation of Parallel TRAM on Massively Parallel Computer.
Euro-Par 1998: 846-851 |
| 1997 |
|---|
| 6 | | Kazuhiro Ogata,
Masaru Kondo,
Shigenori Ioroi,
Kokichi Futatsugi:
Design and Implementation of Parallel TRAM.
Euro-Par 1997: 1209-1216 |
| 5 | | Kazuhiro Ogata,
Kokichi Futatsugi:
Implementation of Term Rewritings with the Evaluation Strategy.
PLILP 1997: 225-239 |
| 4 | | Kazuhiro Ogata,
Koichi Ohhara,
Kokichi Futatsugi:
TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems.
RTA 1997: 335-338 |
| 1994 |
|---|
| 3 | EE | Kazuhiro Ogata,
Norihisa Doi:
Object allocation and dynamic compilation in MultithreadSmalltalk.
SAC 1994: 452-456 |
| 1992 |
|---|
| 2 | | Kazuhiro Ogata,
Satoshi Kurihara,
Mikio Inari,
Norihisa Doi:
The Design and Implementation of HoME.
PLDI 1992: 44-54 |
| 1 | | Kazuhiro Ogata,
Satoshi Kurihara,
Mikio Inari,
Norihisa Doi:
HoME: Smalltalk on the Match Environment.
TOOLS (6) 1992: 153-161 |
