Andreas Katis

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 16

Top Topics

Written In Natural Language

Programmable Logic

Reactive Systems

Top Venues

Publications

Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernández Adiego
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif. NFM (2024)
Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou
Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. REFSQ (2023)
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
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. NFM (2023)
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. CAV (2) (2022)
Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. FM (2021)
Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen
Synthesis of Infinite-State Systems with Random Behavior. ASE (2020)
Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen
Synthesis of Infinite-State Systems with Random Behavior. CoRR (2020)
Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. TACAS (2) (2018)
Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. CoRR (2017)
Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John D. Backes, Arie Gurfinkel, Michael W. Whalen
Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability. CoRR (2016)
Andreas Katis, Andrew Gacek, Michael W. Whalen
Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report. FormaliSE@ICSE (2016)
Andreas Katis, Michael W. Whalen, Andrew Gacek
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report. CoRR (2016)
Andreas Katis, Andrew Gacek, Michael W. Whalen
Machine-Checked Proofs For Realizability Checking Algorithms. CoRR (2015)
Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer
Towards Realizability Checking of Contracts using Theories. CoRR (2015)
Andreas Katis, Andrew Gacek, Michael W. Whalen
Machine-Checked Proofs for Realizability Checking Algorithms. VSTTE (2015)
Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer
Towards Realizability Checking of Contracts Using Theories. NFM (2015)