Dang Van Hung

	2008
46		Miaomiao Zhang, Dang Van Hung, Zhiming Liu: Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409
45		Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet-Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung: Checking Interface Interaction Protocols Using Aspect-Oriented Programming. SEFM 2008: 382-386
44		Choe Changil, Dang Van Hung: On Verification of Linear Occurrence Properties of Real-Time Systems. Electr. Notes Theor. Comput. Sci. 207: 107-120 (2008)
	2007
43		Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan: Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145
42		Michael R. Hansen, Dang Van Hung: A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus 2007: 119-176
41		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		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		Hung Ledang, Dang Van Hung: Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. TASE 2007: 293-304
	2006
37		Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa: Modeling Urgency in Component-Based Real-Time Systems. ASIAN 2006: 248-255
36		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		Dang Van Hung: A Summary of the Tutorials at ICTAC 2005. ICTAC 2005: 609-612
33		Dang Van Hung, Bui Vu Anh: Model Checking Real-Time Component Based Systems with Blackbox Testing. RTCSA 2005: 76-79
32		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		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		Pham Hong Thai, Dang Van Hung: Verifying Linear Duration Constraints of Timed Automata. ICTAC 2004: 295-309
28		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		Dang Van Hung: Real-Time Systems Development with Duration Calculi: An Overview. 10th Anniversary Colloquium of UNU/IIST 2002: 81-96
24		Kim Yong Chun, Dang Van Hung: Specification and Verification of Spatial Data Types with B-Toolkit. COMPSAC 2002: 711-716
23		Dimitar P. Guelev, Dang Van Hung: Prefix and Projection onto State in Duration Calculus. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
22		Yong Li, Dang Van Hung: Checking Temporal Duration Properties of Timed Automata. J. Comput. Sci. Technol. 17(6): 689-698 (2002)
	2001
21		François Siewe, Dang Van Hung: Deriving Real-Time Programs from Duration Calculus Specifications. CHARME 2001: 92-97
20		Hong Ki Thae, Dang Van Hung: A Case Study on Formal Design of Hybrid Control Systems. COMPSAC 2001: 423-428
	2000
19		Jianhua Zhao, Dang Van Hung: Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. 15(5): 423-429 (2000)
	1999
18		Ekaterina Pavlova, Dang Van Hung: A Formal Specification of the Concurrency Control in Real-Time Databases. APSEC 1999: 94-101
17		Dang Van Hung, Dimitar P. Guelev: Completeness and Decidability of a Fragment of Duration Calculus with Iteration. ASIAN 1999: 139-150
16		Dang Van Hung, Zhou Chaochen: Probabilistic Duration Calculus for Continuous Time. Formal Asp. Comput. 11(1): 21-44 (1999)
	1998
15		Dang Van Hung: Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS. ACSD 1998: 88-98
14		Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya: Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT 1998: 186-197
13		Jianhua Zhao, Dang Van Hung: On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT 1998: 241-250
12		Paritosh K. Pandya, Dang Van Hung: Duration Calculus of Weakly Monotonic Time. FTRTFT 1998: 55-64
11		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		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	Choe Changil	[44]
5	Zhenbang Chen	[43]
6	Kim Yong Chun	[24]
7	Tran Van Dung	[3]
8	Phan Hong Giang	[6]
9	Dimitar P. Guelev	[17] [23] [27] [31]
10	Abdel Hakim Hannousse	[43]
11	Michael R. Hansen	[42]
12	Jifeng He	[28] [32]
13	Pham Dinh Hung	[45]
14	Ho Van Huong	[30]
15	Ko Kwang Il	[9]
16	Wang Ji	[7]
17	Istvan Knoll	[43]
18	Elöd Knuth	[1] [2]
19	Hung Ledang	[38]
20	Xiaoshan Li	[4] [43]
21	Xuandong Li	[8] [10]
22	Yong Li	[22]
23	Yang Liu	[43]
24	Zhiming Liu	[43] [46]
25	Qu Nan	[43]
26	Viet-Ha Nguyen	[45]
27	Mizuhito Ogawa	[37]
28	Joseph C. Okika	[43]
29	Paritosh K. Pandya	[12] [14]
30	Ekaterina Pavlova	[18]
31	Geguang Pu	[28] [32]
32	Zongyan Qiu	[32]
33	Anders P. Ravn	[43]
34	Manoranjan Satpathy	[14]
35	François Siewe	[21]
36	Volker Stolz	[43]
37	Nguyen Van Tang	[37]
38	Hong Ki Thae	[20]
39	Pham Hong Thai	[29] [39]
40	Nguyen Thi Thu Trang	[45]
41	Thanh-Binh Trinh	[45]
42	Anh-Hoang Truong	[45]
43	Siba K. Udgata	[26]
44	Martin Wirsing	[35]
45	Lu Yang	[43]
46	Wang Yi	[28] [32]
47	Naijun Zhan	[43]
48	Miaomiao Zhang	[36] [40] [46]
49	Jianhua Zhao	[13] [19]
50	Tao Zheng	[10]
51	Chaochen Zhou (Zhou Chaochen)	[4] [16]

Colors in the list of coauthors