Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/10/01 Vol. E97-DNo. 10pp. 2676-2684 Type of Manuscript: PAPER Category: Software Engineering Keyword: determinism, data-race detection, alias analysis, static analysis,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/05/01 Vol. E96-DNo. 5pp. 1068-1077 Type of Manuscript: PAPER Category: Fundamentals of Information Systems Keyword: determinism, message-passing, debugging, distributed computing,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/03/01 Vol. E96-DNo. 3pp. 663-672 Type of Manuscript: PAPER Category: Dependable Computing Keyword: fault tolerance, incremental checkpoint, BPRAM, large scale system,