Skip to content

Frank Ortmeier

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

49

Venues

29

Active years

2002–2025

Best venue rank

A*

Where they publish

Papers

49 indexed papers, newest first.

YearVenueTitleAuthors
2025CoDITAdaptive Robotic Path Planning via Obstacle Trajectory-Guided Reinforcement Learning.Ali Nafih Pullani, Frank Ortmeier
2025CVPROut-of-Distribution Detection with Adversarial Outlier Exposure.Thomas Botschen, Konstantin Kirchheim, Frank Ortmeier
2025ICMLImproving Out-of-Distribution Detection with Markov Logic Networks.Konstantin Kirchheim, Frank Ortmeier
2025PRDCGuided Importance Sampling for Safety and Reliability: A Pragmatic Comparison of Symbolic and Simulation-Based Approaches.Tim Gonschorek, Frank Ortmeier
2025SAFECOMPFunctional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A.Tim Gonschorek, Frank Ortmeier
2024KIOut-of-Distribution Detection with Logical Reasoning (Extended Abstract).Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
2024WACVOut-of-Distribution Detection with Logical Reasoning.Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
2024SAFECOMPLanguage Models as Reasoners for Out-of-Distribution Detection.Konstantin Kirchheim, Frank Ortmeier
2023INDINMeasuring the Robustness of ML Models Against Data Quality Issues in Industrial Time Series Data.Marcel Dix, Gianluca Manca, Kenneth Chigozie Okafor, Reuben Borrison, Konstantin Kirchheim, Divyasheel Sharma, Chandrika K. R., Deepti Maduskar, Frank Ortmeier
2023SAFECOMPEvaluating and Increasing Segmentation Robustness in CARLA.Venkatesh Thirugnana Sambandham, Konstantin Kirchheim, Frank Ortmeier
2022CVPRPyTorch-OOD: A Library for Out-of-Distribution Detection based on PyTorch.Konstantin Kirchheim, Marco Filax, Frank Ortmeier
2022ICPRMulti-Class Hypersphere Anomaly Detection.Konstantin Kirchheim, Marco Filax, Frank Ortmeier
2021MSRAndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories.Sebastian Nielebock, Paul Blockhaus, Jacob Krger, Frank Ortmeier
2021MVAOn the Influence of Viewpoint Change for Metric Learning.Marco Filax, Frank Ortmeier
2021SCAMAn Experimental Analysis of Graph-Distance Algorithms for Comparing API Usages.Sebastian Nielebock, Paul Blockhaus, Jacob Krger, Frank Ortmeier
2020ICINCOReduced Error Model for Learning-based Calibration of Serial Manipulators.Nadia Schillreff, Frank Ortmeier
2020ICSECooperative API misuse detection using correction rules.Sebastian Nielebock, Robert Heumller, Jacob Krger, Frank Ortmeier
2020ICSEUsing API-Embedding for API-Misuse Repair.Sebastian Nielebock, Robert Heumller, Jacob Krger, Frank Ortmeier
2019ICPRAMData for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations.Marco Filax, Tim Gonschorek, Frank Ortmeier
2019SAFECOMPSafeDeML: On Integrating the Safety Design into the System Model.Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hne, Thorsten Piper
2018DASOn the Similarities of Fingerprints and Railroad Tracks: Using Minutiae Detection Algorithms to Digitize Track Plans.Maximilian Klockmann, Marco Filax, Frank Ortmeier, Martin ReiB
2018ICINCOLearning-based Kinematic Calibration using Adjoint Error Model.Nadia Schillreff, Frank Ortmeier
2018SAFECOMPFault Trees vs. Component Fault Trees: An Empirical Study.Tim Gonschorek, Marc Zeller, Kai Hfig, Frank Ortmeier
2017MEMOCODEOn improving rare event simulation for probabilistic safety analysis.Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg
2017SPLCBeyond Software Product Lines: Variability Modeling in Cyber-Physical Systems.Jacob Krger, Sebastian Nielebock, Sebastian Krieter, Christian Diedrich, Thomas Leich, Gunter Saake, Sebastian Zug, Frank Ortmeier
2014ICINCORobot Trajectory Optimization for the Relaxed End-effector Path.Sergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier
2014IROSImproving the sequence of robotic tasks with freedom of execution.Sergey Alatartsev, Frank Ortmeier
2013AINAToward Mobile Authentication with Keystroke Dynamics on Mobile Phones and Tablets.Matthias Trojahn, Frank Ortmeier
2013ICPRAMKeystroke Authentication on Mobile Devices with a Capacitive Display.Matthias Trojahn, Frank Ortmeier
2013IROSOn optimizing a sequence of robotic tasks.Sergey Alatartsev, Vera Mersheeva, Marcus Augustine, Frank Ortmeier
2013SECRYPTKeystroke Authentication with a Capacitive Display using Different Mobile Devices.Matthias Trojahn, Christian Schadewald, Frank Ortmeier
2012GIHandlungsadaptive Produktionsassistenz.Michael Lipaczewski, Frank Ortmeier
2012ICSESAML goes eclipse: combining model-based safety analysis and high-level editor support.Michael Lipaczewski, Simon Struck, Frank Ortmeier
2012SAFECOMPFrom Discrete Event Simulation to Virtual Reality Environments.Sebastian Nielebock, Frank Ortmeier, Marco Schumann, Andr Winge
2011PRDCTool Supported Model-Based Safety Analysis and Optimization.Matthias Gdemann, Michael Lipaczewski, Frank Ortmeier
2011PRDCTowards Making Dependability Visual - Combining Model-Based Design and Virtual Realities.Matthias Gdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach
2011SAFECOMPModel-Based Multi-objective Safety Optimization.Matthias Gdemann, Frank Ortmeier
2009ATCA Universal Self-Organization Mechanism for Role-Based Organic Computing Systems.Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghfer, Wolfgang Reif
2009IROSHiding real-time: A new approach for the software development of industrial robots.Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein, Wolfgang Reif
2009ICSEA generic software framework for role-based Organic Computing systems.Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghfer, Wolfgang Reif
2008ENASEImplementing Organic Computing Systems with AgentService.Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghfer, Wolfgang Reif
2007CECDesign and construction of organic computing systems.Hella Seebach, Frank Ortmeier, Wolfgang Reif
2007ISCASModeling of self-adaptive systems with SCADE.Matthias Gdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif
2007SAFECOMPUsing Deductive Cause-Consequence Analysis (DCCA) with SCADE.Matthias Gdemann, Frank Ortmeier, Wolfgang Reif
2006ATCFormal Modeling and Verification of Systems with Self-x Properties.Matthias Gdemann, Frank Ortmeier, Wolfgang Reif
2006ISoLASafety and Dependability Analysis of Self-Adaptive Systems.Matthias Gdemann, Frank Ortmeier, Wolfgang Reif
2005EDCCFormal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA).Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
2004DSNSafety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques.Frank Ortmeier, Wolfgang Reif
2002SAFECOMPSafety Analysis of the Height Control System for the Elbtunnel.Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh