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) |