Yuki CHIBA


Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach
Haitao ZHANG Toshiaki AOKI Yuki CHIBA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/10/01
Vol. E98-D  No. 10  pp. 1765-1776
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
OSEK/VDX applicationsFormal Software Verificationdeterministic schedulersequentialization
 Summary | Full Text:PDF(709.8KB)

A Framework for Verifying the Conformance of Design to Its Formal Specifications
Dieu-Huong VU Yuki CHIBA Kenro YATAKE Toshiaki AOKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/06/01
Vol. E98-D  No. 6  pp. 1137-1149
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Verification
Keyword: 
formal specificationdesign modelformal verificationmodel checkingsimulation relation
 Summary | Full Text:PDF(1.6MB)

Program Transformation Templates for Tupling Based on Term Rewriting
Yuki CHIBA Takahito AOTO Yoshihito TOYAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5  pp. 963-973
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Program Transformation
Keyword: 
program transformationtuplingterm rewriting
 Summary | Full Text:PDF(264KB)

A Higher-Order Knuth-Bendix Procedure and Its Applications
Keiichirou KUSAKARI Yuki CHIBA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/04/01
Vol. E90-D  No. 4  pp. 707-715
Type of Manuscript:  PAPER
Category: Computation and Computational Models
Keyword: 
simply-typed term rewriting systemhigher-order KB procedureinductive theoreminductionless inductionfusion transformation
 Summary | Full Text:PDF(192.5KB)