#### Filter Results:

- Full text PDF available (70)

#### Publication Year

1988

2016

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

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Dang Van Hung, Monet Stevenson, Rebecca Ivers
- Injury prevention : journal of the Internationalâ€¦
- 2006

OBJECTIVES
To investigate the rate of helmet use among motorcycle drivers in Hai Duong province of Vietnam during winter/spring 2005, and to compare the rates of helmet use by road types.
METHODâ€¦ (More)

- Dang Van Hung, Chaochen Zhou
- Formal Aspects of Computing
- 1999

This paper deals with dependability of imperfect implementations concerning given requirements. The requirements are assumed to be written as formulas in Duration Calculus. Implementations areâ€¦ (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)

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

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

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

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

- Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung
- 2008 Sixth IEEE International Conference onâ€¦
- 2008

We propose an approach based on aspect-oriented programming to specify and to verify interaction protocols in the component interfaces of Java programs. First, based on method patterns of AspectJ weâ€¦ (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)