The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dang Van Hung: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Xuandong Li, Dang Van Hung
    Checking Linear Duration Invariants by Linear Programming. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:321-332 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Chaochen Zhou, Dang Van Hung, Xiaoshan Li
    A Duration Calculus with Infinite Intervals. [Citation Graph (0, 0)][DBLP]
    FCT, 1995, pp:16-41 [Conf]
  13. 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]
  14. 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]
  15. Dang Van Hung, Phan Hong Giang
    Sampling Semantics of Duration Calculus. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:188-207 [Conf]
  16. 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]
  17. Paritosh K. Pandya, Dang Van Hung
    Duration Calculus of Weakly Monotonic Time. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:55-64 [Conf]
  18. 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]
  19. Pham Hong Thai, Dang Van Hung
    Verifying Linear Duration Constraints of Timed Automata. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:295-309 [Conf]
  20. Dang Van Hung
    A Summary of the Tutorials at ICTAC 2005. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:609-612 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]

  40. Modeling Urgency in Component-Based Real-Time Systems. [Citation Graph (, )][DBLP]


  41. Modelling with Relational Calculus of Object and Component Systems - rCOS. [Citation Graph (, )][DBLP]


  42. Verification of Linear Duration Invariants by Model Checking CTL Properties. [Citation Graph (, )][DBLP]


  43. Checking Interface Interaction Protocols Using Aspect-Oriented Programming. [Citation Graph (, )][DBLP]


  44. Towards a Template Language for Component-based Programming. [Citation Graph (, )][DBLP]


  45. On Verification of Linear Occurrence Properties of Real-Time Systems. [Citation Graph (, )][DBLP]


Search in 0.050secs, Finished in 0.054secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002