Jens Oehlerking

According to our database, Jens Oehlerking authored at least 23 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Towards threat metric evaluation in complex urban scenarios.

Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

2020

Scenario-based threat metric evaluation based on the highd dataset.

Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

SOCA: Domain Analysis for Highly Automated Driving Systems.

Martin Butz, Christian Heinzemann, Martin Herrmann, Jens Oehlerking, Michael Rittel, Nadja Schalm, Dirk Ziegenbein

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019

Model Conformance for Cyber-Physical Systems: A Survey.

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff

ACM Trans. Cyber Phys. Syst., 2019

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

Christoph Gladisch, Thomas Heinz, Christian Heinzemann, Jens Oehlerking, Anne von Vietinghoff, Tim Pfitzer

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.

Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Provably safe motion of mobile robots in human environments.

Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

2016

Reachset Conformance Testing of Hybrid Automata.

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

STL Model Checking of Continuous and Hybrid Systems.

Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff

Proceedings of the Automated Technology for Verification and Analysis, 2016

Verification of Systems in Physical Contexts.

Jens Oehlerking, Thomas Strathmann

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

Verifying Properties of an Electro-Mechanical Braking System.

Thomas Strathmann, Jens Oehlerking

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Industrial Examples of Formal Specifications for Test Case Generation.

Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014

Benchmark: Reachability on a model with holes.

Thomas Heinz, Jens Oehlerking, Matthias Woehrle

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

2011

Decomposition of stability proofs for hybrid systems.

Jens Oehlerking

PhD thesis, 2011

2010

Towards Component Based Design of Hybrid Systems: Safety and Stability.

Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli

Proceedings of the Time for Verification, 2010

2009

Decompositional Construction of Lyapunov Functions for Hybrid Systems.

Jens Oehlerking, Oliver E. Theel

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems.

Jens Oehlerking, Oliver E. Theel

Proceedings of the Automated Technology for Verification and Analysis, 2009

2007

Fully Automated Stability Verification for Piecewise Affine Systems.

Jens Oehlerking, Henning Burchardt, Oliver E. Theel

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Automating Verification of Cooperation, Control, and Design in Traffic Applications.

Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps.

Abhishek Dhama, Jens Oehlerking, Oliver E. Theel

Proceedings of the 12th International Conference on Parallel and Distributed Systems, 2006

2005

Towards automatic verification of affine hybrid system stability.

Jens Oehlerking, Henning Burchardt, Oliver E. Theel

SIGBED Rev., 2005

Towards Automatic Convergence Verification of Self-stabilizing Algorithms.

Jens Oehlerking, Abhishek Dhama, Oliver E. Theel

Proceedings of the Self-Stabilizing Systems, 2005

Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems.

Henning Burchardt, Jens Oehlerking, Oliver E. Theel

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005