Shahar Maoz

Available identifiers

Publication	Date of Publication	Type
Artifact for TACAS'25 paper: Performance Heuristics for GR(1) Realizability Checking and Related Analyses	2025-01-26	Dataset
Artifact for FM'24 paper: Fast Attack Graph Defense Localization via Bisimulation	2024-06-30	Dataset
Fast Attack Graph Defense Localization via Bisimulation	2024-06-24	Dataset
GR(1)*: GR(1) specifications extended with existential guarantees	2024-03-14	Paper
Efficient Algorithms for Omega-Regular Energy Games	2023-04-21	Paper
Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications	2023-01-25	Dataset
Artifact for ICSE'23 paper: Using Reactive Synthesis: An End-to-End Exploratory Case Study	2023-01-24	Dataset
Artifact for ICSE'23 paper: Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?	2023-01-12	Dataset
GR(1)*: GR(1) specifications extended with existential guarantees	2021-09-14	Paper
Performance heuristics for GR(1) synthesis and related algorithms	2020-03-06	Paper
Lattice-Based Semantics for Combinatorial Model Evolution	2016-01-08	Paper
On the Power of Play-Out for Scenario-Based Programs	2010-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5190780	2009-07-27	Paper
Some Results on the Expressive Power and Complexity of LSCs	2008-03-25	Paper
An infinite hierarchy of temporal logics over branching time	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536399	2002-11-04	Paper

This page was built for person: Shahar Maoz