#### Filter Results:

- Full text PDF available (60)

#### Publication Year

1988

2016

- This year (0)
- Last 5 years (5)
- Last 10 years (15)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Xuandong Li, Dang Van Hung
- ASIAN
- 1996

In this paper, the problem of verifying a timed automaton for a Duration Calculus formula in the form of linear duration invariants 2] is addressed. We show that by linear programming, a particularâ€¦ (More)

- VÃctor A. Braberman, Dang Van Hung
- RTSS
- 1998

In this work, we address the problem of verifying a Timed Automaton for a real-time property written in Duration Calculus in the form of Linear Duration Invariants. We present a conservative methodâ€¦ (More)

- Xuandong Li, Dang Van Hung, Tao Zheng
- ASIAN
- 1997

In this paper, we consider the problem of checking hybrid systems modelled by hybrid automata for a class of real-time properties represented by linear duration invariants, which are constructed fromâ€¦ (More)

- Dimitar P. Guelev, Dang Van Hung
- Electr. Notes Theor. Comput. Sci.
- 2002

In this paper we study a new operator of projection onto state and the prefix operator in the extension of DC by quantifiers over state and a polyadic least fixed point operator. We giveâ€¦ (More)

- Chaochen Zhou, Dang Van Hung, Xiaoshan Li
- FCT
- 1995

This paper introduces infinite intervals into the Duration Calculus [32]. The extended calculus defines a state duration over an infinite interval by a property which specifies the limit of the stateâ€¦ (More)

- A.L. Brandao, John Sydor, William Brett, John Scott, Paul Joe, Dang Van Hung
- 2005 IEEE 61st Vehicular Technology Conference
- 2005

This paper examines the effects of wireless access systems on meteorological radars operating in the band 5600-5650 MHz. It analyses data collected during field experiments involving IEEE 802.11aâ€¦ (More)

- Dang Van Hung, Miaomiao Zhang
- 13th IEEE International Conference on Embeddedâ€¦
- 2007

In this paper, we introduce an extension of Duration Calculus called Simple Probabilistic Duration Calculus (SPDC) to express dependability requirements for real-time systems, and address the problemâ€¦ (More)

- FranÃ§ois Siewe, Dang Van Hung
- CHARME
- 2001

In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach is to modelâ€¦ (More)

- Paritosh K. Pandya, Dang Van Hung
- FTRTFT
- 1998

We extend Duration Calculus to a logic which allows description of Discrete Processes where several steps of computation can occur at the same time point. The resulting logic is called Durationâ€¦ (More)

- Pham Hong Thai, Dang Van Hung
- ICTAC
- 2004

This report aims at developing a technique for checking if a timed automaton satisfies a linear duration constraint on the automaton states. The constraints are represented in the form of linearâ€¦ (More)