Using Reactive Synthesis: An End-to-End Exploratory Case Study
(öffnet in neuem Fenster)
Autoren:
Dor Ma'ayan; Shahar Maoz
Veröffentlicht in:
ICSE, 2023, ISSN 2832-7632
Herausgeber:
IEEE
DOI:
10.1109/icse48619.2023.00071
Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration
(öffnet in neuem Fenster)
Autoren:
Dor Ma'ayan; Shahar Maoz; Roey Rosy
Veröffentlicht in:
MODELS, 2022
Herausgeber:
ACM
DOI:
10.1145/3550355.3552425
Triggers for Reactive Synthesis Specifications
(öffnet in neuem Fenster)
Autoren:
Gal Amram; Dor Ma'ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Veröffentlicht in:
ICSE, 2023
Herausgeber:
IEEE
DOI:
10.1109/ICSE48619.2023.00070
Anti-Patterns (Smells) in Temporal Specifications
(öffnet in neuem Fenster)
Autoren:
Dor Ma'ayan; Shahar Maoz; Jan Oliver Ringert
Veröffentlicht in:
ICSE, 2023, ISSN 2832-7632
Herausgeber:
IEEE
DOI:
10.1109/ICSE-NIER58687.2023.00009
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Autoren:
Ariel Gorenstein; Shahar Maoz; Jan Oliver Ringert
Veröffentlicht in:
ICSE, 2024
Herausgeber:
IEEE
Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?
(öffnet in neuem Fenster)
Autoren:
Rafi Shalom; Shahar Maoz
Veröffentlicht in:
ICSE, 2023
Herausgeber:
IEEE
DOI:
10.1109/ICSE48619.2023.00030
