Dieu-Huong Vu

According to our database, Dieu-Huong Vu authored at least 4 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Verifying OSEK/VDX OS Design Using Its Formal Specification.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

A Framework for Verifying the Conformance of Design to Its Formal Specifications.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

IEICE Trans. Inf. Syst., 2015

2014

Checking the Conformance of a Promela Design to its Formal Specification in Event-B.

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2012

Faithfully formalizing OSEK/VDX operating system specification.

Dieu-Huong Vu, Toshiaki Aoki

Proceedings of the Symposium on Information and Communication Technology 2012, 2012