Meriel von Stein

Orcid: 0000-0003-4641-4199

According to our database1, Meriel von Stein authored at least 6 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.
IEEE Trans. Software Eng., October, 2023

PhysCov: Physical Test Coverage for Autonomous Vehicles.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022
Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Preparing Software Engineers to Develop Robot Systems.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2022

2021
Automated Environment Reduction for Debugging Robotic Systems.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020
Probabilistic Conditional System Invariant Generation with Bayesian Inference.
CoRR, 2020


  Loading...