Andreas Katis

According to our database, Andreas Katis authored at least 11 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif.

Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernández Adiego

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.

Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.

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

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET.

Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

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

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Synthesis of Infinite-State Systems with Random Behavior.

Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2018

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2016

Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability.

Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John D. Backes, Arie Gurfinkel, Michael W. Whalen

CoRR, 2016

Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report.

Andreas Katis, Andrew Gacek, Michael W. Whalen

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2015

Machine-Checked Proofs for Realizability Checking Algorithms.

Andreas Katis, Andrew Gacek, Michael W. Whalen

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Towards Realizability Checking of Contracts Using Theories.

Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015