INABA Kazuhiro 稲葉一弘

Researcher Number	30570311
Other IDs
Affiliation (based on the past Project Information) *help	2013: Google, Software Engineer 2010 – 2011: 国立情報学研究所, アーキテクチャ科学研究系, 研究員
Review Section/Research Field	Except Principal Investigator Software
Keywords	Except Principal Investigator モデル変換 / グラフ変換 / 双方向変換 / プログラミングパラダイム / プログラム言語論 / 検証 / モデル駆動ソフトウェア / プログラミング言語 / ソフトウエア工学 / モデル駆動ソフトウエア開発 / モデルコードの共進化 / モデル駆動ソフトウェア開発 / ソフトウェア工学

Study on Language Foundation for Bidirectional Model Transformation
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Towards Model Transformation Validation from Model Validation
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics

All 2013 2012 2011 2010

All Journal Article Presentation

[Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Progress in Informatics
  
  Volume: Vol. 10 Pages: 131-148
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: (印刷中)(掲載確定)
- NAID
  130004549266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之
- Journal Title
  
  コンピュータソフトウエア
  
  Volume: 29巻2号 Pages: 174-192
- NAID
  130004549266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29巻2号 Pages: 174-191
- NAID
  130004549266
- URL
  https://www.jstage.jst.go.jp/article/jssst/29/2/29_2_174/_pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650007
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- Author(s)
  中野圭介,日高宗一郎,胡振江,稲葉一浩,加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29巻2号 Pages: 74-191
- NAID
  130004549266
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Sound and Complete Validation of Graph Transformations2010
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Technical Report
  
  Volume: 04 Pages: 1-27
- URL
  http://grace-center.jp/downloads/GRACE-TR-2010-04.pdf
- Data Source
  KAKENHI-PROJECT-22650007
[Journal Article] Sound and Complete Validation of Graph Transformations2010
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zehnjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Technical Report GRACE-TR-2010-04
  
  Volume: 2010-04 Pages: 1-27
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] GroundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  26^<th> IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
- Place of Presentation
  The Oread, Kansas City, USA
- Year and Date
  2011-11-10
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  Odense, Denmark
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] GRoundTram : An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011)
- Place of Presentation
  Oread, Lawrence, Kansas, USA
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  International Conference on Model Transformation (ICMT 2011)
- Place of Presentation
  Zurich, Switzerland
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  International Conference on Model Transformation (ICMT 2011)
- Place of Presentation
  Swiss Federal Intsitute of Technology Zurich, Zurich, Switzerland
- Year and Date
  2011-06-27
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Marker-Directed Optimization of UnCAL Graph Transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Organizer
  21^<st> International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  定山渓ビューホテル、北海道
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming(PPDP 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Marker-Directed Optimization of UnCAL Graph Transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Organizer
  21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- Place of Presentation
  Odense, Denmark
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] 模倣に基づくグラグスキーマを利用したビュー更新可能製判定2011
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  定山渓ビューホテル、北海道
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Range Analysis of Graph Transformation for Simulation-based Schema2010
- Author(s)
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems (APLAS 2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China(poster)
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Range Analysis of Graph Transformation for Simulation-based Schema(poster)2010
- Author(s)
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems(APLAS 2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming(ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Baltimore, Maryland, USA
- Data Source
  KAKENHI-PROJECT-22300012

1. HU Zhenjiang (50292769)

# of Collaborated Projects: 2 results

# of Collaborated Products: 25 results
2. HIDAKA Soichiro (70321578)

# of Collaborated Projects: 2 results

# of Collaborated Products: 25 results
3. KATO Hiroyuki (10321580)

# of Collaborated Projects: 2 results

# of Collaborated Products: 25 results
4. NAKANO Keisuke (30505839)

# of Collaborated Projects: 1 results

# of Collaborated Products: 14 results
5. SASANO Isao (10362021)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
6. EMOTO Kento (00587470)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. MATSUDA Kazutaka (10583627)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results

INABA Kazuhiro 稲葉 一弘

Research Projects

Research Products

Co-Researchers

Study on Language Foundation for Bidirectional Model Transformation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Towards Model Transformation Validation from Model Validation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013

Author(s)

Journal Title

Data Source

[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

Author(s)

Journal Title

NAID

URL

Data Source

[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Sound and Complete Validation of Graph Transformations2010

Author(s)

Journal Title

URL

Data Source

[Journal Article] Sound and Complete Validation of Graph Transformations2010

Author(s)

Journal Title

Data Source

[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] GroundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] GRoundTram : An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Toward bidirectionalization of ATL with GRoundTram2011

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Toward bidirectionalization of ATL with GRoundTram2011

Author(s)

Organizer

INABA Kazuhiro 稲葉一弘