Hutatsugi Koukichi 二木厚吉

… Alternative Names

FUTATSUGI Kokichi 二木厚吉

Less

Researcher Number	50251971
Other IDs
External Links
Affiliation (Current)	2025: 国立情報学研究所, 大学共同利用機関等の部局等, 特任教授
Affiliation (based on the past Project Information) *help	2013 – 2015: 北陸先端科学技術大学院大学, ソフトウェア検証研究センター, 特任教授 2011 – 2012: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 1994 – 2009: 北陸先端科学技術大学院大学, 情報科学研究科, 教授
Review Section/Research Field	Principal Investigator 計算機科学 / Software / Science and Engineering Except Principal Investigator 計算機科学 / Fundamental theory of informatics
Keywords	Principal Investigator CafeOBJ / 形式手法 / 振舞仕様 / 検証 / formal methods / 形式仕様 / 代数仕様 / ソフトウェア工学 / システム検証 / 仕様記述・仕様検証 … More / 証明スコア / モジュールシステム / 詳細化検証 / 高信頼 / コンポーネント / 抽象機械 / behavioral specification / system verification / システム安全性 / PigNose / verification / components / 仕様 / 支援ツール / MPI / 安全性 / 問題モデル / 仕様記述 / 木アーキテクチャ / 射影型振舞仕様 / 分散(実時間)システム / UML / 書き換えモデル / 並列処理 / 計算モデル / requirement specification / system safety / problem model / 要求仕様 / フォーマルメソッド / e-commerce protocol / authentication protocol / unknown virus detection / system security / 移動コード / 実時間システム / セキュアプロトコル / 安全性検証 / Java仮想機械 / CadeOBJ / UNITY / 自動証明器PigNose / 振舞モデル検査 / ウィルス検査 / cafeOBJ / 電子商取引プロトコル / 認証プロトコル / 未知ウイルス検知 / high-assurance software / resolution / algebraic specification / モデル検査 / 振舞詳細化 / シグネチャ・マッチング / 仕様リポジトリ / 安全性検査 / ソフトウェア・コンポネント / 分散オブジェクト / 分散システム / 高品位ソフトウェア / 導出 / コンポネント / distributed (real-time) systems / specifications / module system / support tool / reliable / 代数モデル / 形式仕様言語 / 閲覧システム / 方法論 / 振舞い仕様 / オブジェクト指向 / ソフトウェア発展 / 非機能的性質 / 機能的性質 / massively parallel computers / the (parallel) evaluation strategy / abstract machines / concurrent (parallel) rewriting / 超並列計算機 / (並列)E戦略 / 並行(並列)書換え / 観測遷移システム / 問題仕様 / 定理証明 / 信頼性 / 安全性・信頼性 / 場合分け / 帰納法 / 仕様検証 / Linda / 言語 / モデル / 開発支援ツール / コーディネーション / Java / OCL … More Except Principal Investigator 証明論 / 実時間システム / 形式検証 / 形式仕様 / 線形論理 / 論理的手法 / Proof Search / Linear Logic / Formal Verification / Formal Specification / Real Time Systems / distributed data structure / active programming / multi-agent system / strong mode system / algebraic specification language / evolutional pattern / open and distributed systems / 発展可能仕様記述 / 漸増的プログラム解析 / 構造的振る舞い記述モデル / プログラム自動修正 / モジュール合成法 / オブジェクト進化プロセス / CafeOBT / 形式的仕様記述 / 並行論理プログラムのモード解析 / 並行オブジェクトの振舞い / 環境適応 / 振舞い仕様 / システムの多面的記述 / 発展可能ソフトウェア / 分散データ構造 / 能動形プログラミング / マルチエージェントシステム / 強モード体系 / 形式仕様記述 / 代数仕様言語 / 進化パターン / 開放分散系 Less

Development of the Innovative Specification Verification System based on Proof ScoresPrincipal Investigator
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
証明スコア法に基づく革新的仕様検証技術の研究Principal Investigator
- Principal Investigator
  
  二木厚吉
- Project Period (FY)
  2011
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Verification of Problem Models with Proof ScoresPrincipal Investigator
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Keio University
Construction and verification of problem models in behavioral specificationsPrincipal Investigator
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute Science and Technology
International collaborative studies on a logical specification and verification language.
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Keio University
Safety Verification Technologies based on Behavioral SpecificationsPrincipal Investigator
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Japan Advanced Institute of Science and Technology (JAIST)
モジュールシステムを基礎におくコーディネーションモデルの研究Principal Investigator
- Principal Investigator
  
  二木厚吉
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
A Study on Verification of Software Components in Object-Based Distributed EnvironmentsPrincipal Investigator
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  1999 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
Development of Formal Specification Language for Writing Specifications as Components Based on FunctionsPrincipal Investigator
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  1998 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
Research on Methodologies for Constructing Evolutionary Software
- Principal Investigator
  
  MIYAMOTO Eiichi
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Future University-Hakodate
  Hokkaido University
A Study on Abstract Machines for Concurrent RewritingPrincipal Investigator
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
並行書き換えモデルの超並行実行方式の研究Principal Investigator
- Principal Investigator
  
  二木厚吉
- Project Period (FY)
  1994 – 1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology

[Book] 法令工学の提案(片山卓也)2007
- Author(s)
  二木厚吉,緒方和博,有本泰仁
- Publisher
  JAIST
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] CafeInMaude: A CafeOBJ Interpreter in Maude2016
- Author(s)
  Adrian Riesco, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Springer Lecture Notes in Computer Science (Fundamental Approaches to Software Engineering, 19th FASE)
  
  Volume: 9633 Pages: 377-380
- DOI
  10.1007/978-3-662-49665-7_22
- ISBN
  9783662496640, 9783662496657
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] 構成子に基づく順序ソートパラメータ化仕様の十分完全性について2015
- Author(s)
  中村正樹，ガイナダニエルミルチェア，緒方和博，二木厚吉
- Journal Title
  
  電子情報通信学会，信学技報
  
  Volume: vol.114, no.510, SS2014-55 Pages: 1-6
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates2015
- Author(s)
  Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proc. of 22nd Asia-Pacific Software Engineering Conference
  
  Volume: -
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Formalization and Verification of Declarative Cloud Orchestration2015
- Author(s)
  Hiroyuki Yoshida, Kokichi Futatsugi, Kazuhiro Ogata
- Journal Title
  
  Springer Lecture Note in Computer Science (Formal Methods and Software Engineering, 17th ICFEM)
  
  Volume: 9407 Pages: 33-49
- DOI
  10.1007/978-3-319-25423-4_3
- ISBN
  9783319254227, 9783319254234
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Proving Sufficient Completeness of Constructor-based Algebraic Specifications2015
- Author(s)
  Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  Springer Lecture Notes in Electrical Engineering (Advances in Computer Science and Ubiquitous Computing)
  
  Volume: 373 Pages: 15-21
- DOI
  10.1007/978-981-10-0281-6_3
- ISBN
  9789811002809, 9789811002816
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Generate & Check Method for Verifying Transition Systems in CafeOBJ2015
- Author(s)
  Kokichi Futatsugi
- Journal Title
  
  Software, Services, and Systems, LNCS, Springer
  
  Volume: 8950 Pages: 171-192
- DOI
  10.1007/978-3-319-15545-6_13
- ISBN
  9783319155449, 9783319155456
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Generic Proof Scores for Generate & Check Method in CafeOBJ2015
- Author(s)
  Kokichi Futatsugi
- Journal Title
  
  Springer LNCS (Logic, Rewriting, and Concurrency)
  
  Volume: 9200 Pages: 287-310
- DOI
  10.1007/978-3-319-23165-5_14
- ISBN
  9783319231648, 9783319231655
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Initial semantics in logics with constructors2015
- Author(s)
  Daniel Gaina, Kokichi Futatsugi
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 25 (1) Issue: 1 Pages: 95-116
- DOI
  10.1093/logcom/exs044
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Liveness properties in CafeOBJ - a case study for meta-level specifications2014
- Author(s)
  Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Technical Report IASI-CNR R. 3, 2014, ISSN: 1128-3378
  
  Volume: -
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs2014
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Specification, Algebra, and Software, LNCS, Springer
  
  Volume: 8373 Pages: 630-656
- DOI
  10.1007/978-3-642-54624-2_31
- ISBN
  9783642546235, 9783642546242
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] An incremental approach to local equality predicates in OBJ specification languages2014
- Author(s)
  Masaki Nakamura, Kokichi Futatsugi
- Journal Title
  
  Proc. of Intl. Joint Conference on Computer Science and Software Engineering (11th JCSSE), IEEE
  
  Volume: - Pages: 337-342
- DOI
  10.1109/jcsse.2014.6841891
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications2014
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Specification, Algebra, and Software, LNCS, Springer
  
  Volume: 8373 Pages: 92-109
- DOI
  10.1007/978-3-642-54624-2_5
- ISBN
  9783642546235, 9783642546242
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] On Automation of OTS/CafeOBJ Method2014
- Author(s)
  Daniel Gaina, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Specification, Algebra, and Software, LNCS, Springer
  
  Volume: 8373 Pages: 578-602
- DOI
  10.1007/978-3-642-54624-2_29
- ISBN
  9783642546235, 9783642546242
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] A Hierarchical Approach to Operational Termination of　Algebraic Specifications2013
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the International Conference on Electronics, Information and Communication (ICEIC 2013)
  
  Volume: - Pages: 144-145
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Formalization and Verification of Behavioral Correctness of Dynamic Software Updates2013
- Author(s)
  Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proc. of the 2nd Workshop on Validation Strategies for Software Evolution (2nd VSSE), ENTCS 294, Elsevier
  
  Volume: - Pages: 12-23
- DOI
  10.1016/j.entcs.2013.02.013
- NAID
  120005469624
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Incremental Proofs of Operational Termination with Modular Conditional Dependency Pairs2013
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the International MultiConference of Engineers and Computer Scientists 2013
  
  Volume: I, IMECS Pages: 516-521
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Towards Formal Description of Standards for Automotive Operating Systems2013
- Author(s)
  Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
- Journal Title
  
  ICST Workshops
  
  Volume: - Pages: 13-14
- DOI
  10.1109/icstw.2013.8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method2013
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  The Journal of Universal Computer Science (J. UCS)
  
  Volume: 19(6) Pages: 771-804
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] On Proving Operational Termination Incrementally with Modular Conditional Dependency Pairs2013
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  IAENG International Journal of Computer Science
  
  Volume: 40-2 Pages: 117-123
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] On Describing Terminating Algebraic Specifications Based on Their Models2012
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proc.of the International MultiConference of Engineers and Computer Scientists 2012
  
  Pages: 269-274
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Formalization of Risks and Control Activities in Business Process2012
- Author(s)
  Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi
- Journal Title
  
  Springer Lecture Notes in Electrical Engineering
  
  Pages: 565-575
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Principles of proof scores in CafeOBJ2012
- Author(s)
  Kokichi Futatsugi, Daniel Gaina, Kazuhiro Ogata
- Journal Title
  
  Theoretical Computer Science (TCS)
  
  Volume: 464 Pages: 90-112
- DOI
  10.1016/j.tcs.2012.07.041
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Constructor-based Logics2012
- Author(s)
  Daniel Gaina, Kokichi Futatsugi, Kazuhiro Ogata
- Journal Title
  
  The Journal of Universal Computer Science (J.UCS)
  
  Volume: 18(16) Pages: 2204-2233
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms2012
- Author(s)
  Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 19th Asia-Pacific Software Engineering Conference　(19th APSEC), IEEE
  
  Volume: - Pages: 664-673
- DOI
  10.1109/apsec.2012.100
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"2011
- Author(s)
  Yuan Li, Haibin Kan, Kokichi Futatsugi
- Journal Title
  
  IEICE Transactions
  
  Volume: 94-A(9) Pages: 1877-1880
- NAID
  10030190955
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Formalization of Risks and Control Activities in Business Process2011
- Author(s)
  Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi
- Journal Title
  
  Proc.of 2011 World Congress on Computer Science and Information Engineering (CSIE 2011), Lecture Notes in Electrical Engineering, Springer
  
  Volume: (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240004
[Journal Article] A Modeling Framework to Support Internal Control2011
- Author(s)
  Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis, Nobukazu Yoshioka, Kokichi Futatsugi
- Journal Title
  
  Proc.of The Fifth International Conference on Secure Software Integration and Reliability Improvement (IEEE SSIRI 2011)
  
  Pages: 187-193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] A Modeling Framework to Support Internal Control2011
- Author(s)
  Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis, Nobukazu Yoshioka, Kokichi Futatsugi
- Journal Title
  
  Proc.of The Fifth International Conference on Secure Software Integration and Reliability Improvement Companion (IEEE SSIRI-C 2011)
  
  Pages: 187-193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240004
[Journal Article] A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"2011
- Author(s)
  Yuan Ii, Haibin Kan, Kokichi Futatsugi
- Journal Title
  
  IEICE Transactions
  
  Volume: 94-A(9) Pages: 1877-1880
- NAID
  10030190955
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240004
[Journal Article] Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications2010
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  J. Symb. Comput 45(5)
  
  Pages: 551-573
- NAID
  120003338960
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications2010
- Author(s)
  中村正樹, 緒方和博, Kokichi Futatsugi
- Journal Title
  
  J.Symb.Comput. 45(5)
  
  Pages: 551-573
- NAID
  120003338960
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Constructor-based institutions2009
- Author(s)
  Daniel Gaina, Kokichi Futatsugi, 緒方和博
- Journal Title
  
  Proc.of CALCO 2009, LNCS 5728, Springer
  
  Pages: 398-412
- NAID
  110007110878
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] User-Defined On-Demand Matching2009
- Author(s)
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  IEICE Transactions 92-D(7)
  
  Pages: 1401-1411
- NAID
  10026810203
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] CafeOBJ入門(1)-(6)、コンピュタソフトウェア2009
- Author(s)
  二木厚吉, 緒方和博, 中村正樹
- Journal Title
  
  日本ソフトウェア科学会論文誌 25(2),25(2),25(3),25(4),26(1),26(2)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Analysis of membership sharing problem in digital subscription services2009
- Author(s)
  Jianwen Xiang, Jing Tian, 緒方和博, Kokichi Futatsugi, Akira Mori
- Journal Title
  
  International Journal of Revenue Management, Inderscience Enterprises Ltd. 13(3)
  
  Pages: 284-306
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] CafeOBJ入門 (6)-通信プロトコルの検証2009
- Author(s)
  緒方和博, 二木厚吉, 中村正樹
- Journal Title
  
  Iコンピュータソフトウェア (日本ソフトウェア科学会論文誌) 26(2)
  
  Pages: 284-306
- NAID
  10025982447
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Constructor-based institutions2009
- Author(s)
  D. Gaina, K. Futatsugi, K. Ogata
- Journal Title
  
  Proc. of CALCO 2009 5728
  
  Pages: 398-412
- NAID
  110007110878
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] User-Defined On-Demand Matching2009
- Author(s)
  中村正樹, 緒方和博, Kokichi Futatsugi
- Journal Title
  
  IEICE Transactions 92-D(7)
  
  Pages: 1401-1411
- NAID
  10026810203
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Verifying Design with Proof Scores2008
- Author(s)
  Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata
- Journal Title
  
  Proc. of 1st VSTTE, Springer LNCS 4171
  
  Pages: 277-290
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] CafeOBJ入門(5)-認証プロトコルの検証2008
- Author(s)
  緒方和博, 二木厚吉, 中村正樹
- Journal Title
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 26-1
  
  Pages: 71-83
- NAID
  130004549136
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Simulation-based verification for invariant properties in the OTS/CafeOBJ method2008
- Author(s)
  Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 4th International Refinement Workshop(R, efine 2007), ENTCS201, Elsevier
  
  Pages: 127-154
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] CafeOBJ入門(2)-構文と意味2008
- Author(s)
  中村正樹, 二木厚吉, 緒方和博
- Journal Title
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2
  
  Pages: 14-27
- NAID
  110006664763
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] 電子社会と法令工学2008
- Author(s)
  片山卓也, 島津明, 東条敏, 二木厚吉, 落水浩一郎
- Journal Title
  
  人工知能学会誌 23-4
  
  Pages: 529-536
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Checking Assignments of Controls to Risks for Internal Control2008
- Author(s)
  Yasuhito Arimoto, Yuji Watanabe, Michiharu Kudoh, Kokichi Futatsugi
- Journal Title
  
  Proc. of 2nd International Conference on Theory and Practice of Electronic Governance 2008, ACM
  
  Pages: 98-104
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Verifying Design with Proof Scores2008
- Author(s)
  Kokichi Futatsugi, Joseph A. Goguen and Kazuhiro Ogata
- Journal Title
  
  1st VSTTE, LNCS 4171, Springer
  
  Pages: 277-290
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] CafeOBJ 入門(1)-形式手法とCafeOBJ, コンピュータソフトウェア2008
- Author(s)
  二木厚吉, 緒方和博, 中村正樹
- Journal Title
  
  日本ソフトウェア科学会論文誌 25(2)
  
  Pages: 1-13
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes2008
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proc. of the 10th Intl. Conference on Formal Engineering Methods (10th ICFEM) 5256
  
  Pages: 187-206
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Checking Assignments of Controls to Risks for Internal Control2008
- Author(s)
  Yasuhito Arimoto, Yuji Watanabe, Michi haru Kudoh, Kokichi Futatsugi
- Journal Title
  
  Proc. of 2nd International Conference on Theory and Practice of Electronic Governance (2008), ACM Press
  
  Pages: 98-104
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes2008
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 10th International Conference on Formal Engineering Methods (10th ICFEM), Springer LNCS 5256
  
  Pages: 187-206
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] フォーマルメソッドの新展開-検証進化可能電子社会の中核技術-2008
- Author(s)
  二木厚吉
- Journal Title
  
  情報処理 Vol.49,No.5
  
  Pages: 521-529
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] CafeOBJ入門(1)-形式手法とCafeOBJ2008
- Author(s)
  二木厚吉, 緒方和博, 中村正樹
- Journal Title
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2
  
  Pages: 1-13
- NAID
  130004549105
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Formal digital licence language with OTS/CafeOBJ method2008
- Author(s)
  Jianwen Xiang, Dines Bjorner, Kokichi Futatsugi
- Journal Title
  
  Proc. of IEEE/ACS Intl. Conference on Computer Systems and Applications
  
  Pages: 652-660
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] A Specification Translation from Behavioral Specifications to Rewrite Specifications2008
- Author(s)
  Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  IEICE Transactions 91-D(5)
  
  Pages: 1492-1503
- NAID
  10026803820
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Formal digital license language with OTS/CafeOBJ method2008
- Author(s)
  Jianwen Xiang, Dines Bjorner, Kokichi Futatsugi
- Journal Title
  
  Proc. of IEEE/ACS Intl. Conference on Computer Systems and Applications
  
  Pages: 652-660
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] CafeOBJ入門(3)-等式推論と項書換システム2008
- Author(s)
  中村正樹, 二木厚吉, 緒方和博
- Journal Title
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-3
  
  Pages: 69-80
- NAID
  110006840405
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Maude : 書換え論理に基づく計算機言語および処理系2008
- Author(s)
  緒方和博, 中村正樹, 二木厚吉
- Journal Title
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2
  
  Pages: 78-84
- NAID
  130004549110
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Trace Anonymity in the OTS/CafeOBJ Method2008
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata, Jian Chen, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 8^<th>, International Conference on Computer and Information Technology (8^<th> CIT), IEEE Computer Society Press
  
  Pages: 754-759
- NAID
  120006674345
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] CafeOBJ入門(4)-証明譜による検証法2008
- Author(s)
  二木厚吉, 緒方和博, 中村正樹
- Journal Title
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-4
  
  Pages: 68-84
- NAID
  130004549122
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Verifying Design with Proof Scores2008
- Author(s)
  K. Futatsugi, J.A. Goguen, K. Ogata
- Journal Title
  
  Proc. of 1st VSTTE, LNCS 4171, Springer
  
  Pages: 277-290
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Simulation-based verification for invariant properties in the OTS/CafeOBJ method2008
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Refine 2007, ENTCS 201, Elsevier
  
  Pages: 127-154
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] フォーマルメソッドの新展開--検証進化可能電子社会の中核技術--2008
- Author(s)
  二木厚吉
- Journal Title
  
  情報処理(情報処理学会学会誌) 49-5
  
  Pages: 521-529
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] On equahty predicates in algebraic specification languages2007
- Author(s)
  Masaki Nakamura and Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC2007), LNCS4711, Springer
  
  Pages: 381-395
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm2007
- Author(s)
  Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science E90-A(8)
  
  Pages: 1690-1703
- NAID
  110007540867
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Modeling and verification of real-time systems based on equations2007
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Sci. of Comp. Prog 66(2)
  
  Pages: 162-180
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints2007
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  International Journal of Software Engineering and Knowledge Engineering 17(1)
  
  Pages: 3-32
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints2007
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  International Journal of Software Engineering and Knowledge Engineering 17・1
  
  Pages: 1-30
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method2007
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Springer LNCS 4060
  
  Pages: 596-615
- NAID
  120000861107
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Creme : An Automatic Invariant Prover of Behavioral Specifications, International Journal of Software Engineering and Knowledge Engineering2007
- Author(s)
  Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi
- Journal Title
  
  World Scientific Vol.17, No.6
  
  Pages: 783-804
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Modehng and verification of real-time systems based on equations2007
- Author(s)
  Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  Science of Computer Programming 66(2)
  
  Pages: 162-180
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] On equality predicates in algebraic specification languages2007
- Author(s)
  Masaki Nakamura, Kokichi Futatsugi
- Journal Title
  
  Proc. of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007) 4711
  
  Pages: 381-395
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] State Machines as Inductive Types2007
- Author(s)
  Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science E90-A(12)
  
  Pages: 2985-2988
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Algebraic Approaches to Formal Analysis of the Mondex Electronic Puxse System2007
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 6th International Conference on Integrated Formal Methods(6th IFM), LNCS4591, Speringer
  
  Pages: 393-412
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Modeling and verification of real-time systems based on equations, Science of Computer Programming2007
- Author(s)
  Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  Elsevier 66(2)
  
  Pages: 162-180
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Formal support for e-government system design with transparency consideration2007
- Author(s)
  Xiaoyi Chen, Weiqiang Kong and Kokichi Futatsugi
- Journal Title
  
  Proceedimgs of the lstInternational Conference on Theory and Practice of Electronic Governance (ICEGOV 2007), ACM
  
  Pages: 20-29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Creme: An Automatic Invariant Prover of Behavioral Specifications2007
- Author(s)
  Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi
- Journal Title
  
  International Journal of Software Engineering And Knowledge Engineering 17(6)
  
  Pages: 783-804
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Formalization and Analysis of Public Administration Domain with The OTS/CafeOBJ Method2007
- Author(s)
  Xiaoyi Chen, Jianwen Xiang, Weigiang Kong and Kokichi Futatsugi
- Journal Title
  
  Proceedings of 3th International Conference on e-Government(ICEG 2007), ISBN1-905305-59-1ACL
  
  Pages: 77-86
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] A License Language Design and Analysis for E.Govenment2007
- Author(s)
  Xiaoyi Chen, Jianwen Xiang, Dines Bjorner and Kokichi Futatsugi
- Journal Title
  
  Proceedings of International Conference on Wireless Communications, Networking and Mobile Computing(WiCom 2007), ISBN1-4244-1312-5, IEEE
  
  Pages: 3445-3448
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Specification and Verification of Workflows with RBAC Mechanism and SoD Constraints2007
- Author(s)
  W. Kong, K. Ogata, K. Futatsugi
- Journal Title
  
  Intl. J. of Software Eng. and Knowledge Eng 17(1)
  
  Pages: 3-32
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] 法令対象ドメインの形式記述と検証2007
- Author(s)
  二木厚吉, 緒方和博, 有本泰仁
- Journal Title
  
  「法令工学の提案」, JAIST Press
  
  Pages: 71-93
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Falsification of OTSs by Searches of Bounded Reachable State Spaces2006
- Author(s)
  Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 18^<th> International Conference on Software Engineering and Knowledge Engineering (18th SEKE)
  
  Pages: 440-445
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Knowledge Management in Academia : Survey, Analysis and Perspective2006
- Author(s)
  Jing Tian, Yoshiteru Nakamori, Jianwen Xiang, Kokichi Futatsugi
- Journal Title
  
  Int. J. Management and Decision Making 2/3
  
  Pages: 275-294
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] From Fault Tree Analysis to Formal Specification and Verification with OTS/CafeOBJ2006
- Author(s)
  Jianwen Xiang, Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
- Journal Title
  
  Computer Software(コンピュータソフトウェア(日本ソフトウェア科学会論文誌)) 23・3
  
  Pages: 134-146
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Induction-Guided Falsification2006
- Author(s)
  Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
- Journal Title
  
  Springer LNCS 4260
  
  Pages: 114-131
- NAID
  120000861068
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] モジュラーな代数仕様言語のための項書き換えシステム2006
- Author(s)
  中村正樹, 二木厚吉
- Journal Title
  
  コンピュータソフトウェア(日本ソフトウェア科学会論文誌) 23・3
  
  Pages: 35-50
- NAID
  110004815103
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] A Behavioral Specification of Imperative Programming Languages2006
- Author(s)
  Masaki Nakamura, Watanabe, M., Kokichi Futatsugi
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences(電子情報通信学会論文誌) E89-A・6
  
  Pages: 1558-1565
- NAID
  110007502878
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Verifying Specifications with Proof Scores in CafeOBJ (an invited keynote paper)2006
- Author(s)
  Kokichi FUTATSUGI
- Journal Title
  
  Proc. of 21st IEEE International Conference on Automated Software Engineering
  
  Pages: 3-10
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Automating Invariant Verification of Behavioral Specifications2006
- Author(s)
  Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 6th International Conference on Quality Software (6^<th> QSIC)
  
  Pages: 49-56
- Data Source
  KAKENHI-PROJECT-18300008
[Journal Article] Knowledge Management in Academia : Survey, Analysis and Perspective2006
- Author(s)
  Jing Tian, Yoshiteru Nakamori, Jianwen Xiang, Kokichi Futatsugi
- Journal Title
  
  Int.J.Management and Decision Making Vol.7, Nos.2/3
  
  Pages: 275-294
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Formal Analysis of Workflow Systems with Security Considerations2005
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proc.of the 17^<th> International Conference on Software Engineering and Knowledge Engineering (SEKE 2005)
  
  Pages: 531-536
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Equational Approach to Formal Analysis of TLS2005
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 25th International Conference on Distributed Computing Systems (25th ICDCS) (IEEE Computer Society Press)
  
  Pages: 795-804
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Formal Fault Tree Analysis of State Transition Systems2005
- Author(s)
  Jianwen Xiang, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Prceedings of the 5^<th> International Conference on Quality Software (5th QSIC)
  
  Pages: 124-131
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Mechanically Supporting Case Analysis for Verification of Distributed Systems2005
- Author(s)
  Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Journal of Pervasive Computing and Communications (Troubador) 1(2)
  
  Pages: 135-145
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] A Lightweight Integration of Theorem Proving and Model Checking for System Verification2005
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata, Takahiro Seino, Kokichi Futatsugi
- Journal Title
  
  Proc.of The 12th Asia-Pacific Software Engineering Conference (APSEC 2005)
  
  Pages: 59-66
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] 項書き換えシステムにおける可簡約演算子とその応用2005
- Author(s)
  中村正樹, 緒方和博, 二木厚吉
- Journal Title
  
  情報処理学会論文誌:プログラミング 46-SIG6
  
  Pages: 47-59
- NAID
  110002769559
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Equational Approach to Formal Analysis of TLS2005
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proc.of the 25th International Conference on Distributed Computing Systems (25th ICDCS)
  
  Pages: 795-804
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Mechanically Supporting Case Analysis for Verification of Distributed Systems2005
- Author(s)
  Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Journal of Pervasive Computing and Communications 1-2
  
  Pages: 135-145
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Mechanically Supporting Case Analysis for Verification of Distributed Systems2005
- Author(s)
  Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Journal of Pervasive Computing and Communications 1(2)
  
  Pages: 135-145
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Chocolat/SMV : A Translator from CafeOBJ into SMV2005
- Author(s)
  Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (6th PDCAT),(IEEE Computer Society Press)
  
  Pages: 416-420
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Chocolat/SMV : A Translator from CafeOBJ into SMV2005
- Author(s)
  Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (6th PDCAT) (IEEE Computer Society Press)
  
  Pages: 416-420
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] A Lightweight Integration of Theorem Proving and Model C hecking for System Verification,2005
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata, Takahiro Seino, Kokichi Futatsugi
- Journal Title
  
  Proc. of The 12th Asia-Pacific Software Engineering Conference (APSEC 2005),(IEEE CS Press)
  
  Pages: 59-66
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] 項書き換えシステムにおける可簡約演算子とその応用2005
- Author(s)
  中村正樹, 緒方和博, 二木厚吉
- Journal Title
  
  情報処理学会論文誌 : プログラミング 46 SIG 6(PRO25)
  
  Pages: 47-59
- NAID
  110002769559
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] A Lightweight Integration of Theorem Proving and Model C hecking for System Verification,2005
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata, Takahiro Seino, Kokichi Futatsugi
- Journal Title
  
  Proc.of The 12th Asia-Pacific Software Engineering Conference (APSEC 2005) (IEEE CS Press) December
  
  Pages: 59-66
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] 項書き換えシステムにおける可簡約演算子とその応用2005
- Author(s)
  中村正樹, 緒方和博, 二木厚吉
- Journal Title
  
  情報処理学会論文誌:プログラミング (To appear)
- NAID
  110002769559
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Formal Analysis of the NetBill Electronic Commerce Protocol2004
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Lecture Notes in Computer Science (2nd ISSS), 3233
  
  Pages: 45-64
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Supporting Case Analysis with Algebraic Specification Languages2004
- Author(s)
  Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 4th International Conference on Computer and Information Technology
  
  Pages: 1073-1080
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Equational Approach to Formal Verification of SET2004
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 4th International Conference on Quality Software
  
  Pages: 50-59
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Formal Analysis of the NetBill Electronic Commerce Protocol2004
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 2^<nd> International Symposium on Software Security (2nd ISSS) (Springer) LNCS 3233
  
  Pages: 45-64
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] 構造的代数仕様のための等価述語の提案と実装2004
- Author(s)
  中村正樹, 二木厚吉
- Journal Title
  
  ソフトウェア工学の基礎 XI
  
  Pages: 117-128
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol2004
- Author(s)
  Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 4th International Conference on Computer and Information Technology
  
  Pages: 1100-1107
- NAID
  120006672306
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Modeling and Verification of Hybrid Systems Based on Equations2004
- Author(s)
  Kazuhiro Ogara, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi
- Journal Title
  
  Proc.of the IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems
  
  Pages: 43-52
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Equational Approach to Formal Verification of SET2004
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 4th International Conference on Quality Software (4th QSIC) (IEEE Computer Society Press)
  
  Pages: 50-59
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] 有限状態機械に基づくプログラミングでのgoto文の是非 : Hoare論理の観点から2004
- Author(s)
  金藤栄孝, 二木厚吉
- Journal Title
  
  情報処理学会論文誌 Vol.45 No.9
  
  Pages: 2124-2137
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Equational Approach to Formal Analysis of TLS2004
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 25th International Conference on Distributed Computing Systems (25th ICDCS),(IEEE Computer Society Press)
  
  Pages: 795-804
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Equational Approach to Formal Verification of SET2004
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Proceedings of the 4th International Conference on Quality Software (4th QSIC),(IEEE Computer Society Press)
  
  Pages: 50-59
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] 項書換えを用いた安全性検証の組織化2003
- Author(s)
  清野貴博, 緒方和博, 二木厚吉
- Journal Title
  
  コンピュータソフトウェア Vol.20
  
  Pages: 32-45
- NAID
  110003743130
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] 書き換えによるセキュリティプロトコルの帰納的検証2003
- Author(s)
  緒方和博, 二木厚吉
- Journal Title
  
  コンピュータソフトウェア Vol.20
  
  Pages: 54-72
- NAID
  110003743116
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Flaw and modification of the ikp electronic payment protocols2003
- Author(s)
  Ogata, K., Futatsugi, K.
- Journal Title
  
  Information Processing Letters 86
  
  Pages: 57-62
- NAID
  120000861080
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Flaw and modification of the ikp electronic payment protocols2003
- Author(s)
  Ogata, K., Futatsugi, K.
- Journal Title
  
  Information Processing Letters (Springer) Vol.86
  
  Pages: 57-62
- NAID
  120000861080
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Proof scores in the OTS/CafeOBJ method2003
- Author(s)
  Ogata, K., Futatsugi, K.
- Journal Title
  
  Proceedings of the 6th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), Lecture Notes in Computer Science (Springer) Vol.2884
  
  Pages: 170-184
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] CafeOBJ : Logical foundation and methodologies,2003
- Author(s)
  Diaconescu, R., Ogata, K., Futatsugi, K.
- Journal Title
  
  Computing and Informatics Vol.22
  
  Pages: 257-283
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] Proof scores in the OTS/CafeOBJ method2003
- Author(s)
  Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Lecture Notes in Computer Science,(FMOODS 2003), 2884
  
  Pages: 170-184
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Journal Article] CafeOBJ : Logical foundation and methodologies2003
- Author(s)
  Diaconescu, R., Ogata, K., Futatsugi, K.
- Journal Title
  
  Computing and Informatics 22
  
  Pages: 257-283
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300007
[Presentation] Recent Developments on Algebraic Specification and Verification in CafeOBJ2015
- Author(s)
  Kokichi Futatsugi
- Organizer
  2nd International Symposium on Dependable Computing and Internet of Things (DICT 2015)
- Place of Presentation
  Wuhan, China
- Year and Date
  2015-11-16
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] An Overview of Recent Research Activities around CafeOBJ2011
- Author(s)
  Kokichi Futatsugi
- Organizer
  IFIP WG 1.3 Meeting
- Place of Presentation
  Winchester, England, UK
- Year and Date
  2011-09-04
- Data Source
  KAKENHI-PROJECT-23240004
[Presentation] 実行可能な代数仕様の停止性証明について2007
- Author(s)
  中村正樹, 二木厚吉
- Organizer
  情報科学技術レターズ(FIT2007)
- Place of Presentation
  愛知県豊田市
- Year and Date
  2007-09-21
- Data Source
  KAKENHI-PROJECT-18300008
[Presentation] ドメインの形式記述と検証2007
- Author(s)
  有本泰仁, 二木厚吉
- Organizer
  電子情報通信学会研究報告
- Place of Presentation
  石川県能美市
- Year and Date
  2007-06-08
- Data Source
  KAKENHI-PROJECT-18300008
[Presentation] Verifying Specifications with Proof Scores in CafeOBJ2006
- Author(s)
  Kokichi FUTATSUGI
- Organizer
  Proc. of 21st IEEE International Conference on Automated Software Engineering
- Place of Presentation
  Tokyo
- Year and Date
  2006-02-20
- Data Source
  KAKENHI-PROJECT-18300008
[Presentation] Verifying Specifications with Proof Scores in CafeOBJ (invited keynote paper at ASE 2006, 20 September 2006, Tokyo)2006
- Author(s)
  Kokichi Futatsugi
- Organizer
  Proc. Of 21st International Conference on Automated Software Engineering
- Place of Presentation
  IEEE
- Data Source
  KAKENHI-PROJECT-18300008
[Presentation] Generate & Check Method for Verifying Transition Systems in CafeOBJ (an overview)
- Author(s)
  Kokichi Futatsugi
- Organizer
  Science and Practice of Engineering Trustworthy Cyber-Physical Systems, Shonan Meeting
- Place of Presentation
  Shonan Villlage Center, Hayama, Kanagawa
- Year and Date
  2014-10-26 – 2014-10-30
- Invited
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] Sufficient completeness of parameterized specifications in CafeOBJ
- Author(s)
  Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata, Kokichi Futatsugi
- Organizer
  12th Asian Symposium on Programming Languages and Systems, APLAS 2014
- Place of Presentation
  Singapore, the Republic of Singapore
- Year and Date
  2014-11-17 – 2014-11-19
- Data Source
  KAKENHI-PROJECT-23220002

1. OGATA KAZUHIRO (30272991)

# of Collaborated Projects: 6 results

# of Collaborated Products: 19 results
2. NAKAMURA Masaki (40345658)

# of Collaborated Projects: 5 results

# of Collaborated Products: 37 results
3. WATANABE Takuo (20222408)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. OKADA Mitsuhiro (30224025)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. AOKI TOSHIAKI (20313702)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
6. AMANO Noriki (30313703)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. MORI Akira (30311682)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. CHIBA YUKI (10509756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. SEINO TAKAHIRO (10397226)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. MIYAMOTO Eiichi (00001173)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. TAMAI Tetsuo (60217172)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. UEDA Kazunori (10257206)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. ARAKI Keijiro (40117057)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. TOGASHI Atsushi (20172140)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. IIDA Shusaku (80338590)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 萩谷昌己 (30156252)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 佐藤雅彦 (20027387)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 米崎直樹 (00126286)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 小林直樹 (00262155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. PREINING Norbert (60571247)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
22. GAINA Daniel (80595778)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
23. ディアコネスクラズウ゛ァ (30293393)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. NAKAGAWA Wataru

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Hutatsugi Koukichi 二木 厚吉

FUTATSUGI Kokichi 二木 厚吉

Research Projects

Research Products

Co-Researchers

Development of the Innovative Specification Verification System based on Proof ScoresPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

証明スコア法に基づく革新的仕様検証技術の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verification of Problem Models with Proof ScoresPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Construction and verification of problem models in behavioral specificationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

International collaborative studies on a logical specification and verification language.

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Safety Verification Technologies based on Behavioral SpecificationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

モジュールシステムを基礎におくコーディネーションモデルの研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Verification of Software Components in Object-Based Distributed EnvironmentsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of Formal Specification Language for Writing Specifications as Components Based on FunctionsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Methodologies for Constructing Evolutionary Software

Principal Investigator

Project Period (FY)

Research Category

Research Institution

A Study on Abstract Machines for Concurrent RewritingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

並行書き換えモデルの超並行実行方式の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Hutatsugi Koukichi 二木厚吉

FUTATSUGI Kokichi 二木厚吉