CHIBA Yuki 千葉勇輝

Researcher Number	10509756
Affiliation (based on the past Project Information) *help	2011 – 2015: 北陸先端科学技術大学院大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Software Except Principal Investigator Software
Keywords	Principal Investigator 項書き換え / 単純型付き項書き換えシステム / パターンマッチング / 単純型付項書き換えシステム / プログラム変換 Except Principal Investigator 定理証明 / CafeOBJ / 証明スコア / 代数仕様 / ソフトウェア工学 / 形式手法 / 仕様記述・仕様検証

A Framework of Program Transformation by Templates with Automated Verification of the CorrectnessPrincipal Investigator
- Principal Investigator
  
  CHIBA Yuki
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Development of the Innovative Specification Verification System based on Proof Scores
- 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

All 2015 2014 2013 2012 2011 Other

All Journal Article Presentation

[Journal Article] Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach2015
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Yuki Chiba
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E98.D Issue: 10 Pages: 1765-1776
- DOI
  10.1587/transinf.2015EDP7043
- NAID
  130005101306
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00094, KAKENHI-PROJECT-23220002
[Journal Article] A Framework for Verifying the Conformance of Design to Its Formal Specifications2015
- Author(s)
  Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E98.D Issue: 6 Pages: 1137-1149
- DOI
  10.1587/transinf.2014FOP0004
- NAID
  130005072395
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00094, KAKENHI-PROJECT-23220002
[Journal Article] Checking the Conformance of a Promela Design to Its Formal Specification in Event-B2014
- Author(s)
  Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
- Journal Title
  
  Proc. of 3rd Intl. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
  
  Volume: - Pages: 203-218
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] A Spin-based Approach for Checking OSEK/VDX Applications2014
- Author(s)
  Haitao Zhang, Toshiaki Aoki, and Yuki Chiba
- Journal Title
  
  Proc. of 3rd Intl. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
  
  Volume: - Pages: 187-202
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Constructor-Based Inductive Theorem Prover2013
- Author(s)
  Daniel Gaina, Min Zhang, Yuki Chiba, Yasuhito Arimoto
- Journal Title
  
  Proc. of the 5th International Conference on Algebra and Coalgebra in Computer Science (5th CALCO), LNCS 8089, Springer
  
  Volume: - Pages: 328-333
- DOI
  10.1007/978-3-642-40206-7_26
- ISBN
  9783642402050, 9783642402067
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] SMT-based Bounded Model Checking for OSEK/VDX Applications2013
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake
- Journal Title
  
  Proc. of 20th Asia-Pacific Software Engineering Conference(APSEC)
  
  Volume: - Pages: 307-314
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications2015
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Yuki Chiba
- Organizer
  IEEE International Conference on Software Testing, Verification and Validation
- Place of Presentation
  Graz, Austria
- Year and Date
  2015-04-13
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] Verifying the Correctness of Tupling Transformations based on Conditional Rewriting2014
- Author(s)
  Yuki Chiba
- Organizer
  First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014)
- Place of Presentation
  オーストリア，ウィーン
- Year and Date
  2014-06-13
- Data Source
  KAKENHI-PROJECT-23700034
[Presentation] Comparison of Higher-Order Rewriting from the View of Verifying the Equality2014
- Author(s)
  Yuki Chiba
- Organizer
  37th TRS meeting
- Place of Presentation
  Kofu, Yamanashi
- Data Source
  KAKENHI-PROJECT-23700034
[Presentation] Transformations by Templates for Simply-Typed Term Rewriting2012
- Author(s)
  Yuki Chiba and Takahito Aoto
- Organizer
  The 6th International Workshop on Higher-Order Rewriting (HOR 2012)
- Place of Presentation
  Nagoya
- Data Source
  KAKENHI-PROJECT-23700034
[Presentation] Natural Inductive Theorems for Higher-Order Rewriting2011
- Author(s)
  Takahito Aoto, Toshiyuki Yamada and Yuki Chiba
- Organizer
  In Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
- Place of Presentation
  Novi Sad, Serbia
- Data Source
  KAKENHI-PROJECT-23700034
[Presentation] ISO26262における安全仕様のゴール木を用いた浅い形式化
- Author(s)
  青木利晃，千葉勇輝，松原正裕，西昌能，成沢文雄
- Organizer
  第21回ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  霧島国際ホテル、鹿児島県霧島市
- Year and Date
  2014-12-11 – 2014-12-13
- Data Source
  KAKENHI-PROJECT-23220002

1. FUTATSUGI Kokichi (50251971)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. OGATA KAZUHIRO (30272991)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
4. NAKAMURA MASAKI (40345658)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. GAINA Daniel (80595778)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

CHIBA Yuki 千葉 勇輝

Research Projects

Research Products

Co-Researchers

A Framework of Program Transformation by Templates with Automated Verification of the CorrectnessPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of the Innovative Specification Verification System based on Proof Scores

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach2015

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

[Journal Article] A Framework for Verifying the Conformance of Design to Its Formal Specifications2015

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

[Journal Article] Checking the Conformance of a Promela Design to Its Formal Specification in Event-B2014

Author(s)

Journal Title

Data Source

[Journal Article] A Spin-based Approach for Checking OSEK/VDX Applications2014

Author(s)

Journal Title

Data Source

[Journal Article] Constructor-Based Inductive Theorem Prover2013

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] SMT-based Bounded Model Checking for OSEK/VDX Applications2013

Author(s)

Journal Title

Data Source

[Presentation] Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications2015

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Verifying the Correctness of Tupling Transformations based on Conditional Rewriting2014

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Comparison of Higher-Order Rewriting from the View of Verifying the Equality2014

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Transformations by Templates for Simply-Typed Term Rewriting2012

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Natural Inductive Theorems for Higher-Order Rewriting2011

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] ISO26262における 安全仕様のゴール木を用いた浅い形式化

Author(s)

Organizer

CHIBA Yuki 千葉勇輝

[Presentation] ISO26262における安全仕様のゴール木を用いた浅い形式化