John Backes

17 papers B 1Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2024 — conf
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.
TACAS (1)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
2024 J jnl
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.
CoRR
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
2020 — conf
Stratified Abstraction of Access Control Policies.
CAV (1)
John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Søe Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan
2019 J jnl
One-Click Formal Methods.
IEEE Softw.
John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schäf, Cole Schlesinger, Rima S. Tanash, Carsten Varming, Michael W. Whalen
2019 — conf
Reachability Analysis for AWS-Based Networks.
CAV (2)
John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley
2018 J jnl
A Formal Approach to Constructing Secure Air Vehicle Software.
Computer
Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart
2018 B conf
Semantic-based Automated Reasoning for AWS Access Policies using SMT.
FMCAD
John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming
2018 — conf
The JKind Model Checker.
CAV (2)
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
2018 — conf
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.
TACAS (2)
Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
2017 J jnl
The JKind Model Checker.
CoRR
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
2017 J jnl
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.
CoRR
Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
2015 — conf
Requirements Analysis of a Quad-Redundant Flight Control System.
NFM
John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen
2015 J jnl
Requirements Analysis of a Quad-Redundant Flight Control System.
CoRR
John Backes, Darren D. Cofer, Steven P. Miller, Mike Whalen
2015 — conf
Towards Realizability Checking of Contracts Using Theories.
NFM
Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer
2015 J jnl
Towards Realizability Checking of Contracts using Theories.
CoRR
Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer
2014 J jnl
Resolute: An Assurance Case Language for Architecture Models.
CoRR
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen
2014 — conf
Resolute: an assurance case language for architecture models.
HILT
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen