Sarai Sheinvald

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
Variable automata over infinite alphabets Formal Methods in System Design	2025-10-21	Paper
Learning deterministic variable automata over infinite alphabets	2024-03-14	Paper
Realizable and context-free hyperlanguages	2024-02-08	Paper
Realizable and context-free hyperlanguages (available as arXiv preprint)	2024-02-08	Paper
Finite-word hyperlanguages Information and Computation	2024-02-02	Paper
Efficient loop conditions for bounded model checking hyperproperties	2023-12-13	Paper
Automated program repair using formal verification techniques Lecture Notes in Computer Science	2023-08-10	Paper
Assume, guarantee or repair Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Compositional model checking for multi-properties	2021-10-18	Paper
Finite-word hyperlanguages (available as arXiv preprint)	2021-10-04	Paper
Capacitated automata and systems Information and Computation	2019-12-18	Paper
An automata-theoretic approach to model-checking systems and specifications over infinite data domains Journal of Automated Reasoning	2019-10-25	Paper
On the capacity of capacitated automata Language and Automata Theory and Applications	2016-04-13	Paper
A Game-Theoretic Approach to Simulation of Data-Parameterized Systems Automated Technology for Verification and Analysis	2015-12-17	Paper
An automata-theoretic approach to reasoning about parameterized systems and specifications Automated Technology for Verification and Analysis	2014-07-08	Paper
Model checking systems and specifications with parameterized atomic propositions Automated Technology for Verification and Analysis	2012-11-21	Paper
Variable automata over infinite alphabets Language and Automata Theory and Applications	2010-05-26	Paper

Research outcomes over time

This page was built for person: Sarai Sheinvald