-
1تقرير
المؤلفون: Hader, Thomas, Ozdemir, Alex
المصدر: 22nd SMT workshop (at CAV 2024), Montreal, Canada, July, 22-23, 2024
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2407.21169
-
2مؤتمر
المؤلفون: Chen, Edward, Zhu, Jinhao, Ozdemir, Alex, Wahby, Riad S., Brown, Fraser, Zheng, Wenting
المصدر: 2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :848-863 May, 2023
Relation: 2023 IEEE Symposium on Security and Privacy (SP)
-
3مؤتمر
المؤلفون: Nair, Abhishek, Chattopadhyay, Saranyu, Wu, Haoze, Ozdemir, Alex, Barrett, Clark
المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :84-88 Oct, 2022
Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)
-
4مؤتمر
المؤلفون: Ozdemir, Alex, Brown, Fraser, Wahby, Riad S.
المصدر: 2022 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2022 IEEE Symposium on. :2248-2266 May, 2022
Relation: 2022 IEEE Symposium on Security and Privacy (SP)
-
5كتاب إلكتروني
المؤلفون: Ozdemir, AlexAff9, Aff10, Pailoor, ShankaraAff10, Bassa, AlpAff10, Ferles, KostasAff10, Barrett, ClarkAff9, Dillig, IşilAff10
المساهمون: Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Gurfinkel, Arie, editorAff7, Ganesh, Vijay, editorAff8
المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I. 14681:3-25
-
6مؤتمر
المؤلفون: Ozdemir, Alex, Wu, Haoze, Barrett, Clark
المصدر: 2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :241-245 Oct, 2021
Relation: 2021 Formal Methods in Computer Aided Design (FMCAD)
-
7مؤتمر
المؤلفون: Wu, Haoze, Ozdemir, Alex, Zeljic, Aleksandar, Julian, Kyle, Irfan, Ahmed, Gopinath, Divya, Fouladi, Sadjad, Katz, Guy, Pasareanu, Corina, Barrett, Clark
المصدر: 2020 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2020. :128-137 Sep, 2020
Relation: 2020 Formal Methods in Computer Aided Design (FMCAD)
-
8كتاب إلكتروني
المؤلفون: Ozdemir, AlexAff9, Kremer, GereonAff9, Aff10, Tinelli, CesareAff11, Barrett, ClarkAff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Enea, Constantin, editorAff7, Lal, Akash, editorAff8
المصدر: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II. 13965:163-186
-
9كتاب إلكتروني
المؤلفون: Ozdemir, AlexAff9, Wahby, Riad S.Aff10, Brown, FraserAff10, Barrett, ClarkAff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Enea, Constantin, editorAff7, Lal, Akash, editorAff8
المصدر: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. 13966:154-175
-
10تقرير
المؤلفون: Ozdemir, Alex, Niemetz, Aina, Preiner, Mathias, Zohar, Yoni, Barrett, Clark
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1907.00087