Dang Van Hung

Statistics

Publications

Citations

135

H-Index

Active since

1989

Affiliations

United Nations University Institute on Globalization, Culture and Mobility(Current)

United Nations

NationsUniversity

United Nations University Institute on Computing and Society

Institute of Mathematics and Informatics

Dang Van Hung is an author at United Nations University Institute on Globalization, Culture and Mobility specializing in computer science, computing, and formal methods.

ORCID

Publications per year

1989–2007

Publications

Probabilistic Duration Calculus for Continuous Time

Dang Van Hung, Zhou Chaochen · Formal Aspects of Computing · 1999 · 26 citations · Full text

Engineering, Mathematics, Probability Theory +11

Prefix and Projection onto State in Duration Calculus

Dimitar P. Guelev, Dang Van Hung · Electronic Notes in Theoretical Computer Science · 2002 · 20 citations · Full text

Computing, Computer Science, Mathematics +10

Modelling and verification of Biphase Mark Protocols in Duration Calculus using PVS

Dang Van Hung · 2002 · 16 citations

Computing, Computer Engineering, Computer Science +17

Model Checking Real-Time Component Based Systems with Blackbox Testing

Dang Van Hung, Bùi Vũ Anh · 2006 · 15 citations

Computing, Computer Science, Computer Systems +16

On checking timed automata for linear duration invariants

Vı́ctor Braberman, Dang Van Hung · 2002 · 15 citations

Computing, Computer Science, Formal Methods +16

1–5 of 9