Ayrat Khalimov

Affiliations:
  • Université libre de Bruxelles, Brussels, Belgium


According to our database1, Ayrat Khalimov authored at least 22 papers between 2013 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Church synthesis on register automata over linearly ordered data domains.
Formal Methods Syst. Des., December, 2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR, 2022

A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021
Transducer Synthesis from Universal Register Automata in (N, >).
CoRR, 2021

2020
Register Games on Infinite Ordered Data Domains.
CoRR, 2020

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

Register-Bounded Synthesis.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018
Reactive Synthesis: Branching Logics and Parameterized Systems.
CoRR, 2018

Bounded Synthesis of Register Transducers.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
OpenSEA: Semi-Formal Methods for Soft Error Analysis.
CoRR, 2017

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

CTL* synthesis via LTL synthesis.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Bounded Synthesis for Streett, Rabin, and \text CTL^*.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Decidability in Parameterized Verification.
SIGACT News, 2016

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Tight Cutoffs for Guarded Protocols with Fairness.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015
Decidability of Parameterized Verification
Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02011-7, 2015

Specification Format for Reactive Synthesis Problems.
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

2014
Parameterized Synthesis Case Study: AMBA AHB.
Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Parameterized Model Checking of Token-Passing Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013
Towards Efficient Parameterized Synthesis.
Proceedings of the Verification, 2013

PARTY Parameterized Synthesis of Token Rings.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013


  Loading...