John D. Backes

According to our database, John D. Backes authored at least 22 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.

Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2021

Debugging Network Reachability with Blocked Paths.

Sam Bayless, John D. Backes, Dan DaCosta, Benjamin F. Jones, Nate Launchbury, Patrick Trentin, Kelsey Jewell, Sagar Joshi, Michael Q. Zeng, Nandita Mathews

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Stratified Abstraction of Access Control Policies.

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

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

One-Click Formal Methods.

John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schäf, Cole Schlesinger, Rima Tanash, Carsten Varming, Michael W. Whalen

IEEE Softw., 2019

Reachability Analysis for AWS-Based Networks.

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

A Formal Approach to Constructing Secure Air Vehicle Software.

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

Computer, 2018

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.

Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Semantic-based Automated Reasoning for AWS Access Policies using SMT.

John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

The JKind Model Checker.

Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability.

Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John D. Backes, Arie Gurfinkel, Michael W. Whalen

CoRR, 2016

From Design Contracts to Component Requirements Verification.

Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

On Implementing Real-Time Specification Patterns Using Observers.

John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

Towards Realizability Checking of Contracts Using Theories.

Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Requirements Analysis of a Quad-Redundant Flight Control System.

John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Resolute: an assurance case language for architecture models.

Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2013

Regression Verification Using Impact Summaries.

John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Ghost Talk: Mitigating EMI Signal Injection Attacks against Analog Sensors.

Denis Foo Kune, John D. Backes, Shane S. Clark, Daniel B. Kramer, Matthew R. Reynolds, Kevin Fu, Yongdae Kim, Wenyuan Xu

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Using cubes of non-state variables with property directed reachability.

John D. Backes, Marc D. Riedel

Proceedings of the Design, Automation and Test in Europe, 2013

2012

The Synthesis of Cyclic Dependencies with Boolean Satisfiability.

John D. Backes, Marc D. Riedel

ACM Trans. Design Autom. Electr. Syst., 2012

2010

Reduction of interpolants for logic synthesis.

John D. Backes, Marc D. Riedel

Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

2009

The Synthesis of Stochastic Circuits for Nanoscale Computation.

Weikang Qian, John D. Backes, Marc D. Riedel

Int. J. Nanotechnol. Mol. Comput., 2009

2008

The analysis of cyclic circuits with Boolean satisfiability.

John D. Backes, Brian Fett, Marc D. Riedel

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008