Elina Sudit

PhD Student in Computer Science
BGU

---

Publications

• D. Fisman and E. Sudit. (2025).
  Runtime consultants.
  In 25th International Conference on Runtime Verification (RV 2025).
  Springer | arXiv (full version)

• D. Fisman and E. Sudit.
  Omega-Regular Robustness.
  Preprint on arXiv

---

Talks & Presentations

• “Runtime consultants”
  IVD 2026, Technion
  February 2026

• “Runtime consultants”
  25th International Conference on Runtime Verification, Graz University of Technology
  September 2025

• “Omega-Regular Robustness”
  Highlights of Logic, Games and Automata 2025, Saarland University
  September 2025

• “Omega-Regular Robustness”
  IVD 2024, BIU
  December 2024

---

Contact

Email: elinasu@post.bgu.ac.il