Frank Ortmeier

University Hospital Magdeburg — Germany

Computer Science · Physical Sciences

22h-index1.5kcitations168works2.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Reliability and Analysis Research(50), Safety Systems Engineering in Autonomy(35), Formal Methods in Verification(34), Software Engineering Research(23), Software Testing and Debugging Techniques(21)

Publications168 total

Guided Importance Sampling for Safety and Reliability: A Pragmatic Comparison of Symbolic and Simulation-Based Approaches
2025
Empirical Analysis of OpenAI Embeddings for Semantic Code Review Comment Similarity
Lecture notes in computer science·2025
Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A
Lecture notes in computer science·2025
Out-of-Distribution Detection with Adversarial Outlier Exposure
2025
Improving Out-of-Distribution Detection with Markov Logic Networks
arXiv (Cornell University)·2025Open Access
Bridging Static and Dynamic Design for Enhanced Safety Analysis
2025· 1 cited
A Proposal for a New E-Waste Image Dataset Based on the UNU-KEYS Classification
2024· 1 citedOpen Access
Deep learning-based harmonization and super-resolution of Landsat-8 and Sentinel-2 images
ISPRS Journal of Photogrammetry and Remote Sensing·2024· 22 citedOpen Access
ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
2024Open Access
Out-of-Distribution Detection with Logical Reasoning
2024· 4 cited
Language Models as Reasoners for Out-of-Distribution Detection
Lecture notes in computer science·2024
Out-of-Distribution Detection with Logical Reasoning (Extended Abstract)
Lecture notes in computer science·2024
Measuring the Robustness of ML Models Against Data Quality Issues in Industrial Time Series Data
2023· 8 cited
A Formal Verification Framework for Model Checking Safety Requirements of a Simulink Landing Gear Case Study
2023· 2 citedOpen Access
Evaluating and Increasing Segmentation Robustness in CARLA
Lecture notes in computer science·2023· 2 cited
On Challenging Aspects of Reproducibility in Deep Anomaly Detection
Lecture notes in computer science·2023· 1 cited
Analysis of Security Events in Industrial Networks Using Self-Organizing Maps by the Example of Log4j
2023· 1 citedOpen Access
Towards Transformer-based Homogenization of Satellite Imagery for Landsat-8 and Sentinel-2
arXiv (Cornell University)·2022· 1 citedOpen Access
Multi-Class Hypersphere Anomaly Detection
2022 26th International Conference on Pattern Recognition (ICPR)·2022· 7 cited
Automated Change Rule Inference for Distance-Based API Misuse Detection
arXiv (Cornell University)·2022Open Access
page 1 of 9Next →

Frequent Co-authors

Wolfgang Reif(18), Matthias Güdemann(10), Gerhard Schellhorn(8), Sebastian Nielebock(6), Sergey Alatartsev(5), Hella Seebach(4), Jacob Krüger(4), Andreas Thums(4), Michael Lipaczewski(4), Simon Struck(4), Matthias Trojahn(3), Florian Nafz(3), Robert Heumüller(3), Marcus Augustine(3), Patricio Fuentealba(3), Alfredo Illanes(3), Konstantin Kirchheim(3), Thomas Leich(2), Andreas Angerer(2), Jan-Philipp Steghöfer(2)