Follow
Jens Oehlerking
Jens Oehlerking
Verified email at de.bosch.com
Title
Cited by
Cited by
Year
Provably safe motion of mobile robots in human environments
SB Liu, H Roehm, C Heinzemann, I Lütkebohle, J Oehlerking, M Althoff
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
842017
Experience paper: Search-based testing in automated driving control applications
C Gladisch, T Heinz, C Heinzemann, J Oehlerking, A von Vietinghoff, ...
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
602019
Reachset conformance testing of hybrid automata
H Roehm, J Oehlerking, M Woehrle, M Althoff
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
502016
STL model checking of continuous and hybrid systems
H Roehm, J Oehlerking, T Heinz, M Althoff
Automated Technology for Verification and Analysis: 14th International …, 2016
472016
Automating verification of cooperation, control, and design in traffic applications
W Damm, A Mikschl, J Oehlerking, ER Olderog, J Pang, A Platzer, ...
Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines …, 2007
462007
Position paper on the challenges posed by modern applications to cyber-physical systems theory
F Allgöwer, JB de Sousa, J Kapinski, P Mosterman, J Oehlerking, ...
Nonlinear Analysis: Hybrid Systems 34, 147-165, 2019
452019
Model conformance for cyber-physical systems: A survey
H Roehm, J Oehlerking, M Woehrle, M Althoff
ACM Transactions on Cyber-Physical Systems 3 (3), 1-26, 2019
392019
Towards component based design of hybrid systems: Safety and stability
W Damm, H Dierks, J Oehlerking, A Pnueli
Time for Verification: Essays in Memory of Amir Pnueli, 96-143, 2010
322010
Decomposition of stability proofs for hybrid systems
J Oehlerking
Universität Oldenburg, 2011
252011
Verifying Properties of an Electro-Mechanical Braking System.
T Strathmann, J Oehlerking
ARCH@ CPSWeek 34, 49-56, 2015
22*2015
Decompositional construction of Lyapunov functions for hybrid systems
J Oehlerking, O Theel
Hybrid Systems: Computation and Control: 12th International Conference, HSCC …, 2009
222009
Fully automated stability verification for piecewise affine systems
J Oehlerking, H Burchardt, O Theel
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007
222007
SOCA: Domain analysis for highly automated driving systems
M Butz, C Heinzemann, M Herrmann, J Oehlerking, M Rittel, N Schalm, ...
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
172020
A toolchain for verifying safety properties of hybrid automata via pattern templates
G Frehse, N Kekatos, D Nickovic, J Oehlerking, S Schuler, A Walsch, ...
2018 Annual American Control Conference (ACC), 2384-2391, 2018
132018
Towards automatic convergence verification of self-stabilizing algorithms
J Oehlerking, A Dhama, O Theel
Self-Stabilizing Systems: 7th International Symposium, SSS 2005, Barcelona …, 2005
132005
Towards threat metric evaluation in complex urban scenarios
P Schneider, M Butz, C Heinzemann, J Oehlerking, M Woehrle
2021 IEEE International Intelligent Transportation Systems Conference (ITSC …, 2021
92021
Industrial Examples of Formal Specifications for Test Case Generation.
H Roehm, R Gmehlich, T Heinz, J Oehlerking, M Woehrle
ARCH@ CPSWeek, 80-88, 2015
82015
Benchmark: Reachability on a model with holes.
T Heinz, J Oehlerking, M Woehrle
ARCH@ CPSWeek, 31-36, 2014
72014
Scenario-based threat metric evaluation based on the highd dataset
P Schneider, M Butz, C Heinzemann, J Oehlerking, M Woehrle
2020 IEEE Intelligent Vehicles Symposium (IV), 213-218, 2020
62020
The role of state-space partitioning in automated verification of affine hybrid system stability
H Burchardt, J Oehlerking, O Theel
Proc. of the 3rd Intl. Conf. on Computing, Communications and Control …, 2005
62005
The system can't perform the operation now. Try again later.
Articles 1–20