| 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 | 86 | 2017 |
| 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 | 71 | 2019 |
| Reachset conformance testing of hybrid automata H Roehm, J Oehlerking, M Woehrle, M Althoff Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 54 | 2016 |
| 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 | 52 | 2016 |
| 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 | 50 | 2019 |
| 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 | 49 | 2019 |
| 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 | 46 | 2007 |
| 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 | 33 | 2010 |
| Decomposition of stability proofs for hybrid systems J Oehlerking Universität Oldenburg, 2011 | 27 | 2011 |
| 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 | 24 | 2020 |
| Verifying Properties of an Electro-Mechanical Braking System. T Strathmann, J Oehlerking ARCH@ CPSWeek 34, 49-56, 2015 | 23* | 2015 |
| Fully automated stability verification for piecewise affine systems J Oehlerking, H Burchardt, O Theel Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007 | 23 | 2007 |
| Decompositional construction of Lyapunov functions for hybrid systems J Oehlerking, O Theel Hybrid Systems: Computation and Control: 12th International Conference, HSCC …, 2009 | 21 | 2009 |
| 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 | 14 | 2018 |
| Towards automatic convergence verification of self-stabilizing algorithms J Oehlerking, A Dhama, O Theel Self-Stabilizing Systems: 7th International Symposium, SSS 2005, Barcelona …, 2005 | 14 | 2005 |
| 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 | 11 | 2021 |
| 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 | 9 | 2020 |
| Benchmark: Reachability on a model with holes. T Heinz, J Oehlerking, M Woehrle ARCH@ CPSWeek, 31-36, 2014 | 9 | 2014 |
| Industrial Examples of Formal Specifications for Test Case Generation. H Roehm, R Gmehlich, T Heinz, J Oehlerking, M Woehrle ARCH@ CPSWeek, 80-88, 2015 | 8 | 2015 |
| 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 | 6 | 2005 |
