Jens Oehlerking

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