Andreas Katis

17 papers A* 1B 2Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
A Streamlined, Formal Approach to Requirements-Based Testing.
NFM
Andreas Katis, Anastasia Mavridou, Thomas Pressburger
2024 — conf
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif.
NFM
Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernández Adiego
2023 B conf
Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.
REFSQ
Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou
2023 — conf
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.
NFM
Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego
2022 — conf
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET.
CAV (2)
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
2021 B conf
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET.
FM
Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen
2020 A* conf
Synthesis of Infinite-State Systems with Random Behavior.
ASE
Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen
2020 J jnl
Synthesis of Infinite-State Systems with Random Behavior.
CoRR
Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen
2018 — conf
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.
TACAS (2)
Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
2017 J jnl
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.
CoRR
Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
2016 J jnl
Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability.
CoRR
Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John D. Backes, Arie Gurfinkel, Michael W. Whalen
2016 J jnl
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report.
CoRR
Andreas Katis, Michael W. Whalen, Andrew Gacek
2016 — conf
Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report.
FormaliSE@ICSE
Andreas Katis, Andrew Gacek, Michael W. Whalen
2015 J jnl
Machine-Checked Proofs For Realizability Checking Algorithms.
CoRR
Andreas Katis, Andrew Gacek, Michael W. Whalen
2015 — conf
Machine-Checked Proofs for Realizability Checking Algorithms.
VSTTE
Andreas Katis, Andrew Gacek, Michael W. Whalen
2015 — conf
Towards Realizability Checking of Contracts Using Theories.
NFM
Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer
2015 J jnl
Towards Realizability Checking of Contracts using Theories.
CoRR
Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer