Towards realizability checking of contracts using theories A Gacek, A Katis, MW Whalen, J Backes, D Cofer NASA Formal Methods Symposium, 173-187, 2015 | 22 | 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 | 7 | 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 | 4 | 2016 |
Machine-checked proofs for realizability checking algorithms A Katis, A Gacek, MW Whalen VSSTE, 110-123, 2015 | 4 | 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 | 3 | 2016 |
Hierarchical Circular Compositional Reasoning A Gacek, A Katis, M Whalen, D Cofer University of Minnesota, 2014 | 2 | 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 | | 2020 |
Formal Techniques for Realizability Checking and Synthesis of Infinite-State Reactive Systems A Katis | | 2020 |