| 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 | 213 | 2016 |
| 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 | 69 | 2017 |
| Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin International Conference on Verification, Model Checking, and Abstract …, 2014 | 64 | 2014 |
| PARTY Parameterized Synthesis of Token Rings A Khalimov, S Jacobs, R Bloem International Conference on Computer Aided Verification, 928-933, 2013 | 43 | 2013 |
| Tight cutoffs for guarded protocols with fairness S Außerlechner, S Jacobs, A Khalimov Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 34 | 2016 |
| Towards efficient parameterized synthesis A Khalimov, S Jacobs, R Bloem International Workshop on Verification, Model Checking, and Abstract …, 2013 | 32 | 2013 |
| 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 | 26 | 2024 |
| Parameterized synthesis case study: AMBA AHB (extended version) R Bloem, S Jacobs, A Khalimov arXiv preprint arXiv:1406.7608, 2014 | 26 | 2014 |
| Bounded synthesis of register transducers A Khalimov, B Maderbacher, R Bloem Automated Technology for Verification and Analysis: 16th International …, 2018 | 24 | 2018 |
| 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 | 19 | 2016 |
| Register-bounded synthesis A Khalimov, O Kupferman 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | 14 | 2019 |
| CTL* synthesis via LTL synthesis R Bloem, S Schewe, A Khalimov arXiv preprint arXiv:1711.10636, 2017 | 11 | 2017 |
| 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 | 9 | 2022 |
| Bounded Synthesis for Streett, Rabin, and A Khalimov, R Bloem International Conference on Computer Aided Verification, 333-352, 2017 | 7 | 2017 |
| Specification format for reactive synthesis problems A Khalimov arXiv preprint arXiv:1602.01175, 2016 | 6 | 2016 |
| The reactive synthesis competition (SYNTCOMP): 2018-2021. CoRR abs/2206.00251 (2022) S Jacobs, GA Pérez, R Abraham, V Bruyère, M Cadilhac, M Colange, ... | 6 | |
| 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, ... | 4 | 1904 |
| 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 | 3 | 2021 |
| Fully Generalized Reactivity (1) Synthesis R Ehlers, A Khalimov International Conference on Tools and Algorithms for the Construction and …, 2024 | 2 | 2024 |
| 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 |
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerified email at cispa.saarland