Ayrat Khalimov

Formal Methods Syst. Des., December, 2022

A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.

[BibT_eX]

[DOI]

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021

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

[BibT_eX]

[DOI]

CoRR, 2021

2020

[BibT_eX]

[DOI]

CoRR, 2020

2019

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

[BibT_eX]

[DOI]

CoRR, 2019

[BibT_eX]

[DOI]

Orna Kupferman

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Reactive Synthesis: Branching Logics and Parameterized Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Bounded Synthesis of Register Transducers.

[BibT_eX]

[DOI]

Benedikt Maderbacher

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

OpenSEA: Semi-Formal Methods for Soft Error Analysis.

[BibT_eX]

[DOI]

CoRR, 2017

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

CTL* synthesis via LTL synthesis.

[BibT_eX]

[DOI]

Sven Schewe

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Bounded Synthesis for Streett, Rabin, and \text CTL^*.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Decidability in Parameterized Verification.

[BibT_eX]

[DOI]

SIGACT News, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Tight Cutoffs for Guarded Protocols with Fairness.

[BibT_eX]

[DOI]

Simon Außerlechner

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

Decidability of Parameterized Verification

[BibT_eX]

[DOI]

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

Specification Format for Reactive Synthesis Problems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

2014

Parameterized Synthesis Case Study: AMBA AHB.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Parameterized Model Checking of Token-Passing Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013

Towards Efficient Parameterized Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

PARTY Parameterized Synthesis of Token Rings.

[BibT_eX]

[DOI]