| 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 | 44 | 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 | 39 | 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 | 18 | 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 | 13 | 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 | 11 | 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 | 6 | 2023 |
| 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 |
| 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 | 4 | 2023 |
| Design, formalization, and verification of decision making for intelligent systems M Hejase, A Katis, A Mavridou AIAA SCITECH 2024 Forum, 2409, 2024 | 3 | 2024 |
| Compositional realizability checking within FRET D Giannakopoulou, A Katis, A Mavridou, T Pressburger | 3 | 2021 |
| 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 | 3 | 2020 |
| 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 |
| Realizability checking of requirements in FRET A Katis, A Mavridou, D Giannakopoulou, T Pressburger, J Schumann | 2 | 2022 |
| 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 |
| Formal Techniques for Realizability Checking and Synthesis of Infinite-State Reactive Systems A Katis University of Minnesota, 2020 | 1 | 2020 |
| Recommendations on Evidence and Process for Certification of Learning-enabled Components in Aerospace Systems A Agogino, G Brat, Y He, D Hulse, R Lipkis, T Pressburger, D Gopinath, ... | | 2024 |
| Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif X Fink, A Mavridou, A Katis, BF Adiego NASA Formal Methods Symposium, 427-435, 2024 | | 2024 |
| Requirements Elicitation, Analysis and Verification Using FRET and CoCoSIM A Katis Formal and Exhaustive Analysis of Numerical Intensive Control Software for …, 2022 | | 2022 |
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
