DeepSTL - From English Requirements to Signal Temporal Logic

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022
Pages	610-622
Number of pages	13
DOIs	https://doi.org/10.1145/3510003
Publication status	Published - 2022
Event	ICSE'22 - Duration: 25 May 2022 → 27 May 2022

Conference	ICSE'22
Period	25/05/22 → 27/05/22

Research Field

@inproceedings{ecbfb60d74734272a7292d7fcbe13d6a,

title = "DeepSTL - From English Requirements to Signal Temporal Logic",

author = "Jie He and Ezio Bartocci and Dejan Nickovic and Haris Isakovic and Radu Grosu",

year = "2022",

doi = "10.1145/3510003",

language = "English",

isbn = "978-1-4503-9221-1",

pages = "610--622",

booktitle = "44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022",

note = "ICSE'22 ; Conference date: 25-05-2022 Through 27-05-2022",

}

DeepSTL - From English Requirements to Signal Temporal Logic. / He, Jie; Bartocci, Ezio; Nickovic, Dejan (Speaker) et al.
44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. 2022. p. 610-622.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

TY - GEN

T1 - DeepSTL - From English Requirements to Signal Temporal Logic

AU - He, Jie

AU - Bartocci, Ezio

AU - Isakovic, Haris

AU - Grosu, Radu

A2 - Nickovic, Dejan

PY - 2022

Y1 - 2022

U2 - 10.1145/3510003

DO - 10.1145/3510003

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-4503-9221-1

SP - 610

EP - 622

BT - 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022

T2 - ICSE'22

Y2 - 25 May 2022 through 27 May 2022

ER -