Synthesis of coordination programs from linear temporal specifications

Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa'ar

doi:10.1145/3371122

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

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

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 ◽

Cited By ~ 1

Author(s):

Stijn Heymans ◽

Davy Van Nieuwenborgh ◽

Dirk Vermeir

Keyword(s):

Answer Set Programming ◽

Temporal Specifications ◽

Answer Set

Download Full-text

Synthesis of Asynchronous Reactive Programs from Temporal Specifications

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_20 ◽

2018 ◽

pp. 367-385 ◽

Cited By ~ 2

Author(s):

Suguman Bansal ◽

Kedar S. Namjoshi ◽

Yaniv Sa’ar

Keyword(s):

Temporal Specifications ◽

Reactive Programs

Download Full-text

Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development

Mathematical Foundations of Computer Science 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40313-2_6 ◽

2013 ◽

pp. 45-49

Author(s):

Nir Piterman

Keyword(s):

Model Driven Development ◽

Model Driven ◽

Temporal Specifications ◽

New Applications

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

Temporal specifications of object behavior

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_22 ◽

1991 ◽

pp. 308-324 ◽

Cited By ~ 1

Author(s):

Constantin Arapis

Keyword(s):

Temporal Specifications ◽

Object Behavior

Download Full-text

Temporal Specifications Directed by Grammar and Design of Process Networks

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_20 ◽

1990 ◽

pp. 410-427

Author(s):

Francois D. Carrez ◽

Dominique Mery

Keyword(s):

Process Networks ◽

Temporal Specifications

Download Full-text

Control Improvisation with Probabilistic Temporal Specifications

2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI) ◽

10.1109/iotdi.2015.33 ◽

2016 ◽

Cited By ~ 2

Author(s):

Ilge Akkaya ◽

Daniel J. Fremont ◽

Rafael Valle ◽

Alexandre Donze ◽

Edward A. Lee ◽

...

Keyword(s):

Temporal Specifications

Download Full-text

Debugging temporal specifications with concept analysis

Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 ◽

10.1145/781131.781152 ◽

2003 ◽

Cited By ~ 40

Author(s):

Glenn Ammons ◽

David Mandelin ◽

Rastislav Bodík ◽

James R. Larus

Keyword(s):

Concept Analysis ◽

Temporal Specifications

Download Full-text