Concepedia

Ayrat Khalimov

AK

6

Publications

176

Citations

6

H-Index

2014

Active since

Affiliations

Graz University of Technology(Current)

Saarland University

Ayrat Khalimov is an author at Graz University of Technology specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSystems EngineeringDesignCompilersVerificationSoftware TestingSoftware Analysis

Publications per year

2014–2022

6

Publications

6

Decidability in Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · ACM SIGACT News · 2016 · 95 citations

Decision Procedure, Engineering, Automated Reasoning +13

Parameterized Synthesis Case Study: AMBA AHB

Roderick Bloem, Swen Jacobs, Ayrat Khalimov · Electronic Proceedings in Theoretical Computer Science · 2014 · 20 citations · Full text

Engineering, Industrial Engineering, Electronic Design Automation +19

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Maximilien Colange et al. · arXiv (Cornell University) · 2019 · 20 citations · Full text

Reactive Synthesis Competition, Engineering, Program Analysis +13

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

Swen Jacobs, Guillermo A. Pérez, Remco Abraham et al. · arXiv (Cornell University) · 2022 · 18 citations · Full text

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results

Swen Jacobs, Roderick Bloem, Romain Brenguier et al. · Electronic Proceedings in Theoretical Computer Science · 2016 · 12 citations · Full text

Reactive Synthesis Competition, Engineering, Benchmark Selection +23

Rows per page

1–5 of 6