Synthesis of Infinite-State Systems with Random Behavior
Katis, Andreas, Fedyukovich, Grigory, Chen, Jeffrey, Greve, David, Rayadurgam, Sanjai, Whalen, Michael W.
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Get full text
Conference Proceeding
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
Ádám, Zsófia, Lopez-Miguel, Ignacio D, Mavridou, Anastasia, Pressburger, Thomas, Bęś, Marcin, Enrique Blanco Viñuela, Katis, Andreas, Jean-Charles Tournier, Trinh, Khanh V, Borja Fernández Adiego
Published in NASA Formal Methods (NFM) (17.05.2023)
Get full text
Published in NASA Formal Methods (NFM) (17.05.2023)
Conference Proceeding
Synthesis of Infinite-State Systems with Random Behavior
Katis, Andreas, Fedyukovich, Grigory, Chen, Jeffrey, Greve, David, Rayadurgam, Sanjai, Whalen, Michael W
Published in arXiv.org (25.09.2020)
Published in arXiv.org (25.09.2020)
Get full text
Paper
Journal Article
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
Katis, Andreas, Fedyukovich, Grigory, Guo, Huajun, Gacek, Andrew, Backes, John, Gurfinkel, Arie, Whalen, Michael W
Year of Publication 14.09.2017
Year of Publication 14.09.2017
Get full text
Journal Article
Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability
Katis, Andreas, Fedyukovich, Grigory, Gacek, Andrew, Backes, John, Gurfinkel, Arie, Whalen, Michael W
Year of Publication 19.10.2016
Year of Publication 19.10.2016
Get full text
Journal Article
Towards Realizability Checking of Contracts using Theories
Gacek, Andrew, Katis, Andreas, Whalen, Michael W, Backes, John, Cofer, Darren
Year of Publication 10.02.2015
Year of Publication 10.02.2015
Get full text
Journal Article
Towards Realizability Checking of Contracts using Theories
Gacek, Andrew, Katis, Andreas, Whalen, Michael W, Backes, John, Cofer, Darren
Published in arXiv.org (10.02.2015)
Get full text
Published in arXiv.org (10.02.2015)
Paper