Dang Van Hung - Concepedia

Author

Dang Van Hung

United Nations University Institute on Globalization, Culture and Mobility ORCID

Also Known As

ATVA 2020 Online, D. van Hung, Dang Hung, Dang Phuoc Vinh Hung, Dang The Hung, Dang Van Hung, Dang Van Hung 1950-, ICDCIT 2020 Bhubaneswar, Kapur, Deepak, Van Hung, Dang

Publications

564

Citations

H-Index

Concepts

All Affiliations

United Nations University Institute on Globalization, Culture and Mobility United Nations NationsUniversity United Nations University Institute on Computing and Society Institute of Mathematics and Informatics

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	88
2	Computer Science	7	7	88
3	Systems Engineering	5	5	66
4	Computer Engineering	3	3	40
5	Distributed Systems	1	1	10

Dang Van Hung

Publications

151

Citations

H-Index

Page 1

	Year	Citations
Probabilistic Duration Calculus for Continuous Time Dang Van Hung, Zhou Chaochen Formal Aspects of Computing	1999	25
Prefix and Projection onto State in Duration Calculus Dimitar P. Guelev, Dang Van Hung Electronic Notes in Theoretical Computer Science Extension μHdcPrefix OperatorDomain TheorySubstructural LogicNew Operator	2002	20
Security-Reliability Analysis of Multi-hop LEACH Protocol with Fountain Codes and Cooperative Jamming Dang Van Hung, Tran Trung Duy, Do Quoc Trinh EAI Endorsed Transactions on Industrial Networks and Intelligent Systems	2019	18
Model Checking Real-Time Component Based Systems with Blackbox Testing Dang Van Hung, Bùi Vũ Anh EngineeringReal-time System DesignVerificationModel CheckingSoftware Analysis	2006	15
Modelling and verification of Biphase Mark Protocols in Duration Calculus using PVS Dang Van Hung Hardware SecurityTime-sensitive NetworkingEngineeringNetwork Communication ProtocolMechanical Verification	2002	15
On checking timed automata for linear duration invariants Vı́ctor Braberman, Dang Van Hung Logical AutomatonEngineeringFormal TechniqueAutomated ReasoningProgram Analysis	2002	15
Semi-commutations and Petri nets Dang Van Hung, Elöd Knuth Theoretical Computer Science Petri NetTopological SemigroupsEngineeringAutomated ReasoningFormal Methods	1989	11
On the completeness and decidability of duration calculus with iteration Dimitar P. Guelev, Dang Van Hung Theoretical Computer Science EngineeringReachability ProblemFormal MethodsDuration CalculusComputational Complexity	2005	11
On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties Dang Van Hung, Miaomiao Zhang EngineeringReachability ProblemVerificationProbabilistic Timed AutomataModel Checking	2007	11
Verification via digitized models of real-time hybrid systems Dang Van Hung, Ko Kwang Il EngineeringReal-time System DesignVerificationComputer-aided VerificationModel Checking	2002	10

Page 1