John D. Backes

13 papers A* 1A 3Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2021 — conf
Debugging Network Reachability with Blocked Paths.
CAV (2)
Sam Bayless, John D. Backes, Dan DaCosta, Benjamin F. Jones, Nate Launchbury, Patrick Trentin, Kelsey Jewell, Sagar Joshi, Michael Q. Zeng, Nandita Mathews
2016 — conf
From Design Contracts to Component Requirements Verification.
NFM
Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek
2016 J jnl
From Design Contracts to Component Requirements Verification.
CoRR
Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek
2016 — conf
On Implementing Real-Time Specification Patterns Using Observers.
NFM
John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp
2016 J jnl
On Implementing Real-time Specification Patterns Using Observers.
CoRR
John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp
2016 J jnl
Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability.
CoRR
Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John D. Backes, Arie Gurfinkel, Michael W. Whalen
2013 A* conf
Ghost Talk: Mitigating EMI Signal Injection Attacks against Analog Sensors.
IEEE Symposium on Security and Privacy
Denis Foo Kune, John D. Backes, Shane S. Clark, Daniel B. Kramer, Matthew R. Reynolds, Kevin Fu, Yongdae Kim, Wenyuan Xu
2013 — conf
Regression Verification Using Impact Summaries.
SPIN
John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk
2013 A conf
Using cubes of non-state variables with property directed reachability.
DATE
John D. Backes, Marc D. Riedel
2012 J jnl
The Synthesis of Cyclic Dependencies with Boolean Satisfiability.
ACM Trans. Design Autom. Electr. Syst.
John D. Backes, Marc D. Riedel
2010 A conf
Reduction of interpolants for logic synthesis.
ICCAD
John D. Backes, Marc D. Riedel
2009 J jnl
The Synthesis of Stochastic Circuits for Nanoscale Computation.
Int. J. Nanotechnol. Mol. Comput.
Weikang Qian, John D. Backes, Marc D. Riedel
2008 A conf
The analysis of cyclic circuits with Boolean satisfiability.
ICCAD
John D. Backes, Brian Fett, Marc D. Riedel