E-LIB Suche - Ergebnisse für: Backes, John

1

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Th..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Feng, Nick ; Hu, Alan J. ; Bayless, Sam... - p. 3-23 , 2024

Link: https://doi.org/10.1007/..

2

Stratified Abstraction of Access Control Policies:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Backes, John ; Berrueco, Ulises ; Bray, Tyler... - p. 165-176 , 2020

Link: https://doi.org/10.1007/..

3

One-Click Formal Methods:

Backes, John ; Bolignano, Pauline ; Cook, Byron...
IEEE Software. 36 (2019) 6 - p. 61-65 , 2019

Link: https://doi.org/10.1109/..

4

Reachability Analysis for AWS-Based Networks:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Backes, John ; Bayless, Sam ; Cook, Byron... - p. 231-241 , 2019

Link: https://doi.org/10.1007/..

5

The JKind Model Checker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Gacek, Andrew ; Backes, John ; Whalen, Mike.. - p. 20-27 , 2018

Link: https://doi.org/10.1007/..

6

Validity-Guided Synthesis of Reactive Systems from Assume-G..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Katis, Andreas ; Fedyukovich, Grigory ; Guo, Huajun... - p. 176-193 , 2018

Link: https://doi.org/10.1007/..

7

A Formal Approach to Constructing Secure Air Vehicle Softwa..:

Cofer, Darren ; Gacek, Andrew ; Backes, John...
Computer. 51 (2018) 11 - p. 14-23 , 2018

Link: https://doi.org/10.1109/..

8

Resolute: an assurance case language for architecture model:

Gacek, Andrew ; Backes, John ; Cofer, Darren..
ACM SIGAda Ada Letters. 34 (2014) 3 - p. 19-28 , 2014

Link: https://doi.org/10.1145/..

9

Resolute : an assurance case language for architecture m..:

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

Gacek, Andrew ; Backes, John ; Cofer, Darren.. - p. 19-28 , 2014

Link: https://dl.acm.org/doi/1..

10

Using cubes of non-state variables with property directed r..:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,

Backes, John D. ; Riedel, Marc D. - p. 807-810 , 2013

Link: https://dl.acm.org/doi/1..

11

The Synthesis of Cyclic Dependencies with Boolean Satisfiab..:

Backes, John D. ; Riedel, Marc D.
ACM Transactions on Design Automation of Electronic Systems (TODAES). 17 (2012) 4 - p. 1-24 , 2012

Link: https://dl.acm.org/doi/1..

12

The Synthesis of Cyclic Dependencies with Boolean Satisfiab..:

Backes, John D. ; Riedel, Marc D.
ACM Transactions on Design Automation of Electronic Systems. 17 (2012) 4 - p. 1-24 , 2012

Link: https://doi.org/10.1145/..

13

Reduction of interpolants for logic synthesis:

, In: Proceedings of the International Conference on Computer-Aided Design,

Backes, John D. ; Riedel, Marc D. - p. 602-609 , 2010

Link: https://dl.acm.org/doi/1..

14

The Synthesis of Stochastic Circuits for Nanoscale Computat..:

Qian, Weikang ; Backes, John ; Riedel, Marc D.
International Journal of Nanotechnology and Molecular Computation. 1 (2009) 4 - p. 39-57 , 2009

Link: https://doi.org/10.4018/..

15

The analysis of cyclic circuits with Boolean satisfiability:

, In: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design,

Backes, John ; Fett, Brian ; Riedel, Marc D. - p. 143-148 , 2008

Link: https://dl.acm.org/doi/1..