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
2092016
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
692017
Parameterized model checking of token-passing systems
B Aminof, S Jacobs, A Khalimov, S Rubin
International Conference on Verification, Model Checking, and Abstract …, 2014
622014
PARTY Parameterized Synthesis of Token Rings
A Khalimov, S Jacobs, R Bloem
International Conference on Computer Aided Verification, 928-933, 2013
432013
Tight cutoffs for guarded protocols with fairness
S Außerlechner, S Jacobs, A Khalimov
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
322016
Towards efficient parameterized synthesis
A Khalimov, S Jacobs, R Bloem
International Workshop on Verification, Model Checking, and Abstract …, 2013
322013
The reactive synthesis competition (syntcomp): 2018–2021
S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
International Journal on Software Tools for Technology Transfer, 1-17, 2024
262024
Parameterized synthesis case study: AMBA AHB (extended version)
R Bloem, S Jacobs, A Khalimov
arXiv preprint arXiv:1406.7608, 2014
262014
Bounded synthesis of register transducers
A Khalimov, B Maderbacher, R Bloem
Automated Technology for Verification and Analysis: 16th International …, 2018
242018
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
142019
CTL* synthesis via LTL synthesis
R Bloem, S Schewe, A Khalimov
arXiv preprint arXiv:1711.10636, 2017
112017
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
92022
Bounded Synthesis for Streett, Rabin, and
A Khalimov, R Bloem
International Conference on Computer Aided Verification, 333-352, 2017
72017
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
Fully Generalized Reactivity (1) Synthesis
R Ehlers, A Khalimov
International Conference on Tools and Algorithms for the Construction and …, 2024
12024
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
A Naturally-Colored Translation from LTL to Parity and COCOA
R Ehlers, A Khalimov
arXiv preprint arXiv:2410.01021, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20