Haitao ZHANG

SMT-Based Scheduling for Overloaded Real-Time Systems
Zhuo CHENG Haitao ZHANG Yasuo TAN Yuto LIM 
Publication Date: 2017/05/01
Vol. E100-D  No. 5  pp. 1055-1066
Type of Manuscript:  PAPER
Category: Dependable Computing
real-time schedulingSMToverloadsatisfiability problem
 Summary | Full Text:PDF(862.6KB)

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
OSEK/VDX applicationsFormal Software Verificationdeterministic schedulersequentialization
 Summary | Full Text:PDF(709.8KB)