Verification of Timed Systems

2020 ◽

Author(s):

George Ungureanu ◽

Rodolfo Jordao ◽

Ingo Sander

Keyword(s):

Parallel Simulation ◽

Timed Systems ◽

Dataflow Models

Download Full-text

A Symbolic Decision Procedure for Robust Safety of Timed Systems

14th International Symposium on Temporal Representation and Reasoning (TIME'07) ◽

10.1109/time.2007.39 ◽

2007 ◽

Cited By ~ 6

Author(s):

Mani Swaminathan ◽

Martin Franzle

Keyword(s):

Decision Procedure ◽

Timed Systems

Download Full-text

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams1 1This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80671-6 ◽

2001 ◽

Vol 23 (2) ◽

pp. 88-107 ◽

Cited By ~ 5

Author(s):

Jesper Møller ◽

Jakob Lichtenberg ◽

Henrik R. Andersen ◽

Henrik Hulgaard

Keyword(s):

Information Technology ◽

Model Checking ◽

Research Council ◽

Symbolic Model Checking ◽

Timed Systems ◽

Symbolic Model ◽

Technical Research ◽

Technical University

Download Full-text

Timed Systems 1: tock-CSP

Texts in Computer Science - Understanding Concurrent Systems ◽

10.1007/978-1-84882-258-0_14 ◽

2010 ◽

pp. 321-343

Author(s):

A. W. Roscoe

Keyword(s):

Timed Systems

Download Full-text

The Unmet Challenge of Timed Systems

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_12 ◽

2014 ◽

pp. 177-192 ◽

Cited By ~ 2

Author(s):

Oded Maler

Keyword(s):

Timed Systems

Download Full-text

Passive Testing of Timed Systems with Timeouts

2012 12th International Conference on Quality Software ◽

10.1109/qsic.2012.40 ◽

2012 ◽

Author(s):

Mercedes G. Merayo

Keyword(s):

Timed Systems ◽

Passive Testing

Download Full-text

Formal Modeling and Analysis of Timed Systems

10.1007/11867340 ◽

2006 ◽

Keyword(s):

Formal Modeling ◽

Timed Systems ◽

Modeling And Analysis

Download Full-text

Synchronous Closing and Flow Analysis for Model Checking Timed Systems

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30101-1_14 ◽

2004 ◽

pp. 292-313 ◽

Cited By ~ 1

Author(s):

Natalia Ioustinova ◽

Natalia Sidorova ◽

Martin Steffen

Keyword(s):

Model Checking ◽

Flow Analysis ◽

Timed Systems

Download Full-text

Temporal Specifications of Self-Timed Systems

VLSI Systems and Computations ◽

10.1007/978-3-642-68402-9_23 ◽

1981 ◽

pp. 203-212 ◽

Cited By ~ 14

Author(s):

Yonatan Malachi ◽

Susan S. Owicki

Keyword(s):

Timed Systems ◽

Temporal Specifications

Download Full-text

Quantifying Similarities Between Timed Systems

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_18 ◽

2005 ◽

pp. 226-241 ◽

Cited By ~ 30

Author(s):

Thomas A. Henzinger ◽

Rupak Majumdar ◽

Vinayak S. Prabhu

Keyword(s):

Timed Systems

Download Full-text

Verification of Timed Systems

Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems

A Symbolic Decision Procedure for Robust Safety of Timed Systems

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams1 1This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.

Timed Systems 1: tock-CSP

The Unmet Challenge of Timed Systems

Passive Testing of Timed Systems with Timeouts

Formal Modeling and Analysis of Timed Systems

Synchronous Closing and Flow Analysis for Model Checking Timed Systems

Temporal Specifications of Self-Timed Systems

Quantifying Similarities Between Timed Systems

Export Citation Format