Ayrat Khalimov

Identifiers

No identifiers captured yet.

Papers (8)

1. The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results cs.LO · 2019 · author #6
2. Reactive Synthesis: Branching Logics and Parameterized Systems cs.LO · 2018 · author #1
3. Bounded Synthesis of Register Transducers cs.FL · 2018 · author #1
4. OpenSEA: Semi-Formal Methods for Soft Error Analysis cs.OH · 2017 · author #4
5. CTL* synthesis via LTL synthesis cs.FL · 2017 · author #3
6. Tight Cutoffs for Guarded Protocols with Fairness cs.LO · 2015 · author #3
7. Parameterized Synthesis Case Study: AMBA AHB (extended version) cs.SE · 2014 · author #3
8. Parameterized Model Checking of Token-Passing Systems cs.LO · 2013 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Roderick Bloem 5 shared papers
• Swen Jacobs 4 shared papers
• Adam Walker 1 shared papers
• Aiman Abu-Yonis 1 shared papers
• Benedikt Maderbacher 1 shared papers
• Benjamin Aminof 1 shared papers
• Bernd Finkbeiner 1 shared papers
• Felix Klein 1 shared papers
• Leander Tentrup 1 shared papers
• Maximilien Colange 1 shared papers
• Michael Luttenberger 1 shared papers
• Mouhammad Sakr 1 shared papers
• Patrick Klampfl 1 shared papers
• Peter Faymonville 1 shared papers
• Philipp J. Meyer 1 shared papers
• Robert Koenighofer 1 shared papers
• Salomon Sickert 1 shared papers
• Sasha Rubin 1 shared papers
• Shiri Moran 1 shared papers
• Simon Au{\ss}erlechner 1 shared papers