Jens Oehlerking

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 11

Top Venues

ARCH@CPSWeek

ITSC

HSCC

ACC

Carl von Ossietzky University of Oldenburg (PHD)

Education History

Carl von Ossietzky University of Oldenburg

PHD

Publications

Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle
Towards threat metric evaluation in complex urban scenarios. ITSC (2021)
Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle
Scenario-based threat metric evaluation based on the highd dataset. IV (2020)
Martin Butz, Christian Heinzemann, Martin Herrmann, Jens Oehlerking, Michael Rittel, Nadja Schalm, Dirk Ziegenbein
SOCA: Domain Analysis for Highly Automated Driving Systems. ITSC (2020)
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
Model Conformance for Cyber-Physical Systems: A Survey. ACM Trans. Cyber Phys. Syst. 3 (3) (2019)
Christoph Gladisch, Thomas Heinz, Christian Heinzemann, Jens Oehlerking, Anne von Vietinghoff, Tim Pfitzer
Experience Paper: Search-Based Testing in Automated Driving Control Applications. ASE (2019)
Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. ACC (2018)
Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff
Provably safe motion of mobile robots in human environments. IROS (2017)
Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff
STL Model Checking of Continuous and Hybrid Systems. ATVA (2016)
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
Reachset Conformance Testing of Hybrid Automata. HSCC (2016)
Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle
Industrial Examples of Formal Specifications for Test Case Generation. ARCH@CPSWeek (2015)
Thomas Strathmann, Jens Oehlerking
Verifying Properties of an Electro-Mechanical Braking System. ARCH@CPSWeek (2015)
Thomas Heinz, Jens Oehlerking, Matthias Woehrle
Benchmark: Reachability on a model with holes. ARCH@CPSWeek (2014)
Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli
Towards Component Based Design of Hybrid Systems: Safety and Stability. Essays in Memory of Amir Pnueli (2010)
Jens Oehlerking, Oliver E. Theel
Decompositional Construction of Lyapunov Functions for Hybrid Systems. HSCC (2009)
Jens Oehlerking, Oliver E. Theel
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. ATVA (2009)
Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz
Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems (2007)
Jens Oehlerking, Henning Burchardt, Oliver E. Theel
Fully Automated Stability Verification for Piecewise Affine Systems. HSCC (2007)
Abhishek Dhama, Jens Oehlerking, Oliver E. Theel
Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. ICPADS (1) (2006)
Henning Burchardt, Jens Oehlerking, Oliver E. Theel
Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. PRDC (2005)
Jens Oehlerking, Abhishek Dhama, Oliver E. Theel
Towards Automatic Convergence Verification of Self-stabilizing Algorithms. Self-Stabilizing Systems (2005)
Jens Oehlerking, Henning Burchardt, Oliver E. Theel
Towards automatic verification of affine hybrid system stability. SIGBED Rev. 2 (2) (2005)

Jens Oehlerking.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jens Oehlerking