Duong Vu
Address:
Sectie Software
Engineering
Faculty of Science
University of Amsterdam
Room N247
Kruislaan 403
NL-1098 SJ Amsterdam
The Netherlands
Email:
duong.t.vu@gmail.com
WWW:
http://staff.science.uva.nl/~tdvu/
Theses:
Publications:
In journals:
- T.D. Vu,
Thread algebra for noninterference , RAIRO - Theoretical
Informatics and Applications. To appear.
- T.D. Vu,
Goto elimination in program algebra , Science of Computer
Programming. To appear.
- T.D. Vu,
Denotational semantics for thread algebra, Journal of Logic and
Algebraic and Programming 74: 94-111, 2007.
- T.D. Vu,
Deciding orthogonal bisimulation, Formal Aspects of
Computing. 19(4): 475-485, 2007.
- T.D. Vu,
The compression structure of a process,
Information Processing Letters 96 (6): 225-229 (December 2005).
- W. Fokkink and T.D. Vu,
Structural Operational Semantics and bounded nondeterminism,
Acta Informatica 39 (6/7): 501-516 (June 2003).
In conferences and workshops:
-
T.D. Vu, L. Zhang and C.R. Jesshope,
The verification of the on-chip COMA cache coherence protocol
,
12th International Conference on Algebraic Methodology and
Software Technology AMAST 2008, Urbana, Illinois, USA.
- T.D. Vu and C.R. Jesshope,
Formalizing SANE Virtual Processor in thread algebra ,
9th International Conference on Formal Engineering Methods (ICFEM
2007): 345-365.
- T.D. Vu,
Noninterference for sequential and multi-threaded languages,
IFM2005 Doctoral Symposium on Integrated Formal Methods}:
19-25.
In others:
Sectie Software Engineering