Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2010

Highly Cited

2010

Hybrid Communicating Sequential Processes (HCSP) is an extension of CSP allowing continuous dynamics. We are interested in… Expand

Is this relevant?

2008

2008

Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into… Expand

Is this relevant?

Highly Cited

2007

Highly Cited

2007

In this paper we present HySAT, a bounded model checker for linear hybrid systems, incorporating a tight integration of a DPLL… Expand

Is this relevant?

Highly Cited

2005

Highly Cited

2005

The Duration Calculus (abbreviated DC) represents a logical approach for formal design of real-time systems, where real numbers… Expand

Is this relevant?

2005

2005

We present a trajectory-based model for describing hybrid systems. For this we use left quantales and left semirings, thus… Expand

Is this relevant?

1996

1996

Duration Calculus, as introduced in [ZHR91], is a logic for reasoning about requirements for real-time systems at a high level of… Expand

Is this relevant?

Highly Cited

1995

Highly Cited

1995

This paper introduces infinite intervals into the Duration Calculus [33]. The extended calculus defines a state duration over an… Expand

Is this relevant?

Highly Cited

1994

Highly Cited

1994

The Duration Calculus (DC) is an interval temporal logic for reasoning about real-time systems. This paper describes a tool for… Expand

Is this relevant?

Highly Cited

1992

Highly Cited

1992

Duration Calculus is a real-time interval logic which can be used to specify and reason about timing and logical constraints on… Expand

Is this relevant?

Highly Cited

1991

Highly Cited

1991

Duration Calculus was introduced in [1] as a notation to specify real-time systems, and as a calculus to verify theorems about… Expand

Is this relevant?