Shahar Maoz

zbMath Openmaoz.shaharDBLPm/ShaharMaozWikidataQ90444276 ScholiaQ90444276MaRDI QIDQ1854486

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Formal Aspects of Computing	2021-09-14	Paper
Performance heuristics for GR(1) synthesis and related algorithms Acta Informatica	2020-03-06	Paper
Lattice-based semantics for combinatorial model evolution Automated Technology for Verification and Analysis	2016-01-08	Paper
On the power of play-out for scenario-based programs Concurrency, Compositionality, and Correctness	2010-03-09	Paper
How hard is smart play-out? On the complexity of verification-driven execution	2009-07-27	Paper
Some Results on the Expressive Power and Complexity of LSCs Pillars of Computer Science	2008-03-25	Paper
An infinite hierarchy of temporal logics over branching time Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1759449 (Why is no real title available?)	2002-11-04	Paper

Research outcomes over time

This page was built for person: Shahar Maoz