DeepSTL - From English Requirements to Signal Temporal Logic

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022
Seiten	610-622
Seitenumfang	13
DOIs	https://doi.org/10.1145/3510003
Publikationsstatus	Veröffentlicht - 2022
Veranstaltung	ICSE'22 - Dauer: 25 Mai 2022 → 27 Mai 2022

Konferenz	ICSE'22
Zeitraum	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",

}

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 -