Temporal Specifications of Self-Timed Systems

VLSI Systems and Computations ◽

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

1981 ◽

pp. 203-212 ◽

Author(s):

Yonatan Malachi ◽

Susan S. Owicki

Keyword(s):

Timed Systems ◽

Temporal Specifications

Download Full-text

Session details: Timed systems and temporal specifications

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/3260897 ◽

2014 ◽

Author(s):

Calin Belta

Keyword(s):

Timed Systems ◽

Temporal Specifications

Download Full-text

Interactive synthesis of temporal specifications from examples and natural language

Proceedings of the ACM on Programming Languages ◽

10.1145/3428269 ◽

2020 ◽

Vol 4 (OOPSLA) ◽

pp. 1-26

Author(s):

Ivan Gavran ◽

Eva Darulova ◽

Rupak Majumdar

Keyword(s):

Natural Language ◽

Temporal Specifications

Download Full-text

Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232931 ◽

2020 ◽

Author(s):

George Ungureanu ◽

Rodolfo Jordao ◽

Ingo Sander

Keyword(s):

Parallel Simulation ◽

Timed Systems ◽

Dataflow Models

Download Full-text

Synthesis of coordination programs from linear temporal specifications

Proceedings of the ACM on Programming Languages ◽

10.1145/3371122 ◽

2020 ◽

Vol 4 (POPL) ◽

pp. 1-27

Author(s):

Suguman Bansal ◽

Kedar S. Namjoshi ◽

Yaniv Sa'ar

Keyword(s):

Temporal Specifications

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 ◽

Author(s):

Mani Swaminathan ◽

Martin Franzle

Keyword(s):

Decision Procedure ◽

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 ◽

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

Download Full-text

Automatic Inference and Effective Application of Temporal Specifications

Mining Software Specifications - Chapman & Hall/CRC Data Mining and Knowledge Discovery Series ◽

10.1201/b10928-9 ◽

2011 ◽

pp. 241-307

Author(s):

Jinlin Yang ◽

David Evans

Keyword(s):

Effective Application ◽

Automatic Inference ◽

Temporal Specifications

Download Full-text

Synthesis from Temporal Specifications Using Preferred Answer Set Programming

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/11560586_23 ◽

2005 ◽

pp. 280-294 ◽

Author(s):

Stijn Heymans ◽

Davy Van Nieuwenborgh ◽

Dirk Vermeir

Keyword(s):

Answer Set Programming ◽

Temporal Specifications ◽

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 ◽

Author(s):

Oded Maler

Keyword(s):

Download Full-text