Triggers for Reactive Synthesis Specifications

Gal Amram; Dor Ma’ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert

doi:10.18420/sw2024_08

Triggers for Reactive Synthesis Specifications

Gal Amram, Dor Ma’ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Software Engineering 2024 - Proceedings
Editors	Rick Rabiser, Manuel Wimmer, Iris Groher, Andreas Wortmann, Bianca Wiesmayr
Publisher	Gesellschaft fur Informatik (GI)
Pages	41-42
Number of pages	2
ISBN (Electronic)	9783885797371
DOIs	https://doi.org/10.18420/sw2024_08
State	Published - 1 Jan 2024
Externally published	Yes
Event	2024 Software Engineering, SE 2024 - Linz, Austria Duration: 26 Feb 2024 → 1 Mar 2024

Publication series

Name	Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
Volume	P-343
ISSN (Print)	1617-5468
ISSN (Electronic)	2944-7682

Conference

Conference	2024 Software Engineering, SE 2024
Country/Territory	Austria
City	Linz
Period	26/02/24 → 1/03/24

ASJC Scopus subject areas

Computer Science Applications

Access to Document

10.18420/sw2024_08

Cite this

Amram, G., Ma’ayan, D., Maoz, S., Pistiner, O., & Ringert, J. O. (2024). Triggers for Reactive Synthesis Specifications. In R. Rabiser, M. Wimmer, I. Groher, A. Wortmann, & B. Wiesmayr (Eds.), Software Engineering 2024 - Proceedings (pp. 41-42). (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Vol. P-343). Gesellschaft fur Informatik (GI). https://doi.org/10.18420/sw2024_08

Amram, Gal ; Ma’ayan, Dor ; Maoz, Shahar et al. / Triggers for Reactive Synthesis Specifications. Software Engineering 2024 - Proceedings. editor / Rick Rabiser ; Manuel Wimmer ; Iris Groher ; Andreas Wortmann ; Bianca Wiesmayr. Gesellschaft fur Informatik (GI), 2024. pp. 41-42 (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)).

@inproceedings{5fddf8dc164146d1884b1170ce2adfff,

title = "Triggers for Reactive Synthesis Specifications",

author = "Gal Amram and Dor Ma{\textquoteright}ayan and Shahar Maoz and Or Pistiner and Ringert, \{Jan Oliver\}",

year = "2024",

month = jan,

day = "1",

doi = "10.18420/sw2024\_08",

language = "English",

series = "Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)",

publisher = "Gesellschaft fur Informatik (GI)",

pages = "41--42",

editor = "Rick Rabiser and Manuel Wimmer and Iris Groher and Andreas Wortmann and Bianca Wiesmayr",

booktitle = "Software Engineering 2024 - Proceedings",

address = "Germany",

note = "2024 Software Engineering, SE 2024 ; Conference date: 26-02-2024 Through 01-03-2024",

}

Amram, G, Ma’ayan, D, Maoz, S, Pistiner, O & Ringert, JO 2024, Triggers for Reactive Synthesis Specifications. in R Rabiser, M Wimmer, I Groher, A Wortmann & B Wiesmayr (eds), Software Engineering 2024 - Proceedings. Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), vol. P-343, Gesellschaft fur Informatik (GI), pp. 41-42, 2024 Software Engineering, SE 2024, Linz, Austria, 26/02/24. https://doi.org/10.18420/sw2024_08

Triggers for Reactive Synthesis Specifications. / Amram, Gal; Ma’ayan, Dor; Maoz, Shahar et al.
Software Engineering 2024 - Proceedings. ed. / Rick Rabiser; Manuel Wimmer; Iris Groher; Andreas Wortmann; Bianca Wiesmayr. Gesellschaft fur Informatik (GI), 2024. p. 41-42 (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Vol. P-343).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Triggers for Reactive Synthesis Specifications

AU - Amram, Gal

AU - Ma’ayan, Dor

AU - Maoz, Shahar

AU - Pistiner, Or

AU - Ringert, Jan Oliver

PY - 2024/1/1

Y1 - 2024/1/1

UR - https://www.scopus.com/pages/publications/85217041536

U2 - 10.18420/sw2024_08

DO - 10.18420/sw2024_08

M3 - Conference contribution

AN - SCOPUS:85217041536

T3 - Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

SP - 41

EP - 42

BT - Software Engineering 2024 - Proceedings

A2 - Rabiser, Rick

A2 - Wimmer, Manuel

A2 - Groher, Iris

A2 - Wortmann, Andreas

A2 - Wiesmayr, Bianca

PB - Gesellschaft fur Informatik (GI)

T2 - 2024 Software Engineering, SE 2024

Y2 - 26 February 2024 through 1 March 2024

ER -

Amram G, Ma’ayan D, Maoz S, Pistiner O, Ringert JO. Triggers for Reactive Synthesis Specifications. In Rabiser R, Wimmer M, Groher I, Wortmann A, Wiesmayr B, editors, Software Engineering 2024 - Proceedings. Gesellschaft fur Informatik (GI). 2024. p. 41-42. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)). doi: 10.18420/sw2024_08

Triggers for Reactive Synthesis Specifications

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this