Werner, Benjamin D.
2624  Ergebnisse:
Personensuche X
?
2

Machine Learning Qualification Process and Impact to System..:

, In: 2024 Annual Reliability and Maintainability Symposium (RAMS),
 
?
4

Measures and Metrics of ML Data and Models to Assure Reliab..:

, In: 2024 Annual Reliability and Maintainability Symposium (RAMS),
 
?
7

Roadmap Development to Reduce Risk Associated with the Depl..:

, In: 2023 Annual Reliability and Maintainability Symposium (RAMS),
 
?
8

Extended quasicontinuum methodology for highly heterogeneou..:

Werner, Benjamin ; Zeman, Jan ; Rokoš, Ondřej
International Journal for Numerical Methods in Engineering.  125 (2023)  6 - p. , 2023
 
?
11

Mutation divergence over space in tumour expansion:

Li, Haiyang ; Yang, Zixuan ; Tu, Fengyu...
Journal of The Royal Society Interface.  20 (2023)  208 - p. , 2023
 
?
12

Proposed V-Model for Verification, Validation, and Safety A..:

, In: 2023 IEEE International Conference on Assured Autonomy (ICAA),
 
?
13

An Assurance Case for the DoD Ethical Principles of Artific..:

, In: 2023 Annual Reliability and Maintainability Symposium (RAMS),
 
?
15

A drag-and-drop proof tactic:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
 
1-15