Andreas Katis
Andreas Katis
Computer Scientist, KBR at NASA Ames Research Center
Verified email at
Cited by
Cited by
Towards realizability checking of contracts using theories
A Gacek, A Katis, MW Whalen, J Backes, D Cofer
NASA Formal Methods Symposium, 173-187, 2015
Validity-guided synthesis of reactive systems from assume-guarantee contracts
A Katis, G Fedyukovich, H Guo, A Gacek, J Backes, A Gurfinkel, ...
International Conference on Tools and Algorithms for the Construction and …, 2018
Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report
A Katis, A Gacek, MW Whalen
2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering …, 2016
Machine-checked proofs for realizability checking algorithms
A Katis, A Gacek, MW Whalen
VSSTE, 110-123, 2015
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
Hierarchical Circular Compositional Reasoning
A Gacek, A Katis, M Whalen, D Cofer
University of Minnesota, 2014
Synthesis of Infinite-State Systems with Random Behavior
A Katis, G Fedyukovich, J Chen, D Greve, S Rayadurgam, MW Whalen
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
Formal Techniques for Realizability Checking and Synthesis of Infinite-State Reactive Systems
A Katis
The system can't perform the operation now. Try again later.
Articles 1–8