Ilya Shchepetkov

According to our database, Ilya Shchepetkov authored at least 3 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Identifying Design Flaws in a Lock-Free Task Pool with TLA+.

Vasil Dyadov, Alexander Kogtenkov, Ilya Shchepetkov

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

2023

Klever: Verification Framework for Critical Industrial C Programs.

Ilja S. Zakharov, Evgeny Novikov, Ilya Shchepetkov

CoRR, 2023

2019

Formal Specification of a Security Framework for Smart Contracts.

Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019