The SCEAS System
| |||||||

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

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |