Jens Oehlerking

Provably safe motion of mobile robots in human environments

Stefan B. Liu, Hendrik Roehm, Christian Heinzemann et al. · 2017 · 66 citations · Full text

Engineering, Field Robotics, Intelligent Robotics +18

Experience Paper: Search-Based Testing in Automated Driving Control Applications

Christoph Gladisch, Thomas Heinz, Christian Heinzemann et al. · 2019 · 59 citations

Engineering, Verification, Test Data Generation +19

Model Conformance for Cyber-Physical Systems

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle et al. · ACM Transactions on Cyber-Physical Systems · 2019 · 51 citations · Full text

Engineering, Conformance Relations, Formal Verification +17

Reachset Conformance Testing of Hybrid Automata

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle et al. · 2016 · 44 citations · Full text

Engineering, Verification, Computer-aided Verification +21

Position paper on the challenges posed by modern applications to cyber-physical systems theory

Frank Allgöwer, João Borges de Sousa, James Kapinski et al. · Nonlinear Analysis Hybrid Systems · 2019 · 36 citations · Full text

Cyber Physical Systems, Engineering, Modern Applications +6