Follow
Andreas Katis
Andreas Katis
Computer Scientist, KBR at NASA Ames Research Center
Verified email at nasa.gov - Homepage
Title
Cited by
Cited by
Year
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
412015
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
302018
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
152021
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
82022
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
82016
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
52016
Machine-checked proofs for realizability checking algorithms
A Katis, A Gacek, MW Whalen
Verified Software: Theories, Tools, and Experiments: 7th International …, 2016
52016
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
32023
Compositional realizability checking within FRET
D Giannakopoulou, A Katis, A Mavridou, T Pressburger
32021
Design, formalization, and verification of decision making for intelligent systems
M Hejase, A Katis, A Mavridou
AIAA SCITECH 2024 Forum, 2409, 2024
22024
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
22023
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
22023
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
22020
Hierarchical Circular Compositional Reasoning
A Gacek, A Katis, M Whalen, D Cofer
University of Minnesota, 2014
22014
Using FRET to create, analyze and monitor requirements for a lift plus cruise case study
T Pressburger, A Katis, A Dutle, A Mavridou
12023
Realizability checking of requirements in FRET
A Katis, A Mavridou, D Giannakopoulou, T Pressburger, J Schumann
12022
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
The system can't perform the operation now. Try again later.
Articles 1–20