Dang Van Hung

2007
42	EE	Michael R. Hansen, Dang Van Hung: A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus 2007: 119-176
41	EE	Dang Van Hung: Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. Formal Methods and Hybrid Real-Time Systems 2007: 170-187
40	EE	Dang Van Hung, Miaomiao Zhang: On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. RTCSA 2007: 165-172
39		Dang Van Hung, Pham Hong Thai: Towards a Template Language for Component-based Programming. Software Engineering Research and Practice 2007: 326-332
38	EE	Hung Ledang, Dang Van Hung: Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. TASE 2007: 293-304
2006
37	EE	Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa: Modeling Urgency in Component-Based Real-Time Systems. ASIAN 2006: 248-255
36	EE	Miaomiao Zhang, Dang Van Hung: Formal Analysis of Streaming Downloading Protocol for System Upgrading. Electr. Notes Theor. Comput. Sci. 164(3): 205-224 (2006)
2005
35		Dang Van Hung, Martin Wirsing: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings Springer 2005
34	EE	Dang Van Hung: A Summary of the Tutorials at ICTAC 2005. ICTAC 2005: 609-612
33	EE	Dang Van Hung, Bui Vu Anh: Model Checking Real-Time Component Based Systems with Blackbox Testing. RTCSA 2005: 76-79
32	EE	Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi: Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Asp. Comput. 17(4): 443-460 (2005)
31	EE	Dimitar P. Guelev, Dang Van Hung: On the completeness and decidability of duration calculus with iteration. Theor. Comput. Sci. 337(1-3): 278-304 (2005)
2004
30		Dang Van Hung, Ho Van Huong: Modelling Real-time Database Systems in Duration Calculus. Databases and Applications 2004: 37-42
29	EE	Pham Hong Thai, Dang Van Hung: Verifying Linear Duration Constraints of Timed Automata. ICTAC 2004: 295-309
28	EE	Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi: An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381
27		Dimitar P. Guelev, Dang Van Hung: A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. Journal of Applied Non-Classical Logics 14(1-2): 149-180 (2004)
2003
26		Siba K. Udgata, Dang Van Hung: A Formal Model for Dynamic Channel Allocation as a Mutual Exclusion Concept in a Distributed Mobile Computing System. PDPTA 2003: 1464-1468
2002
25	EE	Dang Van Hung: Real-Time Systems Development with Duration Calculi: An Overview. 10th Anniversary Colloquium of UNU/IIST 2002: 81-96
24	EE	Kim Yong Chun, Dang Van Hung: Specification and Verification of Spatial Data Types with B-Toolkit. COMPSAC 2002: 711-716
23	EE	Dimitar P. Guelev, Dang Van Hung: Prefix and Projection onto State in Duration Calculus. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
22	EE	Yong Li, Dang Van Hung: Checking Temporal Duration Properties of Timed Automata. J. Comput. Sci. Technol. 17(6): 689-698 (2002)
2001
21	EE	François Siewe, Dang Van Hung: Deriving Real-Time Programs from Duration Calculus Specifications. CHARME 2001: 92-97
20	EE	Hong Ki Thae, Dang Van Hung: A Case Study on Formal Design of Hybrid Control Systems. COMPSAC 2001: 423-428
2000
19	EE	Jianhua Zhao, Dang Van Hung: Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. 15(5): 423-429 (2000)
1999
18	EE	Ekaterina Pavlova, Dang Van Hung: A Formal Specification of the Concurrency Control in Real-Time Databases. APSEC 1999: 94-101
17	EE	Dang Van Hung, Dimitar P. Guelev: Completeness and Decidability of a Fragment of Duration Calculus with Iteration. ASIAN 1999: 139-150
16	EE	Dang Van Hung, Zhou Chaochen: Probabilistic Duration Calculus for Continuous Time. Formal Asp. Comput. 11(1): 21-44 (1999)
1998
15	EE	Dang Van Hung: Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS. ACSD 1998: 88-98
14	EE	Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya: Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT 1998: 186-197
13	EE	Jianhua Zhao, Dang Van Hung: On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT 1998: 241-250
12	EE	Paritosh K. Pandya, Dang Van Hung: Duration Calculus of Weakly Monotonic Time. FTRTFT 1998: 55-64
11	EE	Víctor A. Braberman, Dang Van Hung: On Checking Timed Automata for Linear Duration Invariants. IEEE Real-Time Systems Symposium 1998: 264-273
1997
10		Xuandong Li, Dang Van Hung, Tao Zheng: Checking Hybrid Automata for Linear Duration Invariants. ASIAN 1997: 166-180
1996
9	EE	Dang Van Hung, Ko Kwang Il: Verification via Digitized Models of Real-Time Hybrid Systems. APSEC 1996: 4-15
8		Xuandong Li, Dang Van Hung: Checking Linear Duration Invariants by Linear Programming. ASIAN 1996: 321-332
7		Dang Van Hung, Wang Ji: On the Design of Hybrid Control Systems Using Automata Models. FSTTCS 1996: 156-167
6		Dang Van Hung, Phan Hong Giang: Sampling Semantics of Duration Calculus. FTRTFT 1996: 188-207
1995
5		Philip Chan, Dang Van Hung: Duration Calculus Specification of Schedulimg for Tasks with Shared Resources. ASIAN 1995: 365-380
4		Chaochen Zhou, Dang Van Hung, Xiaoshan Li: A Duration Calculus with Infinite Intervals. FCT 1995: 16-41
1993
3		Dang Van Hung, Tran Van Dung: On the Relation Between Firing Sequences and Processes of Petri Nets. FCT 1993: 309-318
1989
2		Dang Van Hung, Elöd Knuth: Semi-Commutations and Petri Nets. Theor. Comput. Sci. 64(1): 67-81 (1989)
1988
1		Dang Van Hung, Elöd Knuth: A nouinterleaving semantics for communicating sequential processes: a fixed-point approach. Acta Cybern. 8: 293-314 (1988)

Coauthor Index

1	Bui Vu Anh	[33]
2	Víctor A. Braberman	[11]
3	Philip Chan	[5]
4	Kim Yong Chun	[24]
5	Tran Van Dung	[3]
6	Phan Hong Giang	[6]
7	Dimitar P. Guelev	[17] [23] [27] [31]
8	Michael R. Hansen	[42]
9	Jifeng He	[28] [32]
10	Ho Van Huong	[30]
11	Ko Kwang Il	[9]
12	Wang Ji	[7]
13	Elöd Knuth	[1] [2]
14	Hung Ledang	[38]
15	Xiaoshan Li	[4]
16	Xuandong Li	[8] [10]
17	Yong Li	[22]
18	Mizuhito Ogawa	[37]
19	Paritosh K. Pandya	[12] [14]
20	Ekaterina Pavlova	[18]
21	Geguang Pu	[28] [32]
22	Zongyan Qiu	[32]
23	Manoranjan Satpathy	[14]
24	François Siewe	[21]
25	Nguyen Van Tang	[37]
26	Hong Ki Thae	[20]
27	Pham Hong Thai	[29] [39]
28	Siba K. Udgata	[26]
29	Martin Wirsing	[35]
30	Wang Yi	[28] [32]
31	Miaomiao Zhang	[36] [40]
32	Jianhua Zhao	[13] [19]
33	Tao Zheng	[10]
34	Chaochen Zhou (Zhou Chaochen)	[4] [16]

Colors in the list of coauthors