Ayrat Khalimov
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
822015
Parameterized model checking of token-passing systems
B Aminof, S Jacobs, A Khalimov, S Rubin
International Conference on Verification, Model Checking, and Abstract …, 2014
432014
PARTY parameterized synthesis of token rings
A Khalimov, S Jacobs, R Bloem
International Conference on Computer Aided Verification, 928-933, 2013
362013
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
272017
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
272016
Towards efficient parameterized synthesis
A Khalimov, S Jacobs, R Bloem
International Workshop on Verification, Model Checking, and Abstract …, 2013
242013
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
152016
Tight cutoffs for guarded protocols with fairness
S Außerlechner, S Jacobs, A Khalimov
International Conference on Verification, Model Checking, and Abstract …, 2016
152016
Parameterized synthesis case study: AMBA AHB (extended version)
R Bloem, S Jacobs, A Khalimov
arXiv preprint arXiv:1406.7608, 2014
142014
Bounded synthesis of register transducers
A Khalimov, B Maderbacher, R Bloem
International Symposium on Automated Technology for Verification and …, 2018
92018
Specification format for reactive synthesis problems
A Khalimov
arXiv preprint arXiv:1602.01175, 2016
62016
Register-bounded synthesis
A Khalimov, O Kupferman
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
42019
CTL* synthesis via LTL synthesis
R Bloem, S Schewe, A Khalimov
arXiv preprint arXiv:1711.10636, 2017
32017
Bounded Synthesis for Streett, Rabin, and
A Khalimov, R Bloem
International Conference on Computer Aided Verification, 333-352, 2017
32017
Controller synthesis with uninterpreted functions
G Hofferek, R Könighofer, R Bloem, A Khalimov, B Könighofer, S Jacobs, ...
Ph. D. thesis, Graz University of Technology (July 2014), 2014
32014
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
Register Games on Infinite Ordered Data Domains
L Exibard, E Filiot, A Khalimov
arXiv preprint arXiv:2004.12141, 2020
2020
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–18