Towards realizability checking of contracts using theories A Gacek, A Katis, MW Whalen, J Backes, D Cofer NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 41 | 2015 |
Validity-guided synthesis of reactive systems from assume-guarantee contracts A Katis, G Fedyukovich, H Guo, A Gacek, J Backes, A Gurfinkel, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 30 | 2018 |
From partial to global assume-guarantee contracts: compositional realizability analysis in FRET A Mavridou, A Katis, D Giannakopoulou, D Kooi, T Pressburger, ... Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 15 | 2021 |
Capture, analyze, diagnose: Realizability checking of requirements in FRET A Katis, A Mavridou, D Giannakopoulou, T Pressburger, J Schumann International Conference on Computer Aided Verification, 490-504, 2022 | 9 | 2022 |
Synthesis from assume-guarantee contracts using skolemized proofs of realizability A Katis, G Fedyukovich, A Gacek, J Backes, A Gurfinkel, MW Whalen arXiv preprint arXiv:1610.05867, 2016 | 8 | 2016 |
Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report A Katis, A Gacek, MW Whalen Proceedings of the 4th FME Workshop on Formal Methods in Software …, 2016 | 5 | 2016 |
Machine-checked proofs for realizability checking algorithms A Katis, A Gacek, MW Whalen Verified Software: Theories, Tools, and Experiments: 7th International …, 2016 | 5 | 2016 |
Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft T Pressburger, A Katis, A Dutle, A Mavridou International Working Conference on Requirements Engineering: Foundation for …, 2023 | 4 | 2023 |
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif Z Ádám, ID Lopez-Miguel, A Mavridou, T Pressburger, M Bęś, ... NASA Formal Methods Symposium, 353-360, 2023 | 3 | 2023 |
Compositional realizability checking within FRET D Giannakopoulou, A Katis, A Mavridou, T Pressburger | 3 | 2021 |
Design, formalization, and verification of decision making for intelligent systems M Hejase, A Katis, A Mavridou AIAA SCITECH 2024 Forum, 2409, 2024 | 2 | 2024 |
Automated verification of programmable logic controller programs against structured natural language requirements Z Ádám, ID Lopez-Miguel, A Mavridou, T Pressburger, M Bes, EB Vinuela, ... National Aeronautics and Space Administration, 2023 | 2 | 2023 |
Synthesis of infinite-state systems with random behavior A Katis, G Fedyukovich, J Chen, D Greve, S Rayadurgam, MW Whalen Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 2 | 2020 |
Hierarchical Circular Compositional Reasoning A Gacek, A Katis, M Whalen, D Cofer University of Minnesota, 2014 | 2 | 2014 |
Using FRET to create, analyze and monitor requirements for a lift plus cruise case study T Pressburger, A Katis, A Dutle, A Mavridou | 1 | 2023 |
Realizability checking of requirements in FRET A Katis, A Mavridou, D Giannakopoulou, T Pressburger, J Schumann | 1 | 2022 |
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif A Mavridou, A Katis, T Pressburger, KV Trinh, BF Adiego, IDL Miguel, ... NASA Formal Methods 2023, 2023 | | 2023 |
Requirements Elicitation, Analysis and Verification Using FRET and CoCoSIM A Katis Formal and Exhaustive Analysis of Numerical Intensive Control Software for …, 2022 | | 2022 |
CoCoSim Tutorial: Contract-based Compositional Verification of Simulink Models A Katis NASA V&V Commercial Systems TC-3 Conference and Seminar Series, 2022 | | 2022 |
CoCoSim: Contract-based Compositional Verification of Simulink Models H Bourbouh, A Katis NASA-Boeing Autonomy V&V Project: NASA V&V tool demonstration, 2021 | | 2021 |