Follow
Ayrat Khalimov
Ayrat Khalimov
Verified email at tu-clausthal.de - Homepage
Title
Cited by
Cited by
Year
Decidability in parameterized verification
R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder
ACM SIGACT News 47 (2), 53-64, 2016
1922016
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results
S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ...
arXiv preprint arXiv:1711.11439, 2017
662017
Parameterized model checking of token-passing systems
B Aminof, S Jacobs, A Khalimov, S Rubin
International Conference on Verification, Model Checking, and Abstract …, 2014
592014
PARTY Parameterized Synthesis of Token Rings
A Khalimov, S Jacobs, R Bloem
International Conference on Computer Aided Verification, 928-933, 2013
422013
Towards efficient parameterized synthesis
A Khalimov, S Jacobs, R Bloem
International Workshop on Verification, Model Checking, and Abstract …, 2013
312013
Tight cutoffs for guarded protocols with fairness
S Außerlechner, S Jacobs, A Khalimov
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
272016
Bounded synthesis of register transducers
A Khalimov, B Maderbacher, R Bloem
Automated Technology for Verification and Analysis: 16th International …, 2018
242018
Parameterized synthesis case study: AMBA AHB (extended version)
R Bloem, S Jacobs, A Khalimov
arXiv preprint arXiv:1406.7608, 2014
232014
The reactive synthesis competition (SYNTCOMP): 2018-2021
S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
arXiv preprint arXiv:2206.00251, 2022
212022
The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results
S Jacobs, R Bloem, R Brenguier, A Khalimov, F Klein, R Könighofer, ...
arXiv preprint arXiv:1609.00507, 2016
192016
Register-bounded synthesis
A Khalimov, O Kupferman
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
132019
CTL* synthesis via LTL synthesis
R Bloem, S Schewe, A Khalimov
arXiv preprint arXiv:1711.10636, 2017
102017
Church synthesis on register automata over linearly ordered data domains
L Exibard, E Filiot, A Khalimov
Formal Methods in System Design 61 (2), 290-337, 2022
82022
Bounded Synthesis for Streett, Rabin, and
A Khalimov, R Bloem
International Conference on Computer Aided Verification, 333-352, 2017
62017
Specification format for reactive synthesis problems
A Khalimov
arXiv preprint arXiv:1602.01175, 2016
62016
The 5th reactive synthesis competition (SYNTCOMP 2018): Benchmarks, participants & results. CoRR abs/1904.07736 (2019)
S Jacobs, R Bloem, M Colange, P Faymonville, B Finkbeiner, A Khalimov, ...
41904
A generic solution to register-bounded synthesis with an application to discrete orders
L Exibard, E Filiot, A Khalimov
arXiv preprint arXiv:2105.09978, 2021
32021
OpenSEA: Semi-Formal Methods for Soft Error Analysis
P Klampfl, R Koenighofer, R Bloem, A Khalimov, A Abu-Yonis, S Moran
arXiv preprint arXiv:1712.04291, 2017
12017
Fully Generalized Reactivity (1) Synthesis
R Ehlers, A Khalimov
arXiv preprint arXiv:2402.02979, 2024
2024
Church Synthesis on Register Automata over Linearly Ordered Data Domains
E Filiot, A Khalimov
Leibniz International Proceedings in Informatics 187, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20