Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
von Stein, Meriel
10  Ergebnisse:
Personensuche X
?
1

Automated Generation of Transformations to Mitigate Sensor ..:

von Stein, Meriel ; Wang, Hongning ; Elbaum, Sebastian
IEEE Robotics and Automation Letters.  9 (2024)  7 - p. 6480-6487 , 2024
Link: https://doi.org/10.1109/..
 
?
2

DeepManeuver: Adversarial Test Generation for Trajectory Ma..:

von Stein, Meriel ; Shriver, David ; Elbaum, Sebastian
IEEE Transactions on Software Engineering.  49 (2023)  10 - p. 4496-4509 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Proceedings of the 1st International Workshop on Dependabil..:

Chechik, Marsha ; Elbaum, Sebastian ; Hu, Boyue Caroline.. , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

PhysCov: Physical Test Coverage for Autonomous Vehicles:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Hildebrandt, Carl ; von Stein, Meriel ; Elbaum, Sebastian - p. 449-461 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Preparing software engineers to develop robot systems:

, In: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Software Engineering Education and Training,
Hildebrandt, Carl ; von Stein, Meriel ; Woodlief, Trey. - p. 205-216 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Preparing Software Engineers to Develop Robot Systems:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET),
Hildebrandt, Carl ; Stein, Meriel von ; Woodlief, Trey. - p. 205-216 , 2022
Link: https://doi.org/10.1145/..
 
?
7

Finding Property Violations through Network Falsification: ..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,
von Stein, Meriel ; Elbaum, Sebastian - p. 1-5 , 2022
Link: https://dl.acm.org/doi/1..
 
?
8

DeepManeuver: Adversarial Test Generation for Trajectory Ma..:

von Stein, Meriel
https://zenodo.org/record/8284708.  , 2023
Link: https://zenodo.org/recor..
 
?
9

Paper data for DeepManeuver: Adversarial Test Generation fo..:

von Stein, Meriel
doi:10.5281/zenodo.8284639.  , 2023
Link: https://zenodo.org/recor..
 
?
10

Probabilistic Conditional System Invariant Generation with ..:

Stein, Meriel ; Elbaum, Sebastian ; Feng, Lu.
http://arxiv.org/abs/2012.06615.  , 2020
Link: http://arxiv.org/abs/201..
 
1-10