John Backes

Identifiers

• name variant John Backes 0.60 · backfill

Papers (6)

1. The JKind Model Checker cs.LO · 2017 · author #2
2. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts cs.SE · 2017 · author #5
3. Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability cs.SE · 2016 · author #4
4. Requirements Analysis of a Quad-Redundant Flight Control System cs.SE · 2015 · author #1
5. Towards Realizability Checking of Contracts using Theories cs.SE · 2015 · author #4
6. Resolute: An Assurance Case Language for Architecture Models cs.SE · 2014 · author #2

Mentions

• 1502.03343 #1 · backfill · confidence 0.70 John Backes
• 1502.03005 #4 · backfill · confidence 0.70 John Backes
• 1409.4629 #2 · backfill · confidence 0.70 John Backes

Frequent Coauthors

• Andrew Gacek 5 shared papers
• Andreas Katis 3 shared papers
• Darren Cofer 3 shared papers
• Michael W. Whalen 3 shared papers
• Mike Whalen 3 shared papers
• Arie Gurfinkel 2 shared papers
• Grigory Fedyukovich 2 shared papers
• Elaheh Ghassabani 1 shared papers
• Huajun Guo 1 shared papers
• Konrad Slind 1 shared papers
• Lucas Wagner 1 shared papers
• Steven Miller 1 shared papers