Kazuhiro Ogata 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Weiqiang Kong

> Home > Persons > Kazuhiro Ogata 0001

Publications

2010
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/KongOF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/KongOF10
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
Towards Reliable E-Government Systems with the OTS/CafeOBJ Method. IEICE Trans. Inf. Syst. 93-D(5): 974-984 (2010)
2008
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/NakamuraKOF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/NakamuraKOF08
Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
A Specification Translation from Behavioral Specifications to Rewrite Specifications. IEICE Trans. Inf. Syst. 91-D(5): 1492-1503 (2008)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcit/KongOCF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcit/KongOCF08
Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi:
Trace anonymity in the OTS/CafeOBJ method. CIT 2008: 754-759
2007
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/KongOF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/KongOF07
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints. Int. J. Softw. Eng. Knowl. Eng. 17(1): 3-32 (2007)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/imt/Xiang0KF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/imt/Xiang0KF07
Jianwen Xiang, Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi:
From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ. Inf. Media Technol. 2(2): 448-460 (2007)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KongOF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KongOF07
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. IFM 2007: 393-412
2006
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/OgataNKF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/OgataNKF06
Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi:
Induction-Guided Falsification. ICFEM 2006: 114-131
[c37]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/OgataKF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/OgataKF06
Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi:
Falsification of OTSs by Searches of Bounded Reachable State Spaces. SEKE 2006: 440-445
[c36]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/webist/XiangKFO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/XiangKFO06
Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata:
Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. WEBIST (2) 2006: 5-12
2005
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/KongSFO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/KongSFO05
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata:
A Lightweight Integration of Theorem Proving and Model Checking for System Verification. APSEC 2005: 59-66
[c29]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/KongOF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/KongOF05
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of Workflow Systems with Security Considerations. SEKE 2005: 531-536
2004
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcit/KongOXF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcit/KongOXF04
Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi:
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. CIT 2004: 1100-1107

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.