المؤلفون: Feng, Nick, Hu, Alan J., Bayless, Sam, Iqbal, Syed M., Trentin, Patrick, Whalen, Mike, Pike, Lee, Backes, John

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2401.10703

المؤلفون: Backes, John, Bolignano, Pauline, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Luckow, Kasper, Rungta, Neha, Tkachuk, Oksana, Varming, Carsten

المصدر: 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-9 Oct, 2018

Relation: 2018 Formal Methods in Computer Aided Design (FMCAD)

المؤلفون: Gacek, Andrew, Backes, John, Whalen, Mike, Wagner, Lucas, Ghassabani, Elaheh

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1712.01222

المؤلفون: Katis, Andreas, Fedyukovich, Grigory, Guo, Huajun, Gacek, Andrew, Backes, John, Gurfinkel, Arie, Whalen, Michael W.

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1709.04986

المؤلفون: Katis, Andreas, Fedyukovich, Grigory, Gacek, Andrew, Backes, John, Gurfinkel, Arie, Whalen, Michael W.

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1610.05867

المؤلفون: Backes, John, Bayless, Sam, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Hu, Alan J., Kahsai, Temesghen, Kocik, Bill, Kotelnikov, Evgenii, 1990, Kukovec, Jure, McLaughlin, Sean, Reed, Jason, Rungta, Neha, Sizemore, John, Stalzer, Mark, Srinivasan, Preethi, Subotić, Pavle, Varming, Carsten, Whaley, Blake

المصدر: 31st International Conference on Computer Aided Verification, CAV 2019, New York, USA Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11562 LNCS:231-241

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/511601
https://research.chalmers.se/publication/511601/file/511601_Fulltext.pdf

المؤلفون: Kune, Denis Foo, Backes, John, Clark, Shane S., Kramer, Daniel, Reynolds, Matthew, Fu, Kevin, Kim, Yongdae, Xu, Wenyuan

المصدر: 2013 IEEE Symposium on Security and Privacy Security and Privacy (SP), 2013 IEEE Symposium on. :145-159 May, 2013

Relation: 2013 IEEE Symposium on Security and Privacy (SP) Conference dates subject to change

المؤلفون: Backes, John D., Riedel, Marc D.

المصدر: 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013. :807-810 Mar, 2013

Relation: 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE 2013)

المؤلفون: Backes, John^Aff10, Berrueco, Ulises^Aff10, Bray, Tyler^Aff10, Brim, Daniel^Aff10, Cook, Byron^Aff10, Gacek, Andrew^Aff10, Jhala, Ranjit^Aff10, Luckow, Kasper^Aff10, McLaughlin, Sean^Aff10, Menon, Madhav^Aff10, Peebles, Daniel^Aff10, Pugalia, Ujjwal^Aff10, Rungta, Neha^Aff10, Schlesinger, Cole^Aff10, Schodde, Adam^Aff10, Tanuku, Anvesh^Aff10, Varming, Carsten^Aff10, Viswanathan, Deepa^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Lahiri, Shuvendu K., editor^Aff8, Wang, Chao, editor^Aff9

المصدر: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. 12224:165-176

المؤلفون: Backes, John D., Riedel, Marc D.

المصدر: 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Computer-Aided Design (ICCAD), 2010 IEEE/ACM International Conference on. :602-609 Nov, 2010

Relation: 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)