Andreas Katis

Identifiers

No identifiers captured yet.

Papers (5)

1. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts cs.SE · 2017 · author #1
2. Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability cs.SE · 2016 · author #1
3. Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report cs.SE · 2016 · author #1
4. Towards Realizability Checking of Contracts using Theories cs.SE · 2015 · author #2
5. Machine-Checked Proofs For Realizability Checking Algorithms cs.SE · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrew Gacek 5 shared papers
• Michael W. Whalen 5 shared papers
• John Backes 3 shared papers
• Arie Gurfinkel 2 shared papers
• Grigory Fedyukovich 2 shared papers
• Darren Cofer 1 shared papers
• Huajun Guo 1 shared papers