| 2026 | LICS | A Naturally-Colored Translation from LTL to Parity and COCOA. | Rdiger Ehlers, Ayrat Khalimov |
| 2024 | TACAS | Fully Generalized Reactivity(1) Synthesis. | Rdiger Ehlers, Ayrat Khalimov |
| 2022 | ICALP | A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders. | Lo Exibard, Emmanuel Filiot, Ayrat Khalimov |
| 2021 | STACS | Church Synthesis on Register Automata over Linearly Ordered Data Domains. | Lo Exibard, Emmanuel Filiot, Ayrat Khalimov |
| 2019 | CONCUR | Register-Bounded Synthesis. | Ayrat Khalimov, Orna Kupferman |
| 2019 | UCC | Container-based Sandboxes for Malware Analysis: A Compromise Worth Considering. | Ayrat Khalimov, Sofiane Benahmed, Rasheed Hussain, S. M. Ahsan Kazmi, Alma Oracevic, Fatima Hussain, Farhan Ahmad, Chaker Abdelaziz Kerrache |
| 2018 | ATVA | Bounded Synthesis of Register Transducers. | Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem |
| 2017 | CAV | Bounded Synthesis for Streett, Rabin, and \text CTL^*. | Ayrat Khalimov, Roderick Bloem |
| 2016 | VMCAI | Tight Cutoffs for Guarded Protocols with Fairness. | Simon Auerlechner, Swen Jacobs, Ayrat Khalimov |
| 2014 | VMCAI | Parameterized Model Checking of Token-Passing Systems. | Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin |
| 2013 | CAV | PARTY Parameterized Synthesis of Token Rings. | Ayrat Khalimov, Swen Jacobs, Roderick Bloem |
| 2013 | VMCAI | Towards Efficient Parameterized Synthesis. | Ayrat Khalimov, Swen Jacobs, Roderick Bloem |