Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Reactive Synthesis in Action

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

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

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0