Sarai Sheinvald

Available identifiers

zbMath Open sheinvald.saraiMaRDI QIDQ2232275

List of research outcomes

Publication	Date of Publication	Type
Learning deterministic variable automata over infinite alphabets	2024-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q6191011	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