| 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 | 105 | 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 | 44 | 2014 |
| PARTY parameterized synthesis of token rings A Khalimov, S Jacobs, R Bloem International Conference on Computer Aided Verification, 928-933, 2013 | 36 | 2013 |
| 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 | 34 | 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 | 30 | 2016 |
| Towards efficient parameterized synthesis A Khalimov, S Jacobs, R Bloem International Workshop on Verification, Model Checking, and Abstract …, 2013 | 24 | 2013 |
| 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 | 17 | 2016 |
| Tight cutoffs for guarded protocols with fairness S Außerlechner, S Jacobs, A Khalimov International Conference on Verification, Model Checking, and Abstract …, 2016 | 17 | 2016 |
| Parameterized synthesis case study: AMBA AHB (extended version) R Bloem, S Jacobs, A Khalimov arXiv preprint arXiv:1406.7608, 2014 | 16 | 2014 |
| Bounded synthesis of register transducers A Khalimov, B Maderbacher, R Bloem International Symposium on Automated Technology for Verification and …, 2018 | 12 | 2018 |
| Register-bounded synthesis A Khalimov, O Kupferman 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | 6 | 2019 |
| 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 | 3 | 2017 |
| Bounded Synthesis for Streett, Rabin, and A Khalimov, R Bloem International Conference on Computer Aided Verification, 333-352, 2017 | 3 | 2017 |
| 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 | 3 | 2014 |
| 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 |
| Church Synthesis on Register Automata over Linearly Ordered Data Domains L Exibard, E Filiot, A Khalimov 38th International Symposium on Theoretical Aspects of Computer Science …, 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
