千葉勇輝 CHIBA Yuki

研究者番号	10509756
所属 (過去の研究課題情報に基づく) *注記	2011年度 – 2015年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教
審査区分/研究分野	研究代表者ソフトウエア研究代表者以外ソフトウエア
キーワード	研究代表者項書き換え / 単純型付き項書き換えシステム / パターンマッチング / 単純型付項書き換えシステム / プログラム変換研究代表者以外定理証明 / CafeOBJ / 証明スコア / 代数仕様 / ソフトウェア工学 / 形式手法 / 仕様記述・仕様検証

正当性自動保証機能を備えた高階プログラム自動変換技術研究代表者
- 研究代表者
  
  千葉勇輝
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  北陸先端科学技術大学院大学
証明スコア法に基づく革新的仕様検証システムの構築
- 研究代表者
  
  二木厚吉
- 研究期間 (年度)
  2011 – 2015
- 研究種目
  
  基盤研究(S)
- 研究分野
  
  ソフトウエア
- 研究機関
  北陸先端科学技術大学院大学

すべて 2015 2014 2013 2012 2011 その他

すべて雑誌論文学会発表

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

1. 二木厚吉 (50251971)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 緒方和博 (30272991)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 青木利晃 (20313702)

共同の研究課題数: 1件

共同の研究成果数: 5件
4. 中村正樹 (40345658)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 清野貴博 (10397226)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. PREINING Norbert (60571247)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. GAINA Daniel (80595778)

共同の研究課題数: 1件

共同の研究成果数: 1件

千葉 勇輝 CHIBA Yuki

研究課題

研究成果

共同研究者

正当性自動保証機能を備えた高階プログラム自動変換技術研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

証明スコア法に基づく革新的仕様検証システムの構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach2015

著者名/発表者名

雑誌名

DOI

NAID

ISSN

言語

データソース

[雑誌論文] A Framework for Verifying the Conformance of Design to Its Formal Specifications2015

著者名/発表者名

雑誌名

DOI

NAID

ISSN

言語

データソース

[雑誌論文] Checking the Conformance of a Promela Design to Its Formal Specification in Event-B2014

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Spin-based Approach for Checking OSEK/VDX Applications2014

著者名/発表者名

雑誌名

データソース

[雑誌論文] Constructor-Based Inductive Theorem Prover2013

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] SMT-based Bounded Model Checking for OSEK/VDX Applications2013

著者名/発表者名

雑誌名

データソース

[学会発表] Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications2015

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Verifying the Correctness of Tupling Transformations based on Conditional Rewriting2014

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Comparison of Higher-Order Rewriting from the View of Verifying the Equality2014

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Transformations by Templates for Simply-Typed Term Rewriting2012

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Natural Inductive Theorems for Higher-Order Rewriting2011

著者名/発表者名

学会等名

発表場所

データソース

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

著者名/発表者名

学会等名

千葉勇輝 CHIBA Yuki

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