Shahar Maoz

MaRDI QIDQ1854486zbMATH OpenDBLPORCIDWikidataFDO

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