Ayrat Khalimov

28 papers A* 2A 1B 5Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2022 A* conf
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.
ICALP
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2022 J jnl
Church synthesis on register automata over linearly ordered data domains.
Formal Methods Syst. Des.
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2021 A conf
Church Synthesis on Register Automata over Linearly Ordered Data Domains.
STACS
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2021 J jnl
Transducer Synthesis from Universal Register Automata in (N, >).
CoRR
Ayrat Khalimov, Emmanuel Filiot, Léo Exibard
2020 J jnl
Register Games on Infinite Ordered Data Domains.
CoRR
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2019 B conf
Register-Bounded Synthesis.
CONCUR
Ayrat Khalimov, Orna Kupferman
2019 J jnl
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR
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
2018 B conf
Bounded Synthesis of Register Transducers.
ATVA
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
2018 J jnl
Bounded Synthesis of Register Transducers.
CoRR
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
2018 J jnl
Reactive Synthesis: Branching Logics and Parameterized Systems.
CoRR
Ayrat Khalimov
2017 — conf
Bounded Synthesis for Streett, Rabin, and \text CTL^*.
CAV (2)
Ayrat Khalimov, Roderick Bloem
2017 — conf
CTL* synthesis via LTL synthesis.
SYNT@CAV
Roderick Bloem, Sven Schewe, Ayrat Khalimov
2017 J jnl
OpenSEA: Semi-Formal Methods for Soft Error Analysis.
CoRR
Patrick Klampfl, Robert Könighofer, Roderick Bloem, Ayrat Khalimov, Aiman Abu-Yonis, Shiri Moran
2017 — conf
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
SYNT@CAV
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
2016 J jnl
Decidability in Parameterized Verification.
SIGACT News
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2016 — conf
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
SYNT@CAV
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
2016 B conf
Tight Cutoffs for Guarded Protocols with Fairness.
VMCAI
Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
2015 — book
Decidability of Parameterized Verification
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2015 — conf
Specification Format for Reactive Synthesis Problems.
SYNT
Ayrat Khalimov
2015 J jnl
Tight Cutoffs for Guarded Protocols with Fairness.
CoRR
Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
2014 B conf
Parameterized Model Checking of Token-Passing Systems.
VMCAI
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
2014 J jnl
Parameterized Synthesis Case Study: AMBA AHB.
CoRR
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
2014 — conf
Parameterized Synthesis Case Study: AMBA AHB.
SYNT
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
2013 A* conf
PARTY Parameterized Synthesis of Token Rings.
CAV
Ayrat Khalimov, Swen Jacobs, Roderick Bloem
2013 J jnl
Parameterized Model Checking of Token-Passing Systems.
CoRR
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
2013 B conf
Towards Efficient Parameterized Synthesis.
VMCAI
Ayrat Khalimov, Swen Jacobs, Roderick Bloem