Follow
Ayrat Khalimov
Ayrat Khalimov
Université libre de Bruxelles
Verified email at ulb.be - Homepage
Title
Cited by
Cited by
Year
Decidability of parameterized verification
R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder
Synthesis Lectures on Distributed Computing Theory 6 (1), 1-170, 2015
1332015
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
532017
Parameterized model checking of token-passing systems
B Aminof, S Jacobs, A Khalimov, S Rubin
International Conference on Verification, Model Checking, and Abstract …, 2014
512014
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
402016
PARTY parameterized synthesis of token rings
A Khalimov, S Jacobs, R Bloem
International Conference on Computer Aided Verification, 928-933, 2013
382013
Towards efficient parameterized synthesis
A Khalimov, S Jacobs, R Bloem
International Workshop on Verification, Model Checking, and Abstract …, 2013
292013
Tight cutoffs for guarded protocols with fairness
S Außerlechner, S Jacobs, A Khalimov
International Conference on Verification, Model Checking, and Abstract …, 2016
252016
Bounded synthesis of register transducers
A Khalimov, B Maderbacher, R Bloem
International Symposium on Automated Technology for Verification and …, 2018
222018
Parameterized synthesis case study: AMBA AHB (extended version)
R Bloem, S Jacobs, A Khalimov
arXiv preprint arXiv:1406.7608, 2014
202014
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
182016
Register-bounded synthesis
A Khalimov, O Kupferman
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
122019
Church synthesis on register automata over linearly ordered data domains
L Exibard, E Filiot, A Khalimov
arXiv preprint arXiv:2004.12141, 2020
82020
CTL* synthesis via LTL synthesis
R Bloem, S Schewe, A Khalimov
arXiv preprint arXiv:1711.10636, 2017
62017
Specification format for reactive synthesis problems
A Khalimov
arXiv preprint arXiv:1602.01175, 2016
62016
Bounded Synthesis for Streett, Rabin, and
A Khalimov, R Bloem
International Conference on Computer Aided Verification, 333-352, 2017
42017
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
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
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
2022
A Generic Solution to Register-bounded Synthesis with an Application to Discrete Orders
L Exibard, E Filiot, A Khalimov
arXiv preprint arXiv:2205.01952, 2022
2022
Reactive Synthesis: Branching Logics and Parameterized Systems
A Khalimov
arXiv preprint arXiv:1808.09430, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20