שרי שינולד

ד"ר שרי שינולד
Dr. Sarai Sheinvald

מוסד עיקרי

המכללה האקדמית להנדסה אורט בראודה ORT Braude College

דוא״ל

sarai@braude.ac.il

דיסציפלינות ראשיותMain Disciplines

Computer Sciences

תחומי מחקר / מילות מפתחKeywords

Automata, Formal verification, Model checking

פרסומים ויצירות עיקריים / עדכנייםMain / Recent Publications

Goudsmid O., Grumberg O., Sheinvald S. (2021) Compositional Model Checking for Multi-properties. In: Henglein F., Shoham S., Vizel Y. (eds) Verification, Model Checking, and Abstract Interpretation. VMCAI 2021. Lecture Notes in Computer Science, vol 12597. Springer, Cham.
Frenkel, H., Grumberg, O. & Sheinvald, S. An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains. J Autom Reasoning 63, 1077–1101 (2019).
Orna Kupferman, Sarai Sheinvald, Capacitated automata and systems, Information and Computation, Volume 269, 2019, 104451, ISSN 0890-5401,
Sheinvald S. (2019) Learning Deterministic Variable Automata over Infinite Alphabets. In: ter Beek M., McIver A., Oliveira J. (eds) Formal Methods – The Next 30 Years. FM 2019. Lecture Notes in Computer Science, vol 11800. Springer, Cham.