Completeness and Decidability of a Fragment of Duration Calculus with Iteration

Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science ◽

10.1007/3-540-46674-6_13 ◽

1999 ◽

pp. 139-150 ◽

Author(s):

Dang Van Hung ◽

Dimitar P. Guelev

Keyword(s):

Duration Calculus

Download Full-text

Robust Controller Synthesis for Duration Calculus

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59152-6_24 ◽

2020 ◽

pp. 429-446

Author(s):

Kalyani Dole ◽

Ashutosh Gupta ◽

Shankara Narayanan Krishna

Keyword(s):

Controller Synthesis ◽

Robust Controller ◽

Duration Calculus

Download Full-text

A Robust Interpretation of Duration Calculus

Theoretical Aspects of Computing – ICTAC 2005 - Lecture Notes in Computer Science ◽

10.1007/11560647_17 ◽

2005 ◽

pp. 257-271 ◽

Author(s):

Martin Fränzle ◽

Michael R. Hansen

Keyword(s):

Duration Calculus

Download Full-text

Semantics and completeness of Duration Calculus

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031994 ◽

1992 ◽

pp. 209-225 ◽

Author(s):

Michael R. Hansen ◽

Zhou Chaochen

Keyword(s):

Duration Calculus

Download Full-text

Duration Calculus

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_3 ◽

2004 ◽

pp. 41-65 ◽

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

Duration Calculus

Download Full-text

Towards a formal semantics of verilog using duration calculus

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/bfb0055355 ◽

1998 ◽

pp. 282-293 ◽

Author(s):

Gerardo Schneider ◽

Qiwen Xu

Keyword(s):

Formal Semantics ◽

Duration Calculus

Download Full-text

Tableau-Based Automated Deduction for Duration Calculus

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-45616-3_5 ◽

2002 ◽

pp. 53-69 ◽

Author(s):

Nathalie Chetcuti-Sperandio

Keyword(s):

Automated Deduction ◽

Duration Calculus

Download Full-text

Duration calculus specification of scheduling for tasks with shared resources

Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science ◽

10.1007/3-540-60688-2_56 ◽

1995 ◽

pp. 365-380 ◽

Author(s):

Philip Chan ◽

Dang Van Hung

Keyword(s):

Shared Resources ◽

Duration Calculus

Download Full-text

Completeness of Higher-Order Duration Calculus

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44622-2_30 ◽

2000 ◽

pp. 442-456 ◽

Author(s):

Zhan Naijun

Keyword(s):

Higher Order ◽

Duration Calculus

Download Full-text

Specifying Real-Time Systems with Z and the Duration Calculus

Z User Workshop, Cambridge 1994 - Workshops in Computing ◽

10.1007/978-1-4471-3452-7_17 ◽

1994 ◽

pp. 282-294 ◽

Author(s):

Marcin Engel

Keyword(s):

Real Time ◽

Real Time Systems ◽

Duration Calculus ◽

Download Full-text

Model-checking dense-time Duration Calculus

Formal Aspects of Computing ◽

10.1007/s00165-004-0032-y ◽

2004 ◽

Vol 16 (2) ◽

pp. 121-139 ◽

Author(s):

Martin Fränzle

Keyword(s):

Model Checking ◽

Time Duration ◽

Duration Calculus

Download Full-text