TANIGUCHI Kenichi 谷口健一

… Alternative Names

谷口健一タニグチケンイチ

Less

Researcher Number	00029513
Other IDs
Affiliation (Current)	2025: 大阪大学, その他部局等, 名誉教授
Affiliation (based on the past Project Information) *help	2006: 大阪大学, 名誉教授 2002 – 2004: 大阪大学, 大学院・情報科学研究科, 教授 1997 – 2001: 大阪大学, 大学院・基礎工学研究科, 教授 1986 – 1996: Osaka University, Professor, 基礎工学部, 教授
Review Section/Research Field	Principal Investigator 計算機科学 / 計算機工学 / 情報工学 Except Principal Investigator 計算機工学 / Software / Science and Engineering
Keywords	Principal Investigator 代数的手法 / 実時間システム / 通信プロトコル / マルチランデブ / LOTOS / 設計検証 / レジスタ転送レベル / 検証 / 段階的詳細化 / 仕様記述 … More / OCL / UML / プレスブルガー文 / 時間オートマトン / SMIL / FDT / multi-rendezvous / VHDL / CAD / ASIC / コンパイラ / 分散システム / パイプラインCPU / 拡張有限状態機械 / 同期式順序回路 / 自動検証 / 設計自動化 / Petri-nets / Program Derivation / Timed Automaton / Sate-chart / Distributed Real-time System / Object-Oriented / 時間制約 / GUI / カラーペトリネット / プログラム自動導出 / 分散オブジェクト / Java / コンポーネントベースシステム / 分散マルチメディアシステム / 線形計画法 / Quality of Services / ペトリネット / プログラム導出 / ステートチャート / 分散実時間システム / オブジェクト指向 / Time-Action-Deadlock / Behavioral Level / Register Transfer Level / Verification Support System / Verification of Timeliness / Verification of Functional Properties / High-Leveled Design / CTL / 並列同期回路 / モデルチェッカー / 並列同期システム / 時間オートマトン群 / 時相論理式 / 整数変数つきFSM / 時間領域デッドロック / 動作仕様レベル / 検証支援システム / 時間性質の保証 / 機能性質の保証 / ハードウェア高位設計 / Presburger sentences / parallel control systems / parallel sequential machines / real-times systems / symbolic model checking / out-of-order pipelined CPU / Design and verification technique / out-of-order型パイプラインCPU / モデル検査 / 動的性質 / 並行システム / 順序機械 / プレスブルガー文真偽判定 / 並列制御部 / 並列動作順序回路 / 記号モデル検査 / Out-of-order CPU / QoS control / real-time systems / multi-thread / distributed systems / LOTOS compiler / マルチスレッド機構 / マルチメディア / E-LOTOS / 制約指向 / マルチメディアシステム / QoS制御 / マルチスレッド / LOTOSコンパイラ / High level synthesis / Register transfer level / Automatic curcuit synthesis / Hardware design / Protocol / 並行プロセス / ハードウェア化 / 形式記述技法 / 高位レベル合成 / 回路自動合成 / ハードウェア / State diagram transformation / Presburger sentence / Design verification / Stepwise refinement / Algebraic method / Synchronous sequential circuit / 形式的手法 / 機能設計 / グラフィカルユーザインタフェース / 高位合成 / 状態図変形 / プレスブルガ-文 / 設計支援 / 順序回路 / ハードウェア設計 / エラーリカバリ / プロトコル / イーサーネット / バス結合型ネットワーク / プレスブルガ-算術 / 形式的検証 / 分散実行 / プログラム自動合成 / ペトリネットモデル / プレスブルガ文 / 順序機械型プログラム / マイクロプログラム / ハ-ドウェア設計 / 証明書 / 証明支援システム / 証明 / 詳細化 … More Except Principal Investigator OCL / ソフトウェアプロセス / Programmer's Capability / Bug Numbers / Measurement / プログラム作成能力 / ソフトウェア設計法 / バグ数 / ツール / ソフトウェア・メトリクス / Program Transformation / Adaptation Mechanism / Dynamic Compilation / Partial Computation / Reflection Mechanism / Meta-programming / Software Evolution / 環境適応機器 / プログラム変換 / 環境適応機構 / 動的翻訳機構 / 部分計算機構 / 自己反映機構 / メタプログラミング / ソフトウェア発展 / 確率時間オートマント / CEGAR LOOP / 表明 / モデル駆動開発 / フォーマルアプローチ / ソフトウェア / JML / CEGAR / 時間オートマトン / 形式手法 / モデル / モデル検査 / timelines QoS / UPPAAL / Struts / WEB / UML / SPIN / 関数型言語 / 並列分散言語 / 初心者支援 / 設計プロセス / フィードバックメカニズム / プログラム導出 / ソフトウエア構成プロセス / 開発プロセス制御 / プログラム導出プロセス / プロセス知識獲得 / プロセスの共通問題 / 定量的評価 / 代数的言語 / プログラム正当性 / 設計プロセス知識 / プロセス記述言語 Less

Software Design using Model Cheking
- Principal Investigator
  
  OKANO Kozo
- Project Period (FY)
  2009 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Osaka University
状態爆発するWEBアプリケーションに対するソフトウェアモデル検査
- Principal Investigator
  
  岡野浩三
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Osaka University
Higher Level Design and Verification Support Systems for HardwarePrincipal Investigator
- Principal Investigator
  
  TANIGUSHI Kenichi
- Project Period (FY)
  2001 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Specification for Object-Oriented Software and Derivation of ProgramsPrincipal Investigator
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  2001 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
"A Study on design and verification of parallel sequential machines"Principal Investigator
- Principal Investigator
  
  KENICHI Taniguchi
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
"Implementation of LOTOS specifications on distributed environments"Principal Investigator
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Research on Fundamental Mechanisms for Software Evolution
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  University of Tokyo
Hardware syntesis from formal descriptions of communication prorocolsPrincipal Investigator
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
マルチランデブを含むLOTOSプログラムの分散実行系の構築Principal Investigator
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
複数の制御部をもつ同期式順序回路の機能検証に関する研究Principal Investigator
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系Principal Investigator
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
代数的手法を用いたプログラムの階層的設計と開発環境に関する研究Principal Investigator
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Development of ASIC Design Support SystemPrincipal Investigator
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  1993 – 1994
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
ソフトウエア構成プロセスの記述とその実働化の研究
- Principal Investigator
  
  鳥居宏次
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Nara Institute of Science and Technology
ソフトウェア構成プロセスの記述とその実働化の研究
- Principal Investigator
  
  TORII Koji
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Osaka University
ハ-ドウェアの仕様記述とマイクロプログラムを用いた実現への段階的詳細化及び検証Principal Investigator
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  情報工学
- Research Institution
  Osaka University
ソフトウェア構成プロセスの記述とその実働化の研究
- Principal Investigator
  
  鳥居宏次
- Project Period (FY)
  1990 – 1991
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Osaka University
代数的手法によるプログラムの正しさ証明システムの作成に関する研究Principal Investigator
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1989
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Osaka University
代数的手法を用いたハードウェアの仕様記述と実現に関する研究Principal Investigator
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1988
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Osaka University
通信プロトコルにおけるエラーリカバリ法の記述と検証に関する研究Principal Investigator
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Institution
  Osaka University
Software Measurements and Data Collection Tools
- Principal Investigator
  
  TORII Koji
- Project Period (FY)
  1985 – 1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Osaka University

All 2005 2004 2003 2002

All Journal Article

[Journal Article] A Method to Develop Distributed Real-time Applications based on UML/OCL2005
- Author(s)
  Aya MAKIDERA, Eigo NAGAI, Kozo OKANO, Kenichi TANIGUCHI
- Journal Title
  
  TECHNICAL REPORT OF IEICE. Vol.104, No.723
  
  Pages: 1-6
- NAID
  110003277300
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13680414
[Journal Article] An implementation of a decision procedure for Presburger sentences in ML and its application to verification support system2004
- Author(s)
  Tetsuya SAIMURA, Kozo OKANO, Kenichi TANIGUCHI
- Journal Title
  
  TECHNICAL REPORT OF IEICE Vol.103, No.708
  
  Pages: 7-12
- NAID
  110003276708
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13558028
[Journal Article] Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control2004
- Author(s)
  Kazuo MORI, Kozo OKANO, Kenichi TANIGUCHI
- Journal Title
  
  TECHNICAL REPORT OF IEICE. Vol.103, No.583
  
  Pages: 13-18
- NAID
  110003276701
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13680414
[Journal Article] Consistency Checking of Timeliness QoS with Linear Constraints2004
- Author(s)
  Kozo OKANO, Kazuo MORI, Kenichi TANIGUCHI
- Journal Title
  
  Kokyuroku of Research Institute for Mathematical Sciences Kyoto University Vol.1375
  
  Pages: 151-157
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13680414
[Journal Article] A Verification method and verification support system based on the method for functional programming for ML2004
- Author(s)
  Tetsuya SAIMURA, Kozo OKANO, Kenichi TANIGUCHI
- Journal Title
  
  Proceedings of Software Symposium, 2004 (ISBN4-916227-16-6)
  
  Pages: 53-57
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13558028
[Journal Article] A verification support system for functional programming for ML2004
- Author(s)
  Tetsuya SAIMURA, Kozo OKANO, Kenichi TANIGUCHI
- Journal Title
  
  TECHNICAL REPORT OF IEICE Vol.104, No.243
  
  Pages: 13-18
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13558028
[Journal Article] A Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments2004
- Author(s)
  Aya MAKIDERA, Kozo OKANO, Kenichi TANIGUCHI
- Journal Title
  
  TECHNICAL REPORT OF IEICE. Vol.104, No.243
  
  Pages: 19-24
- NAID
  110003276723
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13680414
[Journal Article] Symbolic Model Checking of Extended Finite State Machines with Linear Constraints over Integer Variables2004
- Author(s)
  Takashi TAKENAKA, Kozo OKANO, Teruo HIGASHINO, Kenichi TANIGUCHI
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.J87-DI, No.4
  
  Pages: 462-470
- NAID
  110003171323
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13558028
[Journal Article] Specification and Verification of Real-Time System with Extended Timed Automata2003
- Author(s)
  Yuichiro KATO, Hirozumi.YAMAGUCHI, Kozo OKANO, Kenichi TANIGUCHI
- Journal Title
  
  TECHNICAL REPORT OF IEICE. Vol.102, No.616
  
  Pages: 13-18
- NAID
  110003276632
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13680414
[Journal Article] Colored Petri-nets with time constraints for workflow descriptions2002
- Author(s)
  Kozo OKANO, Akira YAMAGUCHI, Kenichi Taniguchi
- Journal Title
  
  TECHNICAL REPORT OF IEICE. Vol.102, No.96
  
  Pages: 13-16
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13680414
[Journal Article] A Method for Describing Specification for GUI Controllers with Timing Restrictions.2002
- Author(s)
  Yuichiro KATO, Kozo OKANO, Kenichi TANIGUCHI
- Journal Title
  
  TECHNICAL REPORT OF IEICE. Vol.102, No.629
  
  Pages: 15-22
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13680414
[Journal Article] Deriving Work Schedules from Workflow Description in Colored Petri-nets with Time Constraints2002
- Author(s)
  Akira YAMAGUCHI, Kozo OKANO, Kenichi TANIGUCHI
- Journal Title
  
  TECHNICAL REPORT OF IEICE. Vol.102, No.629
  
  Pages: 23-30
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13680414
[Journal Article] A Deriving Method for J2ME Program on Personal Appliances from Application Descriptions in Petri-nets and their Executional environment2002
- Author(s)
  Kosuke SAKAUE, Kozo OKANO, Kenichi TANIGUCHI
- Journal Title
  
  TECHNICAL REPORT OF IEICE. Vol.102, No.246
  
  Pages: 1-6
- NAID
  110003498092
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13680414

1. HIGASINO Teruo (80173144)

# of Collaborated Projects: 14 results

# of Collaborated Products: 1 results
2. OKANO Kozo (70252632)

# of Collaborated Projects: 12 results

# of Collaborated Products: 13 results
3. KITAMITI Junji (20234271)

# of Collaborated Projects: 8 results

# of Collaborated Products: 0 results
4. MATSUURA Toshio (40127296)

# of Collaborated Projects: 6 results

# of Collaborated Products: 0 results
5. SUGIYAMA Yuuji (50116050)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
6. YAMAGUCHI Hirozumi (80314409)

# of Collaborated Projects: 5 results

# of Collaborated Products: 3 results
7. TORII Koji (10172222)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
8. 菊野享 (50093745)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. YASUMOTO Keiichi (40273396)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
10. 筧捷彦 (20062672)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
11. 落水浩一郎 (10022310)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
12. FUJII Mamoru (00029464)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. KITAJIMA Akira (00304030)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. MORIOKA Sumio

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. TAKEICHI Masato (10011165)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. SHIBAYAMA Etsuya (80162642)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. FUTAMURA Yoshihiko (50238648)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. YONEZAWA Akinori (00133116)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. NAKATA Akio (60295839)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. KUDO Hideo (60133146)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 楠本真二 (30234438)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 伊藤実 (90127184)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 大蒔和仁

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

TANIGUCHI Kenichi 谷口 健一

谷口 健一 タニグチ ケンイチ

Research Projects

Research Products

Co-Researchers

Software Design using Model Cheking

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

状態爆発するWEBアプリケーションに対するソフトウェアモデル検査

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Higher Level Design and Verification Support Systems for HardwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Specification for Object-Oriented Software and Derivation of ProgramsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

"A Study on design and verification of parallel sequential machines"Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

"Implementation of LOTOS specifications on distributed environments"Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Fundamental Mechanisms for Software Evolution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Hardware syntesis from formal descriptions of communication prorocolsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

マルチランデブを含むLOTOSプログラムの分散実行系の構築Principal 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

ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系Principal 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

Development of ASIC Design Support SystemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

TANIGUCHI Kenichi 谷口健一

谷口健一タニグチケンイチ