Andreas Katis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial. | Anastasia Mavridou, Andreas Katis, Mari A. Aoki, Marie Farrell |
| 2023 | REFSQ | Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. | Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou |
| 2022 | CAV | Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. | Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2021 | FM | From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. | Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen |
| 2018 | TACAS | Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. | Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen |
| 2016 | ICSE | Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report. | Andreas Katis, Andrew Gacek, Michael W. Whalen |