publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

  1. A Streamlined, Formal Approach to Requirements-Based Testing
    Andreas Katis, Anastasia Mavridou, and Thomas Pressburger
    In NASA Formal Methods - 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings, 2025
    DOI

2024

  1. Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
    Xaver Fink, Anastasia Mavridou, Andreas Katis, and 1 more author
    In NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings, 2024
    DOI

2023

  1. 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, and 7 more authors
    In NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings, 2023
    DOI
  2. Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft
    Thomas Pressburger, Andreas Katis, Aaron Dutle, and 1 more author
    In Requirements Engineering: Foundation for Software Quality - 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings, 2023
    DOI

2022

  1. Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET
    Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, and 2 more authors
    In Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, 2022
    DOI

2021

  1. From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET
    Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, and 3 more authors
    In Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, 2021
    DOI

2020

  1. Synthesis of Infinite-State Systems with Random Behavior
    Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, and 3 more authors
    In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, 2020
    DOI
  2. Synthesis of Infinite-State Systems with Random Behavior
    Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, and 3 more authors
    CoRR, 2020

2018

  1. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
    Andreas Katis, Grigory Fedyukovich, Huajun Guo, and 4 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, 2018
    DOI

2017

  1. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
    Andreas Katis, Grigory Fedyukovich, Huajun Guo, and 4 more authors
    CoRR, 2017

2016

  1. Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report
    Andreas Katis, Andrew Gacek, and Michael W. Whalen
    In Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, 2016
    DOI
  2. Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report
    Andreas Katis, Michael W. Whalen, and Andrew Gacek
    CoRR, 2016
  3. Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability
    Andreas Katis, Grigory Fedyukovich, Andrew Gacek, and 3 more authors
    CoRR, 2016

2015

  1. Towards Realizability Checking of Contracts Using Theories
    Andrew Gacek, Andreas Katis, Michael W. Whalen, and 2 more authors
    In NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, 2015
    DOI
  2. Machine-Checked Proofs for Realizability Checking Algorithms
    Andreas Katis, Andrew Gacek, and Michael W. Whalen
    In Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, 2015
    DOI
  3. Machine-Checked Proofs For Realizability Checking Algorithms
    Andreas Katis, Andrew Gacek, and Michael W. Whalen
    CoRR, 2015
  4. Towards Realizability Checking of Contracts using Theories
    Andrew Gacek, Andreas Katis, Michael W. Whalen, and 2 more authors
    CoRR, 2015