Concepedia

Alexander Poddey

AP

2

Publications

31

Citations

2

H-Index

2019

Active since

Affiliations

Robert Bosch (Germany)(Current)

Alexander Poddey is an author at Robert Bosch (Germany) specializing in formal methods, verification, and automated reasoning.

Top concepts

DesignAutomationEngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationIntelligent SystemsSystems Engineering

Publications per year

2019–2019

2

Publications

2

Formalisation and algorithmic approach to the automated driving validation problem

Jan Erik Stellet, Tino Brade, Alexander Poddey et al. · 2019 · 16 citations

Automotive Engineering, Engineering, Root Cause +21

On the validation of complex systems operating in open contexts

Alexander Poddey, Tino Brade, Jan Erik Stellet et al. · arXiv (Cornell University) · 2019 · 15 citations · Full text

Engineering, Holistic Development Process, Verification +29

Rows per page

1–2 of 2