John D. Backes - University of Minnesota

基本信息

Career Trajectory

Bio

No content for now

Research Interests

Papers共 26 篇Author StatisticsCo-AuthorSimilar Experts

By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选

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

CoRR (2024): 3-23

Cited0Views0EIBibtex

Debugging Network Reachability with Blocked Paths

S. Bayless,J. Backes, D. DaCosta,B. F. Jones, N. Launchbury,P. Trentin, K. Jewell, S. Joshi, M. Q. Zeng, N. Mathews

COMPUTER AIDED VERIFICATION, PT II, CAV 2021 (2021): 851-862

Cited3Views0EIBibtex

Stratified Abstraction of Access Control Policies

John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim,Byron Cook,Andrew Gacek,Ranjit Jhala,Kasper Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia,

COMPUTER AIDED VERIFICATION (CAV 2020), PT I（2020）

Cited9Views0EIBibtex

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,

COMPUTER AIDED VERIFICATION, CAV 2019, PT II（2019）

Cited53Views0EIBibtex

One-Click Formal Methods

John Backes,Pauline Bolignano,Byron Cook,Andrew Gacek,Kasper Soe Luckow,Neha Rungta,Martin Schaef,Cole Schlesinger,Rima Tanash,Carsten Varming,Michael Whalen

IEEE Software（2019）

Cited16Views0EIWOSBibtex

A Formal Approach to Constructing Secure Air Vehicle Software

Darren 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）

Cited37Views0EIWOSBibtex

Semantic-based Automated Reasoning for AWS Access Policies using SMT

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

2018 Formal Methods in Computer Aided Design (FMCAD)（2018）

Cited98Views0EIWOSBibtex

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

ETAPS（2018）

Cited13Views0EIBibtex

The JKind Model Checker

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

COMPUTER AIDED VERIFICATION, CAV 2018, PT II（2017）

Cited55Views0EIBibtex

Secure mathematically-assured composition of control models

Darren Cofer,John Backes,Andrew Gacek, Daniel DaCosta,Michael Whalen,Ihor Kuz,Gerwin Klein,Gernot Heiser,Lee Pike,Adam Foltzer,Michal Podhradsky,Douglas Stuart,

user-5dd52aee530c701191bf1b99（2017）

Cited8Views0Bibtex

Author Statistics

Co-Author

Co-Institution

D-Core

合作者
学生
导师

No result temporarily, you can search similar Scholar with the same research interest

Data Disclaimer

The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn