2008 | ||
---|---|---|
46 | EE | Miaomiao Zhang, Dang Van Hung, Zhiming Liu: Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409 |
45 | EE | 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 | EE | 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 | EE | 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 | 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) |