| DNNV: A Framework for Deep Neural Network Verification D Shriver, S Elbaum, MB Dwyer | 26 | 2021 |
| Reducing DNN Properties to Enable Falsification with Adversarial Attacks D Shriver, S Elbaum, MB Dwyer | 17 | 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 | 10 | 2017 |
| 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 | 9 | 2019 |
| Refactoring neural networks for verification D Shriver, D Xu, S Elbaum, MB Dwyer arXiv preprint arXiv:1908.08026, 2019 | 8 | 2019 |
| Distribution Models for Falsification and Verification of DNNs F Toledo, D Shriver, S Elbaum, MB Dwyer Automated Software Engineering (ASE 2021), 2021 | 6 | 2021 |
| 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 | 5 | 2020 |
| Toward the development of richer properties for recommender systems D Shriver Proceedings of the 40th International Conference on Software Engineering …, 2018 | 2 | 2018 |
| 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 | 1 | 2021 |
| Assessing the quality and stability of recommender systems D Shriver | 1 | 2018 |
| 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 | | 2023 |
| DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles M von Stein, D Shriver, S Elbaum IEEE Transactions on Software Engineering, 2023 | | 2023 |
| Increasing the Applicability of Verification Tools for Neural Networks D Shriver University of Virginia, 2022 | | 2022 |
Sebastian ElbaumProfessor of Computer Science, University of VirginiaPotvrđena adresa e-pošte na virginia.edu
