Volgen
Meriel von Stein
Meriel von Stein
University of Virginia
Geverifieerd e-mailadres voor virginia.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Automated environment reduction for debugging robotic systems
M Von Stein, S Elbaum
2021 IEEE International Conference on Robotics and Automation (ICRA), 3985-3991, 2021
42021
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
32023
DeepManeuver: Adversarial test generation for trajectory manipulation of autonomous vehicles
M von Stein, D Shriver, S Elbaum
IEEE Transactions on Software Engineering, 2023
12023
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
12022
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
12022
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–7