dblp.uni-trier.dewww.uni-trier.de

Dang Van Hung

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
46EEMiaomiao Zhang, Dang Van Hung, Zhiming Liu: Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409
45EEAnh-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
44EEChoe Changil, Dang Van Hung: On Verification of Linear Occurrence Properties of Real-Time Systems. Electr. Notes Theor. Comput. Sci. 207: 107-120 (2008)
2007
43EEZhenbang 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
42EEMichael R. Hansen, Dang Van Hung: A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus 2007: 119-176
41EEDang Van Hung: Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. Formal Methods and Hybrid Real-Time Systems 2007: 170-187
40EEDang 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
38EEHung Ledang, Dang Van Hung: Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. TASE 2007: 293-304
2006
37EENguyen Van Tang, Dang Van Hung, Mizuhito Ogawa: Modeling Urgency in Component-Based Real-Time Systems. ASIAN 2006: 248-255
36EEMiaomiao 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
34EEDang Van Hung: A Summary of the Tutorials at ICTAC 2005. ICTAC 2005: 609-612
33EEDang Van Hung, Bui Vu Anh: Model Checking Real-Time Component Based Systems with Blackbox Testing. RTCSA 2005: 76-79
32EEJifeng 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)
31EEDimitar 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
29EEPham Hong Thai, Dang Van Hung: Verifying Linear Duration Constraints of Timed Automata. ICTAC 2004: 295-309
28EEGeguang 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
25EEDang Van Hung: Real-Time Systems Development with Duration Calculi: An Overview. 10th Anniversary Colloquium of UNU/IIST 2002: 81-96
24EEKim Yong Chun, Dang Van Hung: Specification and Verification of Spatial Data Types with B-Toolkit. COMPSAC 2002: 711-716
23EEDimitar P. Guelev, Dang Van Hung: Prefix and Projection onto State in Duration Calculus. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
22EEYong Li, Dang Van Hung: Checking Temporal Duration Properties of Timed Automata. J. Comput. Sci. Technol. 17(6): 689-698 (2002)
2001
21EEFrançois Siewe, Dang Van Hung: Deriving Real-Time Programs from Duration Calculus Specifications. CHARME 2001: 92-97
20EEHong Ki Thae, Dang Van Hung: A Case Study on Formal Design of Hybrid Control Systems. COMPSAC 2001: 423-428
2000
19EEJianhua Zhao, Dang Van Hung: Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. 15(5): 423-429 (2000)
1999
18EEEkaterina Pavlova, Dang Van Hung: A Formal Specification of the Concurrency Control in Real-Time Databases. APSEC 1999: 94-101
17EEDang Van Hung, Dimitar P. Guelev: Completeness and Decidability of a Fragment of Duration Calculus with Iteration. ASIAN 1999: 139-150
16EEDang Van Hung, Zhou Chaochen: Probabilistic Duration Calculus for Continuous Time. Formal Asp. Comput. 11(1): 21-44 (1999)
1998
15EEDang Van Hung: Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS. ACSD 1998: 88-98
14EEManoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya: Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT 1998: 186-197
13EEJianhua Zhao, Dang Van Hung: On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT 1998: 241-250
12EEParitosh K. Pandya, Dang Van Hung: Duration Calculus of Weakly Monotonic Time. FTRTFT 1998: 55-64
11EEVí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
9EEDang 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

1Bui Vu Anh [33]
2Víctor A. Braberman [11]
3Philip Chan [5]
4Choe Changil [44]
5Zhenbang Chen [43]
6Kim Yong Chun [24]
7Tran Van Dung [3]
8Phan Hong Giang [6]
9Dimitar P. Guelev [17] [23] [27] [31]
10Abdel Hakim Hannousse [43]
11Michael R. Hansen [42]
12Jifeng He [28] [32]
13Pham Dinh Hung [45]
14Ho Van Huong [30]
15Ko Kwang Il [9]
16Wang Ji [7]
17Istvan Knoll [43]
18Elöd Knuth [1] [2]
19Hung Ledang [38]
20Xiaoshan Li [4] [43]
21Xuandong Li [8] [10]
22Yong Li [22]
23Yang Liu [43]
24Zhiming Liu [43] [46]
25Qu Nan [43]
26Viet-Ha Nguyen [45]
27Mizuhito Ogawa [37]
28Joseph C. Okika [43]
29Paritosh K. Pandya [12] [14]
30Ekaterina Pavlova [18]
31Geguang Pu [28] [32]
32Zongyan Qiu [32]
33Anders P. Ravn [43]
34Manoranjan Satpathy [14]
35François Siewe [21]
36Volker Stolz [43]
37Nguyen Van Tang [37]
38Hong Ki Thae [20]
39Pham Hong Thai [29] [39]
40Nguyen Thi Thu Trang [45]
41Thanh-Binh Trinh [45]
42Anh-Hoang Truong [45]
43Siba K. Udgata [26]
44Martin Wirsing [35]
45Lu Yang [43]
46Wang Yi [28] [32]
47Naijun Zhan [43]
48Miaomiao Zhang [36] [40] [46]
49Jianhua Zhao [13] [19]
50Tao Zheng [10]
51Chaochen Zhou (Zhou Chaochen) [4] [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)