Sarai Sheinvald

zbMath Opensheinvald.saraiMaRDI QIDQ2232275

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
Learning deterministic variable automata over infinite alphabets	2024-03-14	Paper
Realizable and context-free hyperlanguages	2024-02-08	Paper
Finite-word hyperlanguages	2024-02-02	Paper
Efficient loop conditions for bounded model checking hyperproperties	2023-12-13	Paper
Automated program repair using formal verification techniques	2023-08-10	Paper
Assume, guarantee or repair	2022-10-13	Paper
Compositional model checking for multi-properties	2021-10-18	Paper
Finite-word hyperlanguages	2021-10-04	Paper
Capacitated automata and systems	2019-12-18	Paper
An automata-theoretic approach to model-checking systems and specifications over infinite data domains	2019-10-25	Paper
On the capacity of capacitated automata	2016-04-13	Paper
A Game-Theoretic Approach to Simulation of Data-Parameterized Systems	2015-12-17	Paper
An automata-theoretic approach to reasoning about parameterized systems and specifications	2014-07-08	Paper
Model checking systems and specifications with parameterized atomic propositions	2012-11-21	Paper
Variable automata over infinite alphabets	2010-05-26	Paper

Research outcomes over time

This page was built for person: Sarai Sheinvald