Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John D. Backes
@inproceedings{DBLP:conf/tacas/FengHBITWPB24,
author = {Nick Feng and
Alan J. Hu and
Sam Bayless and
Syed M. Iqbal and
Patrick Trentin and
Mike Whalen and
Lee Pike and
John Backes},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {{DRAT} Proofs of Unsatisfiability for {SAT} Modulo Monotonic Theories},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {3--23},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_1},
doi = {10.1007/978-3-031-57246-3\_1},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FengHBITWPB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-10703,
author = {Nick Feng and
Alan J. Hu and
Sam Bayless and
Syed M. Iqbal and
Patrick Trentin and
Mike Whalen and
Lee Pike and
John Backes},
title = {{DRAT} Proofs of Unsatisfiability for {SAT} Modulo Monotonic Theories},
journal = {CoRR},
volume = {abs/2401.10703},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.10703},
doi = {10.48550/ARXIV.2401.10703},
eprinttype = {arXiv},
eprint = {2401.10703},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-10703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaylessBDJLTJJZ20,
author = {Sam Bayless and
John D. Backes and
Dan DaCosta and
Benjamin F. Jones and
Nate Launchbury and
Patrick Trentin and
Kelsey Jewell and
Sagar Joshi and
Michael Q. Zeng and
Nandita Mathews},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Debugging Network Reachability with Blocked Paths},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {851--862},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_39},
doi = {10.1007/978-3-030-81688-9\_39},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BaylessBDJLTJJZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BackesBBBCGJLMM20,
author = {John Backes and
Ulises Berrueco and
Tyler Bray and
Daniel Brim and
Byron Cook and
Andrew Gacek and
Ranjit Jhala and
Kasper S{\o}e Luckow and
Sean McLaughlin and
Madhav Menon and
Daniel Peebles and
Ujjwal Pugalia and
Neha Rungta and
Cole Schlesinger and
Adam Schodde and
Anvesh Tanuku and
Carsten Varming and
Deepa Viswanathan},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Stratified Abstraction of Access Control Policies},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {165--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_9},
doi = {10.1007/978-3-030-53288-8\_9},
timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
biburl = {https://dblp.org/rec/conf/cav/BackesBBBCGJLMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BackesBCGLRSSTV19,
author = {John Backes and
Pauline Bolignano and
Byron Cook and
Andrew Gacek and
Kasper S{\o}e Luckow and
Neha Rungta and
Martin Sch{\"{a}}f and
Cole Schlesinger and
Rima Tanash and
Carsten Varming and
Michael W. Whalen},
title = {One-Click Formal Methods},
journal = {{IEEE} Softw.},
volume = {36},
number = {6},
pages = {61--65},
year = {2019},
url = {https://doi.org/10.1109/MS.2019.2930609},
doi = {10.1109/MS.2019.2930609},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BackesBCGLRSSTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BackesBCDGHKKKK19,
author = {John Backes and
Sam Bayless and
Byron Cook and
Catherine Dodge and
Andrew Gacek and
Alan J. Hu and
Temesghen Kahsai and
Bill Kocik and
Evgenii Kotelnikov and
Jure Kukovec and
Sean McLaughlin and
Jason Reed and
Neha Rungta and
John Sizemore and
Mark A. Stalzer and
Preethi Srinivasan and
Pavle Subotic and
Carsten Varming and
Blake Whaley},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Reachability Analysis for AWS-Based Networks},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {231--241},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_14},
doi = {10.1007/978-3-030-25543-5\_14},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/BackesBCDGHKKKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CoferGBWPFPKKAH18,
author = {Darren D. Cofer and
Andrew Gacek and
John Backes and
Michael W. Whalen and
Lee Pike and
Adam Foltzer and
Michal Podhradsky and
Gerwin Klein and
Ihor Kuz and
June Andronick and
Gernot Heiser and
Douglas Stuart},
title = {A Formal Approach to Constructing Secure Air Vehicle Software},
journal = {Computer},
volume = {51},
number = {11},
pages = {14--23},
year = {2018},
url = {https://doi.org/10.1109/MC.2018.2876051},
doi = {10.1109/MC.2018.2876051},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CoferGBWPFPKKAH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GacekBWWG18,
author = {Andrew Gacek and
John Backes and
Mike Whalen and
Lucas G. Wagner and
Elaheh Ghassabani},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {The JKind Model Checker},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {20--27},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_3},
doi = {10.1007/978-3-319-96142-2\_3},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/GacekBWWG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BackesBCDGLRTV18,
author = {John Backes and
Pauline Bolignano and
Byron Cook and
Catherine Dodge and
Andrew Gacek and
Kasper S{\o}e Luckow and
Neha Rungta and
Oksana Tkachuk and
Carsten Varming},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Semantic-based Automated Reasoning for {AWS} Access Policies using
{SMT}},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8602994},
doi = {10.23919/FMCAD.2018.8602994},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BackesBCDGLRTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KatisFGGBGW18,
author = {Andreas Katis and
Grigory Fedyukovich and
Huajun Guo and
Andrew Gacek and
John Backes and
Arie Gurfinkel and
Michael W. Whalen},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee
Contracts},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {176--193},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_10},
doi = {10.1007/978-3-319-89963-3\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/KatisFGGBGW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04986,
author = {Andreas Katis and
Grigory Fedyukovich and
Huajun Guo and
Andrew Gacek and
John Backes and
Arie Gurfinkel and
Michael W. Whalen},
title = {Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee
Contracts},
journal = {CoRR},
volume = {abs/1709.04986},
year = {2017},
url = {http://arxiv.org/abs/1709.04986},
eprinttype = {arXiv},
eprint = {1709.04986},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-01222,
author = {Andrew Gacek and
John Backes and
Mike Whalen and
Lucas G. Wagner and
Elaheh Ghassabani},
title = {The JKind Model Checker},
journal = {CoRR},
volume = {abs/1712.01222},
year = {2017},
url = {http://arxiv.org/abs/1712.01222},
eprinttype = {arXiv},
eprint = {1712.01222},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-01222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BackesWGK16,
author = {John D. Backes and
Michael W. Whalen and
Andrew Gacek and
John Komp},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {On Implementing Real-Time Specification Patterns Using Observers},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {19--33},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_2},
doi = {10.1007/978-3-319-40648-0\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BackesWGK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LiuBCG16,
author = {Jing Liu and
John D. Backes and
Darren D. Cofer and
Andrew Gacek},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {From Design Contracts to Component Requirements Verification},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {373--387},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_28},
doi = {10.1007/978-3-319-40648-0\_28},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LiuBCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuBCG16,
author = {Jing Liu and
John D. Backes and
Darren D. Cofer and
Andrew Gacek},
title = {From Design Contracts to Component Requirements Verification},
journal = {CoRR},
volume = {abs/1603.02130},
year = {2016},
url = {http://arxiv.org/abs/1603.02130},
eprinttype = {arXiv},
eprint = {1603.02130},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiuBCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BackesWGK16,
author = {John D. Backes and
Michael W. Whalen and
Andrew Gacek and
John Komp},
title = {On Implementing Real-time Specification Patterns Using Observers},
journal = {CoRR},
volume = {abs/1604.08155},
year = {2016},
url = {http://arxiv.org/abs/1604.08155},
eprinttype = {arXiv},
eprint = {1604.08155},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BackesWGK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KatisFGBGW16,
author = {Andreas Katis and
Grigory Fedyukovich and
Andrew Gacek and
John D. Backes and
Arie Gurfinkel and
Michael W. Whalen},
title = {Synthesis from Assume-Guarantee Contracts using Skolemized Proofs
of Realizability},
journal = {CoRR},
volume = {abs/1610.05867},
year = {2016},
url = {http://arxiv.org/abs/1610.05867},
eprinttype = {arXiv},
eprint = {1610.05867},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KatisFGBGW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BackesCMW15,
author = {John Backes and
Darren D. Cofer and
Steven P. Miller and
Michael W. Whalen},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Requirements Analysis of a Quad-Redundant Flight Control System},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {82--96},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_7},
doi = {10.1007/978-3-319-17524-9\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BackesCMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GacekKWBC15,
author = {Andrew Gacek and
Andreas Katis and
Michael W. Whalen and
John Backes and
Darren D. Cofer},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Towards Realizability Checking of Contracts Using Theories},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {173--187},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_13},
doi = {10.1007/978-3-319-17524-9\_13},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/GacekKWBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GacekKWBC15,
author = {Andrew Gacek and
Andreas Katis and
Michael W. Whalen and
John Backes and
Darren D. Cofer},
title = {Towards Realizability Checking of Contracts using Theories},
journal = {CoRR},
volume = {abs/1502.03005},
year = {2015},
url = {http://arxiv.org/abs/1502.03005},
eprinttype = {arXiv},
eprint = {1502.03005},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GacekKWBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BackesCMW15,
author = {John Backes and
Darren D. Cofer and
Steven P. Miller and
Mike Whalen},
title = {Requirements Analysis of a Quad-Redundant Flight Control System},
journal = {CoRR},
volume = {abs/1502.03343},
year = {2015},
url = {http://arxiv.org/abs/1502.03343},
eprinttype = {arXiv},
eprint = {1502.03343},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BackesCMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/GacekBCSW14,
author = {Andrew Gacek and
John Backes and
Darren D. Cofer and
Konrad Slind and
Mike Whalen},
editor = {Michael B. Feldman and
S. Tucker Taft},
title = {Resolute: an assurance case language for architecture models},
booktitle = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
2014},
pages = {19--28},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2663171.2663177},
doi = {10.1145/2663171.2663177},
timestamp = {Fri, 02 Jun 2023 17:16:28 +0200},
biburl = {https://dblp.org/rec/conf/sigada/GacekBCSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GacekBCSW14,
author = {Andrew Gacek and
John Backes and
Darren D. Cofer and
Konrad Slind and
Mike Whalen},
title = {Resolute: An Assurance Case Language for Architecture Models},
journal = {CoRR},
volume = {abs/1409.4629},
year = {2014},
url = {http://arxiv.org/abs/1409.4629},
eprinttype = {arXiv},
eprint = {1409.4629},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GacekBCSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BackesR13,
author = {John D. Backes and
Marc D. Riedel},
editor = {Enrico Macii},
title = {Using cubes of non-state variables with property directed reachability},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {807--810},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.171},
doi = {10.7873/DATE.2013.171},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/BackesR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/KuneBCKRFKX13,
author = {Denis Foo Kune and
John D. Backes and
Shane S. Clark and
Daniel B. Kramer and
Matthew R. Reynolds and
Kevin Fu and
Yongdae Kim and
Wenyuan Xu},
title = {Ghost Talk: Mitigating {EMI} Signal Injection Attacks against Analog
Sensors},
booktitle = {2013 {IEEE} Symposium on Security and Privacy, {SP} 2013, Berkeley,
CA, USA, May 19-22, 2013},
pages = {145--159},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SP.2013.20},
doi = {10.1109/SP.2013.20},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/KuneBCKRFKX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BackesPRT13,
author = {John D. Backes and
Suzette Person and
Neha Rungta and
Oksana Tkachuk},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Regression Verification Using Impact Summaries},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {99--116},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_7},
doi = {10.1007/978-3-642-39176-7\_7},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/BackesPRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/BackesR12,
author = {John D. Backes and
Marc D. Riedel},
title = {The Synthesis of Cyclic Dependencies with Boolean Satisfiability},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {17},
number = {4},
pages = {44:1--44:24},
year = {2012},
url = {https://doi.org/10.1145/2348839.2348848},
doi = {10.1145/2348839.2348848},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/BackesR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BackesR10,
author = {John D. Backes and
Marc D. Riedel},
editor = {Louis Scheffer and
Joel R. Phillips and
Alan J. Hu},
title = {Reduction of interpolants for logic synthesis},
booktitle = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
San Jose, CA, USA, November 7-11, 2010},
pages = {602--609},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICCAD.2010.5654209},
doi = {10.1109/ICCAD.2010.5654209},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/BackesR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnmc/QianBR09,
author = {Weikang Qian and
John D. Backes and
Marc D. Riedel},
title = {The Synthesis of Stochastic Circuits for Nanoscale Computation},
journal = {Int. J. Nanotechnol. Mol. Comput.},
volume = {1},
number = {4},
pages = {39--57},
year = {2009},
url = {https://doi.org/10.4018/jnmc.2009120903},
doi = {10.4018/JNMC.2009120903},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijnmc/QianBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BackesFR08,
author = {John D. Backes and
Brian Fett and
Marc D. Riedel},
editor = {Sani R. Nassif and
Jaijeet S. Roychowdhury},
title = {The analysis of cyclic circuits with Boolean satisfiability},
booktitle = {2008 International Conference on Computer-Aided Design, {ICCAD} 2008,
San Jose, CA, USA, November 10-13, 2008},
pages = {143--148},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICCAD.2008.4681565},
doi = {10.1109/ICCAD.2008.4681565},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/BackesFR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
