| 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 | 127 | 2015 |
| Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin International Conference on Verification, Model Checking, and Abstract …, 2014 | 51 | 2014 |
| 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 | 49 | 2017 |
| 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 | 38 | 2016 |
| PARTY parameterized synthesis of token rings A Khalimov, S Jacobs, R Bloem International Conference on Computer Aided Verification, 928-933, 2013 | 38 | 2013 |
| Towards efficient parameterized synthesis A Khalimov, S Jacobs, R Bloem International Workshop on Verification, Model Checking, and Abstract …, 2013 | 29 | 2013 |
| Tight cutoffs for guarded protocols with fairness S Außerlechner, S Jacobs, A Khalimov International Conference on Verification, Model Checking, and Abstract …, 2016 | 24 | 2016 |
| Bounded synthesis of register transducers A Khalimov, B Maderbacher, R Bloem International Symposium on Automated Technology for Verification and …, 2018 | 22 | 2018 |
| Parameterized synthesis case study: AMBA AHB (extended version) R Bloem, S Jacobs, A Khalimov arXiv preprint arXiv:1406.7608, 2014 | 20 | 2014 |
| 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 | 18 | 2016 |
| Register-bounded synthesis A Khalimov, O Kupferman 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | 12 | 2019 |
| Church synthesis on register automata over linearly ordered data domains L Exibard, E Filiot, A Khalimov arXiv preprint arXiv:2004.12141, 2020 | 7 | 2020 |
| Specification format for reactive synthesis problems A Khalimov arXiv preprint arXiv:1602.01175, 2016 | 6 | 2016 |
| CTL* synthesis via LTL synthesis R Bloem, S Schewe, A Khalimov arXiv preprint arXiv:1711.10636, 2017 | 5 | 2017 |
| 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, ... | 5 | 1904 |
| Bounded Synthesis for Streett, Rabin, and A Khalimov, R Bloem International Conference on Computer Aided Verification, 333-352, 2017 | 4 | 2017 |
| 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 | 1 | 2017 |
| 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 |
| Synthesis over Regularly Approximable Data Domains L Exibard, E Filiot, A Khalimov arXiv preprint arXiv:2105.09978, 2021 | | 2021 |
| Reactive Synthesis: Branching Logics and Parameterized Systems A Khalimov arXiv preprint arXiv:1808.09430, 2018 | | 2018 |
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
