| PhysCov: physical test coverage for autonomous vehicles C Hildebrandt, M von Stein, S Elbaum Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 11 | 2023 |
| 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 |
| Automated environment reduction for debugging robotic systems M Von Stein, S Elbaum 2021 IEEE International Conference on Robotics and Automation (ICRA), 3985-3991, 2021 | 5 | 2021 |
| Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot M von Stein, S Elbaum IEEE/ACM International Conference on Automated Software Engineering, 2022 | 2 | 2022 |
| Preparing Software Engineers to Develop Robot Systems C Hildebrandt, M von Stein, T Woodlief, S Elbaum IEEE/ACM International Conference on Software Engineering: Software …, 2022 | 1 | 2022 |
| Automated Generation of Transformations to Mitigate Sensor Hardware Migration in ADS M von Stein, H Wang, S Elbaum IEEE Robotics and Automation Letters, 2024 | | 2024 |
| SE4SafeML’23 ACM SIGSOFT | | 2023 |
| Probabilistic Conditional System Invariant Generation with Bayesian Inference M von Stein, S Elbaum, L Feng, S Sheng https://arxiv.org/abs/2012.06615, 2020 | | 2020 |
| Qualifying Examination Final Report: Implicit Invariants for Relational Data Structures M Stein | | 2020 |
Sebastian ElbaumProfessor of Computer Science, University of VirginiaEmail verificata su virginia.edu