Dieu-Huong Vu

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Operating System

Formal Specification

Object Oriented Design

Top Venues

IEICE Trans. Inf. Syst.

Publications

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
Verifying OSEK/VDX OS Design Using Its Formal Specification. TASE (2016)
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
A Framework for Verifying the Conformance of Design to Its Formal Specifications. IEICE Trans. Inf. Syst. (6) (2015)
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
Checking the Conformance of a Promela Design to its Formal Specification in Event-B. FTSCS (2014)
Dieu-Huong Vu, Toshiaki Aoki
Faithfully formalizing OSEK/VDX operating system specification. SoICT (2012)