3
Publications
161
Citations
3
H-Index
2016
Active since
Affiliations
Hendrik Roehm is an author at Robert Bosch (Germany) specializing in computer science, systems engineering, and engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringAutomationFormal MethodsSoftware TestingFormal VerificationComputer EngineeringHealthRobotics
Publications per year
2016–2019
3
3
Provably safe motion of mobile robots in human environments
Stefan B. Liu, Hendrik Roehm, Christian Heinzemann et al. · 2017 · 66 citations · Full text
Reachset Conformance Testing of Hybrid Automata
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle et al. · 2016 · 44 citations · Full text
Rows per page
1–3 of 3