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