-
1تقرير
-
2مؤتمر
المؤلفون: 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)
-
3تقرير
المؤلفون: Gacek, Andrew, Backes, John, Whalen, Mike, Wagner, Lucas, Ghassabani, Elaheh
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1712.01222
-
4تقرير
المؤلفون: 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
-
5تقرير
المؤلفون: 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
-
6
المؤلفون: 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 -
7مؤتمر
المؤلفون: 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
-
8مؤتمر
المؤلفون: 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)
-
9كتاب إلكتروني
المؤلفون: Backes, JohnAff10, Berrueco, UlisesAff10, Bray, TylerAff10, Brim, DanielAff10, Cook, ByronAff10, Gacek, AndrewAff10, Jhala, RanjitAff10, Luckow, KasperAff10, McLaughlin, SeanAff10, Menon, MadhavAff10, Peebles, DanielAff10, Pugalia, UjjwalAff10, Rungta, NehaAff10, Schlesinger, ColeAff10, Schodde, AdamAff10, Tanuku, AnveshAff10, Varming, CarstenAff10, Viswanathan, DeepaAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Lahiri, Shuvendu K., editorAff8, Wang, Chao, editorAff9
المصدر: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. 12224:165-176
-
10مؤتمر
المؤلفون: 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)