Frank Ortmeier

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 50

Top Venues

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs. CoRR (2024)
Ricardo Hormann, Daniel Bokelmann, Frank Ortmeier
Analysis of Security Events in Industrial Networks Using Self-Organizing Maps by the Example of Log4j. IoTBDS (2023)
Venkatesh Thirugnana Sambandham, Konstantin Kirchheim, Frank Ortmeier
Evaluating and Increasing Segmentation Robustness in CARLA. SAFECOMP Workshops (2023)
Marcel Dix, Gianluca Manca, Kenneth Chigozie Okafor, Reuben Borrison, Konstantin Kirchheim, Divyasheel Sharma, Kr Chandrika, Deepti Maduskar, Frank Ortmeier
Measuring the Robustness of ML Models Against Data Quality Issues in Industrial Time Series Data. INDIN (2023)
Konstantin Kirchheim, Marco Filax, Frank Ortmeier
On Challenging Aspects of Reproducibility in Deep Anomaly Detection. RRPR (2022)
Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
Automated Change Rule Inference for Distance-Based API Misuse Detection. CoRR (2022)
Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection. CoRR (2022)
Venkatesh Thirugnana Sambandham, Konstantin Kirchheim, Sayan Mukhopadhaya, Frank Ortmeier
Towards Transformer-based Homogenization of Satellite Imagery for Landsat-8 and Sentinel-2. CoRR (2022)
Konstantin Kirchheim, Marco Filax, Frank Ortmeier
PyTorch-OOD: A Library for Out-of-Distribution Detection based on PyTorch. CVPR Workshops (2022)
Konstantin Kirchheim, Marco Filax, Frank Ortmeier
Multi-Class Hypersphere Anomaly Detection. ICPR (2022)
Marco Filax, Frank Ortmeier
On the Influence of Viewpoint Change for Metric Learning. MVA (2021)
Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories. CoRR (2021)
Sebastian Nielebock, Robert Heumüller, Kevin Michael Schott, Frank Ortmeier
Guided pattern mining for API misuse detection by change-based code analysis. Autom. Softw. Eng. 28 (2) (2021)
Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
An Experimental Analysis of Graph-Distance Algorithms for Comparing API Usages. SCAM (2021)
Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
An Experimental Analysis of Graph-Distance Algorithms for Comparing API Usages. CoRR (2021)
Marco Filax, Tim Gonschorek, Frank Ortmeier
Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning. VISIGRAPP (4: VISAPP) (2021)
Robert Heumüller, Sebastian Nielebock, Frank Ortmeier
Exploit those code reviews! bigger data for deeper learning. ESEC/SIGSOFT FSE (2021)
Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier
AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories. MSR (2021)
Janine Matschek, Tim Gonschorek, Magnus Hanses, Norbert Elkmann, Frank Ortmeier, Rolf Findeisen
Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery. ECC (2020)
Robert Heumüller, Sebastian Nielebock, Jacob Krüger, Frank Ortmeier
Publish or perish, but do not forget your software artifacts. Empir. Softw. Eng. 25 (6) (2020)
Sebastian Nielebock, Robert Heumüller, Jacob Krüger, Frank Ortmeier
Cooperative API misuse detection using correction rules. ICSE (NIER) (2020)
Sebastian Nielebock, Robert Heumüller, Kevin Michael Schott, Frank Ortmeier
Guided Pattern Mining for API Misuse Detection by Change-Based Code Analysis. CoRR (2020)
Nadia Schillreff, Frank Ortmeier
Reduced Error Model for Learning-based Calibration of Serial Manipulators. ICINCO (2020)
Sebastian Nielebock, Robert Heumüller, Jacob Krüger, Frank Ortmeier
Using API-Embedding for API-Misuse Repair. ICSE (Workshops) (2020)
Sebastian Nielebock, Dariusz Krolikowski, Jacob Krüger, Thomas Leich, Frank Ortmeier
Commenting source code: is it worth it for small programming tasks? Empir. Softw. Eng. 24 (3) (2019)
Sebastian Nielebock, Robert Heumüller, Frank Ortmeier
Programmers do not favor lambda expressions for concurrent object-oriented code. Empir. Softw. Eng. 24 (1) (2019)
Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier
Integrating Safety Design Artifacts into System Development Models Using SafeDeML. IMBSA (2019)
Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier
Cardiotocographic Signal Feature Extraction Through CEEMDAN and Time-Varying Autoregressive Spectral-Based Analysis for Fetal Welfare Assessment. IEEE Access 7 (2019)
Marco Filax, Tim Gonschorek, Frank Ortmeier
Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations. ICPRAM (2019)
Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper
SafeDeML: On Integrating the Safety Design into the System Model. SAFECOMP (2019)
Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier
Cardiotocograph Data Classification Improvement by Using Empirical Mode Decomposition. EMBC (2019)
Robert Heumüller, Sebastian Nielebock, Frank Ortmeier
SpecTackle - A Specification Mining Experimentation Platform. SEAA (2019)
Markus J. Kögel, Petar Andonov, Marco Filax, Frank Ortmeier, Rolf Findeisen
Predictive Tracking Control of a Camera - Head Mounted Display System subject to Communication Constraints. ECC (2018)
Marco Filax, Frank Ortmeier
VIOL: Viewpoint Invariant Object Localizator - Viewpoint Invariant Planar Features in Man-Made Environments. VISIGRAPP (4: VISAPP) (2018)
Nadia Schillreff, Frank Ortmeier
Learning-based Kinematic Calibration using Adjoint Error Model. ICINCO (2) (2018)
Robert Heumüller, Sebastian Nielebock, Frank Ortmeier
Who plays with whom? ... and how? mining API interaction patterns from source code. SoftwareMining@ASE (2018)
Sebastian Nielebock, Robert Heumüller, Frank Ortmeier
Commits as a basis for API misuse detection. SoftwareMining@ASE (2018)
Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier
Spectral-Based Analysis of Progressive Dynamical Changes in the Fetal Heart Rate Signal During Labor by Using Empirical Mode Decomposition. CinC (2018)
Maximilian Klockmann, Marco Filax, Frank Ortmeier, Martin ReiB
On the Similarities of Fingerprints and Railroad Tracks: Using Minutiae Detection Algorithms to Digitize Track Plans. DAS (2018)
Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier
Fault Trees vs. Component Fault Trees: An Empirical Study. SAFECOMP Workshops (2018)
Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier
Progressive Fetal Distress Estimation by Characterization of Fetal Heart Rate Decelerations Response Based on Signal Variability in Cardiotocographic Recordings. CinC (2017)
Jacob Krüger, Sebastian Nielebock, Sebastian Krieter, Christian Diedrich, Thomas Leich, Gunter Saake, Sebastian Zug, Frank Ortmeier
Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems. SPLC (A) (2017)
Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg
On improving rare event simulation for probabilistic safety analysis. MEMOCODE (2017)
Marco Filax, Tim Gonschorek, Frank Ortmeier
Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques. IMBSA (2017)
Marco Filax, Tim Gonschorek, Frank Ortmeier
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. RSSRail (2016)
Marek Stess, Christian Schildwachter, Vera Mersheeva, Frank Ortmeier, Bernardo Wagner
Multi-sensor tracking with SPRT in an autonomous vehicle. Intelligent Vehicles Symposium (2016)
Tanja Hebecker, Robert Buchholz, Frank Ortmeier
Model-Based Local Path Planning for UAVs. J. Intell. Robotic Syst. 78 (1) (2015)
Sergey Alatartsev, Sebastian Stellmacher, Frank Ortmeier
Robotic Task Sequencing Problem: A Survey. J. Intell. Robotic Syst. 80 (2) (2015)
Mykhaylo Nykolaychuk, Frank Ortmeier
Coverage Path Re-planning for Processing Faults. ICIRA (2) (2015)
Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck
Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. Reliab. Eng. Syst. Saf. 140 (2015)
Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier
On Efficiently Specifying Models for Model Checking. IMBSA (2014)
Lukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier
On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink. SAM (2014)
Sergey Alatartsev, Frank Ortmeier
Improving the sequence of robotic tasks with freedom of execution. IROS (2014)
Sergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier
Robot Trajectory Optimization for the Relaxed End-effector Path. ICINCO (1) (2014)
Matthias Trojahn, Frank Ortmeier
Toward Mobile Authentication with Keystroke Dynamics on Mobile Phones and Tablets. AINA Workshops (2013)
Matthias Trojahn, Frank Ortmeier
Designing an Enterprise Security Strategy for Mobile Intranet Access. SERE (Companion) (2013)
Matthias Trojahn, Christian Schadewald, Frank Ortmeier
Keystroke Authentication with a Capacitive Display using Different Mobile Devices. SECRYPT (2013)
Matthias Trojahn, Frank Ortmeier
Keystroke Authentication on Mobile Devices with a Capacitive Display. ICPRAM (2013)
Frank Ortmeier, Simon Struck, Jens Meinicke
A Pragmatic Approach For Debugging Parameter-Driven Software. Software Engineering (2013)
Michael Lipaczewski, Frank Ortmeier
Teaching and Training Formal Methods for Safety Critical Systems. EUROMICRO-SEAA (2013)
Sergey Alatartsev, Vera Mersheeva, Marcus Augustine, Frank Ortmeier
On optimizing a sequence of robotic tasks. IROS (2013)
Sergey Alatartsev, Marcus Augustine, Frank Ortmeier
Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods. ICAPS (2013)
Frank Ortmeier, Simon Struck
Optimizing Formal Specifications - Why and How. MBEES (2013)
Matthias Trojahn, Florian Arndt, Frank Ortmeier
Authentication with Time Features for Keystroke Dynamics on Touchscreens. Communications and Multimedia Security (2013)
Matthias Trojahn, Florian Arndt, Markus Weinmann, Frank Ortmeier
Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards. ICEIS (3) (2013)
Simon Struck, Matthias Güdemann, Frank Ortmeier
Efficient optimization of large probabilistic models. J. Syst. Softw. 86 (10) (2013)
Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier
Trajectory Description Conception for Industrial Robots. ROBOTIK (2012)
Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck
Unifying Probabilistic and Traditional Formal Model Based Analysis. MBEES (2012)
Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann
Multi-objective Optimization of Formal Specifications. HASE (2012)
Marcus Augustine, Frank Ortmeier, Elmar Mair, Darius Burschka, Annett Stelzer, Michael Suppa
Landmark-Tree map: A biologically inspired topological map for long-distance robot navigation. ROBIO (2012)
Frank Ortmeier
Dependability in Pervasive Computing: Challenges and Chances. J. Inf. Technol. Res. 5 (1) (2012)
Michael Lipaczewski, Frank Ortmeier
Handlungsadaptive Produktionsassistenz. GI-Jahrestagung (2012)
Frank Ortmeier, Simon Struck, Michael Lipaczewski
Using model-based analysis in certification of critical software-intensive systems. Software Engineering (Workshops) (2012)
Michael Lipaczewski, Simon Struck, Frank Ortmeier
SAML goes eclipse: combining model-based safety analysis and high-level editor support. TOPI@ICSE (2012)
Sebastian Nielebock, Frank Ortmeier, Marco Schumann, André Winge
From Discrete Event Simulation to Virtual Reality Environments. SAFECOMP Workshops (2012)
Michael Lipaczewski, Simon Struck, Frank Ortmeier
Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. HASE (2012)
Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier
Tool Supported Model-Based Safety Analysis and Optimization. PRDC (2011)
Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. PRDC (2011)
Matthias Güdemann, Frank Ortmeier
Model-Based Multi-objective Safety Optimization. SAFECOMP (2011)
Matthias Güdemann, Frank Ortmeier
Probabilistic Model-Based Safety Analysis QAPL (2010)
Matthias Güdemann, Frank Ortmeier
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. HASE (2010)
Matthias Güdemann, Frank Ortmeier
Quantitative Model-Based Safety Analysis: A Case Study. Sicherheit (2010)
Frank Ortmeier, Matthias Güdemann
ProMoSA - Probabilistic Models for Safety Analysis. MBEES (2010)
Matthias Güdemann, Stefan Kegel, Frank Ortmeier, Olaf Poenicke, Klaus Richter
SysML in digital engineering. IWDE (2010)
Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker
An Abstract Specification Language for Static Program Analysis. Electron. Notes Theor. Comput. Sci. 254 (2009)
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
A generic software framework for role-based Organic Computing systems. SEAMS (2009)
Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein, Wolfgang Reif
Hiding real-time: A new approach for the software development of industrial robots. IROS (2009)
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. ATC (2009)
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
Implementing Organic Computing Systems with AgentService. ENASE (2008)
Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) (2008)
Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
A Specification and Construction Paradigm for Organic Computing Systems. SASO (2008)
Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif
Modeling of self-adaptive systems with SCADE. ISCAS (2007)
Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. SAFECOMP (2007)
Frank Ortmeier, Gerhard Schellhorn
Formal Fault Tree Analysis - Practical Experiences. Electron. Notes Theor. Comput. Sci. 185 (2007)
Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck
WG2: Software engineering for organic computing applications (SE4OC). Software Engineering (2007)
Hella Seebach, Frank Ortmeier, Wolfgang Reif
Design and construction of organic computing systems. IEEE Congress on Evolutionary Computation (2007)
Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
Safety and Dependability Analysis of Self-Adaptive Systems. ISoLA (2006)
Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
Formal Modeling and Verification of Systems with Self-x Properties. ATC (2006)
Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). EDCC (2005)
Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn
Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions (2004)

Frank Ortmeier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frank Ortmeier