Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. - Henning Burchardt; Jens Oehlerking; Oliver E. Theel (PRDC, 2005)

Towards Automatic Convergence Verification of Self-stabilizing Algorithms. - Jens Oehlerking; Abhishek Dhama; Oliver E. Theel (Self-Stabilizing Systems, 2005)

Towards automatic verification of affine hybrid system stability. - Jens Oehlerking; Henning Burchardt; Oliver E. Theel (SIGBED Rev., 2005)

Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. - Abhishek Dhama; Jens Oehlerking; Oliver E. Theel (ICPADS (1), 2006)

Automating Verification of Cooperation, Control, and Design in Traffic Applications. - Werner Damm; Alfred Mikschl; Jens Oehlerking; Ernst-Rüdiger Olderog; Jun Pang 001; André Platzer; Marc Segelken; Boris Wirtz (Formal Methods and Hybrid Real-Time Systems, 2007)

Fully Automated Stability Verification for Piecewise Affine Systems. - Jens Oehlerking; Henning Burchardt; Oliver E. Theel (HSCC, 2007)

A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. - Jens Oehlerking; Oliver E. Theel (ATVA, 2009)

Decompositional Construction of Lyapunov Functions for Hybrid Systems. - Jens Oehlerking; Oliver E. Theel (HSCC, 2009)

Towards Component Based Design of Hybrid Systems: Safety and Stability. - Werner Damm; Henning Dierks; Jens Oehlerking; Amir Pnueli (Essays in Memory of Amir Pnueli, 2010)

Decomposition of stability proofs for hybrid systems. - Jens Oehlerking (2011)

Benchmark: Reachability on a model with holes. - Thomas Heinz 001; Jens Oehlerking; Matthias Woehrle (ARCH@CPSWeek, 2014)

Industrial Examples of Formal Specifications for Test Case Generation. - Hendrik Roehm; Rainer Gmehlich; Thomas Heinz 001; Jens Oehlerking; Matthias Woehrle (ARCH@CPSWeek, 2015)

Verifying Properties of an Electro-Mechanical Braking System. - Thomas Strathmann; Jens Oehlerking (ARCH@CPSWeek, 2015)

Verification of Systems in Physical Contexts. - Jens Oehlerking; Thomas Strathmann (Advanced Model-Based Engineering of Embedded Systems, 2016)

STL Model Checking of Continuous and Hybrid Systems. - Hendrik Roehm; Jens Oehlerking; Thomas Heinz 001; Matthias Althoff (ATVA, 2016)

Reachset Conformance Testing of Hybrid Automata. - Hendrik Roehm; Jens Oehlerking; Matthias Woehrle; Matthias Althoff (HSCC, 2016)

Provably safe motion of mobile robots in human environments. - Stefan B. Liu; Hendrik Roehm; Christian Heinzemann; Ingo Lütkebohle; Jens Oehlerking; Matthias Althoff (IROS, 2017)

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 (ACC, 2018)

Experience Paper: Search-Based Testing in Automated Driving Control Applications. - Christoph Gladisch; Thomas Heinz 001; Christian Heinzemann; Jens Oehlerking; Anne von Vietinghoff; Tim Pfitzer (ASE, 2019)

Model Conformance for Cyber-Physical Systems: A Survey. - Hendrik Roehm; Jens Oehlerking; Matthias Woehrle; Matthias Althoff (ACM Trans. Cyber Phys. Syst., 2019)

SOCA: Domain Analysis for Highly Automated Driving Systems. - Martin Butz; Christian Heinzemann; Martin Herrmann; Jens Oehlerking; Michael Rittel; Nadja Schalm; Dirk Ziegenbein (ITSC, 2020)

Scenario-based threat metric evaluation based on the highd dataset. - Patrick Schneider; Martin Butz; Christian Heinzemann; Jens Oehlerking; Matthias Woehrle (IV, 2020)

Towards threat metric evaluation in complex urban scenarios. - Patrick Schneider; Martin Butz; Christian Heinzemann; Jens Oehlerking; Matthias Woehrle (ITSC, 2021)