• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

CHIBA Yuki  千葉 勇輝

ORCIDConnect your ORCID iD *help
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 / 証明スコア / 代数仕様 / ソフトウェア工学 / 形式手法 / 仕様記述・仕様検証
  • Research Projects

    (2 results)
  • Research Products

    (12 results)
  • Co-Researchers

    (7 People)
  •  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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi