| DNNV: A Framework for Deep Neural Network Verification D Shriver, S Elbaum, MB Dwyer | 55 | 2021 |
| Reducing DNN Properties to Enable Falsification with Adversarial Attacks D Shriver, S Elbaum, MB Dwyer | 25 | 2021 |
| At the end of synthesis: narrowing program candidates D Shriver, S Elbaum, KT Stolee Proceedings of the 39th International Conference on Software Engineering …, 2017 | 13 | 2017 |
| Systematic generation of diverse benchmarks for dnn verification D Xu, D Shriver, MB Dwyer, S Elbaum International Conference on Computer Aided Verification, 97-121, 2020 | 11 | 2020 |
| Evaluating Recommender System Stability with Influence-Guided Fuzzing D Shriver, S Elbaum, MB Dwyer, DS Rosenblum Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), 2019 | 11 | 2019 |
| Refactoring neural networks for verification D Shriver, D Xu, S Elbaum, MB Dwyer arXiv preprint arXiv:1908.08026, 2019 | 10 | 2019 |
| Distribution Models for Falsification and Verification of DNNs F Toledo, D Shriver, S Elbaum, MB Dwyer Automated Software Engineering (ASE 2021), 2021 | 8 | 2021 |
| DeepManeuver: Adversarial test generation for trajectory manipulation of autonomous vehicles M von Stein, D Shriver, S Elbaum IEEE Transactions on Software Engineering, 2023 | 7 | 2023 |
| Deeper notions of correctness in image-based dnns: Lifting properties from pixel to entities F Toledo, D Shriver, S Elbaum, MB Dwyer Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 3 | 2023 |
| The SaTML'24 CNN Interpretability Competition: New Innovations for Concept-Level Interpretability S Casper, J Yun, J Baek, Y Jung, M Kim, K Kwon, S Park, H Moore, ... arXiv preprint arXiv:2404.02949, 2024 | 2 | 2024 |
| Artifact: reducing dnn properties to enable falsification with adversarial attacks D Shriver, S Elbaum, M Dwyer 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 2 | 2021 |
| Toward the development of richer properties for recommender systems D Shriver Proceedings of the 40th International Conference on Software Engineering …, 2018 | 2 | 2018 |
| Assessing the quality and stability of recommender systems D Shriver | 2 | 2018 |
| Concept-ROT: Poisoning Concepts in Large Language Models with Model Editing K Grimes, M Christiani, D Shriver, M Connor arXiv preprint arXiv:2412.13341, 2024 | | 2024 |
| Increasing the Applicability of Verification Tools for Neural Networks D Shriver University of Virginia, 2022 | | 2022 |
Sebastian ElbaumProfessor of Computer Science, University of VirginiaEmail verificata su virginia.edu