Ilia Shevrin

According to our database, Ilia Shevrin authored at least 4 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

What Properties Affect Boolean Formula Comprehension in Formal Specifications?

Ilia Shevrin, Shahar Maoz

ACM Trans. Softw. Eng. Methodol., April, 2026

2025

Performance Heuristics for GR(1) Realizability Checking and Related Analyses.

Roy Yatskan, Ilia Shevrin, Shahar Maoz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2023

Detecting Multi-Step IAM Attacks in AWS Environments via Model Checking.

Ilia Shevrin, Oded Margalit

Proceedings of the 32nd USENIX Security Symposium, 2023

2020

Just-In-Time Reactive Synthesis.

Shahar Maoz, Ilia Shevrin

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020