Ayrat Khalimov

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 18

Top Topics

Significantly Greater

International Competition

Top Venues

Publications

Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders. ICALP (2022)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
Church synthesis on register automata over linearly ordered data domains. Formal Methods Syst. Des. 61 (2) (2022)
Ayrat Khalimov, Emmanuel Filiot, Léo Exibard
Transducer Synthesis from Universal Register Automata in (N, >). CoRR (2021)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
Church Synthesis on Register Automata over Linearly Ordered Data Domains. STACS (2021)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
Register Games on Infinite Ordered Data Domains. CoRR (2020)
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
Ayrat Khalimov, Orna Kupferman
Register-Bounded Synthesis. CONCUR (2019)
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
Bounded Synthesis of Register Transducers. ATVA (2018)
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
Bounded Synthesis of Register Transducers. CoRR (2018)
Ayrat Khalimov
Reactive Synthesis: Branching Logics and Parameterized Systems. CoRR (2018)
Ayrat Khalimov, Roderick Bloem
Bounded Synthesis for Streett, Rabin, and \text CTL^*. CAV (2) (2017)
Patrick Klampfl, Robert Könighofer, Roderick Bloem, Ayrat Khalimov, Aiman Abu-Yonis, Shiri Moran
OpenSEA: Semi-Formal Methods for Soft Error Analysis. CoRR (2017)
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV (2017)
Roderick Bloem, Sven Schewe, Ayrat Khalimov
CTL* synthesis via LTL synthesis. SYNT@CAV (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV (2016)
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
Decidability in Parameterized Verification. SIGACT News 47 (2) (2016)
Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
Tight Cutoffs for Guarded Protocols with Fairness. VMCAI (2016)
Ayrat Khalimov
Specification Format for Reactive Synthesis Problems. SYNT (2015)
Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
Tight Cutoffs for Guarded Protocols with Fairness. CoRR (2015)
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
Parameterized Model Checking of Token-Passing Systems. VMCAI (2014)
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
Parameterized Synthesis Case Study: AMBA AHB. CoRR (2014)
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
Parameterized Synthesis Case Study: AMBA AHB. SYNT (2014)
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
Parameterized Model Checking of Token-Passing Systems. CoRR (2013)
Ayrat Khalimov, Swen Jacobs, Roderick Bloem
Towards Efficient Parameterized Synthesis. VMCAI (2013)
Ayrat Khalimov, Swen Jacobs, Roderick Bloem
PARTY Parameterized Synthesis of Token Rings. CAV (2013)