Safety analysis of the height control system for the Elbtunnel. - Frank Ortmeier; Gerhard Schellhorn; Andreas Thums; Wolfgang Reif; Bernhard Hering; Helmut Trappschuh (Reliab. Eng. Syst. Saf., 2003)

Introduction to Subject Area "Verification". - Frank Ortmeier; Wolfgang Reif; Gerhard Schellhorn (SoftSpez Final Report, 2004)

Combining Formal Methods and Safety Analysis - The ForMoSA Approach. - Frank Ortmeier; Andreas Thums; Gerhard Schellhorn; Wolfgang Reif (SoftSpez Final Report, 2004)

Interactive Verification of Statecharts. - Andreas Thums; Gerhard Schellhorn; Frank Ortmeier; Wolfgang Reif (SoftSpez Final Report, 2004)

Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. - Frank Ortmeier; Wolfgang Reif (DSN, 2004)

Integrated formal methods for safety analysis of train systems. - Wolfgang Reif; Frank Ortmeier; Andreas Thums; Gerhard Schellhorn (IFIP Congress Topical Sessions, 2004)

Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). - Frank Ortmeier; Wolfgang Reif; Gerhard Schellhorn (EDCC, 2005)

Formal Modeling and Verification of Systems with Self-x Properties. - Matthias Güdemann; Frank Ortmeier; Wolfgang Reif (ATC, 2006)

Safety and Dependability Analysis of Self-Adaptive Systems. - Matthias Güdemann; Frank Ortmeier; Wolfgang Reif (ISoLA, 2006)

Formal Fault Tree Analysis - Practical Experiences. - Frank Ortmeier; Gerhard Schellhorn (AVoCS, 2006)

Formale Sicherheitsanalyse. - Frank Ortmeier (2006)

Design and construction of organic computing systems. - Hella Seebach; Frank Ortmeier; Wolfgang Reif (IEEE Congress on Evolutionary Computation, 2007)

Modeling of self-adaptive systems with SCADE. - Matthias Güdemann; Andreas Angerer; Frank Ortmeier; Wolfgang Reif (ISCAS, 2007)

Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. - Matthias Güdemann; Frank Ortmeier; Wolfgang Reif (SAFECOMP, 2007)

WG2: Software engineering for organic computing applications (SE4OC). - Frank Ortmeier; Wolfgang Reif; Giovanna Di Marzo Serugendo; Hartmut Schmeck (Software Engineering, 2007)

Organic Computing for Health Care Systems - Possible Benefits and Challenges. - Florian Nafz; Frank Ortmeier; Hella Seebach; Wolfgang Reif (HEALTHINF (2), 2008)

Implementing Organic Computing Systems with AgentService. - Florian Nafz; Frank Ortmeier; Hella Seebach; Jan-Philipp Steghöfer; Wolfgang Reif (ENASE, 2008)

A Specification and Construction Paradigm for Organic Computing Systems. - Matthias Güdemann; Florian Nafz; Frank Ortmeier; Hella Seebach; Wolfgang Reif (SASO, 2008)

A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. - Florian Nafz; Frank Ortmeier; Hella Seebach; Jan-Philipp Steghöfer; Wolfgang Reif (ATC, 2009)

A generic software framework for role-based Organic Computing systems. - Florian Nafz; Frank Ortmeier; Hella Seebach; Jan-Philipp Steghöfer; Wolfgang Reif (SEAMS, 2009)

Hiding real-time: A new approach for the software development of industrial robots. - Alwin Hoffmann; Andreas Angerer; Frank Ortmeier; Michael Vistein; Wolfgang Reif (IROS, 2009)

An Abstract Specification Language for Static Program Analysis. - Michael Vistein; Frank Ortmeier; Wolfgang Reif; Ralf Huuck; Ansgar Fehnker (SSV, 2009)

A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. - Matthias Güdemann; Frank Ortmeier (HASE, 2010)

SysML in digital engineering. - Matthias Güdemann; Stefan Kegel; Frank Ortmeier; Olaf Poenicke; Klaus Richter (IWDE, 2010)

ProMoSA - Probabilistic Models for Safety Analysis. - Frank Ortmeier; Matthias Güdemann (MBEES, 2010)

Quantitative Model-Based Safety Analysis: A Case Study. - Matthias Güdemann; Frank Ortmeier (Sicherheit, 2010)

Probabilistic Model-Based Safety Analysis - Matthias Güdemann; Frank Ortmeier (QAPL, 2010)

Tool Supported Model-Based Safety Analysis and Optimization. - Matthias Güdemann; Michael Lipaczewski; Frank Ortmeier (PRDC, 2011)

Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. - Matthias Güdemann; Michael Lipaczewski; Frank Ortmeier; Marco Schumann; Robert Eschbach (PRDC, 2011)

Model-Based Multi-objective Safety Optimization. - Matthias Güdemann; Frank Ortmeier (SAFECOMP, 2011)

Handlungsadaptive Produktionsassistenz. - Michael Lipaczewski; Frank Ortmeier (GI-Jahrestagung, 2012)

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. - Michael Lipaczewski; Simon Struck; Frank Ortmeier (HASE, 2012)

Multi-objective Optimization of Formal Specifications. - Simon Struck; Michael Lipaczewski; Frank Ortmeier; Matthias Güdemann (HASE, 2012)

SAML goes eclipse: combining model-based safety analysis and high-level editor support. - Michael Lipaczewski; Simon Struck; Frank Ortmeier (TOPI@ICSE, 2012)

Unifying Probabilistic and Traditional Formal Model Based Analysis. - Frank Ortmeier; Matthias Güdemann; Michael Lipaczewski; Simon Struck (MBEES, 2012)

Landmark-Tree map: A biologically inspired topological map for long-distance robot navigation. - Marcus Augustine; Frank Ortmeier; Elmar Mair; Darius Burschka; Annett Stelzer; Michael Suppa (ROBIO, 2012)

Trajectory Description Conception for Industrial Robots. - Sergey Alatartsev; Matthias Güdemann; Frank Ortmeier (ROBOTIK, 2012)

From Discrete Event Simulation to Virtual Reality Environments. - Sebastian Nielebock 001; Frank Ortmeier; Marco Schumann; André Winge (SAFECOMP Workshops, 2012)

Using model-based analysis in certification of critical software-intensive systems. - Frank Ortmeier; Simon Struck; Michael Lipaczewski (Software Engineering (Workshops), 2012)

Dependability in Pervasive Computing: Challenges and Chances. - Frank Ortmeier (J. Inf. Technol. Res., 2012)

Toward Mobile Authentication with Keystroke Dynamics on Mobile Phones and Tablets. - Matthias Trojahn; Frank Ortmeier (AINA Workshops, 2013)

Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods. - Sergey Alatartsev; Marcus Augustine; Frank Ortmeier (ICAPS, 2013)

Authentication with Time Features for Keystroke Dynamics on Touchscreens. - Matthias Trojahn; Florian Arndt; Frank Ortmeier (Communications and Multimedia Security, 2013)

Teaching and Training Formal Methods for Safety Critical Systems. - Michael Lipaczewski; Frank Ortmeier (EUROMICRO-SEAA, 2013)

Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards. - Matthias Trojahn; Florian Arndt; Markus Weinmann; Frank Ortmeier (ICEIS (3), 2013)

Keystroke Authentication on Mobile Devices with a Capacitive Display. - Matthias Trojahn; Frank Ortmeier (ICPRAM, 2013)

On optimizing a sequence of robotic tasks. - Sergey Alatartsev; Vera Mersheeva; Marcus Augustine; Frank Ortmeier (IROS, 2013)

Optimizing Formal Specifications - Why and How. - Frank Ortmeier; Simon Struck (MBEES, 2013)

A Pragmatic Approach For Debugging Parameter-Driven Software. - Frank Ortmeier; Simon Struck; Jens Meinicke (Software Engineering, 2013)

Keystroke Authentication with a Capacitive Display using Different Mobile Devices. - Matthias Trojahn; Christian Schadewald; Frank Ortmeier (SECRYPT, 2013)

Designing an Enterprise Security Strategy for Mobile Intranet Access. - Matthias Trojahn; Frank Ortmeier (SERE (Companion), 2013)

Efficient optimization of large probabilistic models. - Simon Struck; Matthias Güdemann; Frank Ortmeier (J. Syst. Softw., 2013)

Robot Trajectory Optimization for the Relaxed End-effector Path. - Sergey Alatartsev; Anton Belov; Mykhaylo Nykolaychuk; Frank Ortmeier (ICINCO (1), 2014)

On Efficiently Specifying Models for Model Checking. - Mykhaylo Nykolaychuk; Michael Lipaczewski; Tino Liebusch; Frank Ortmeier (IMBSA, 2014)

Improving the sequence of robotic tasks with freedom of execution. - Sergey Alatartsev; Frank Ortmeier (IROS, 2014)

On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink. - Lukas Mäurer; Tanja Hebecker; Torben Stolte; Michael Lipaczewski; Uwe Möhrstädt; Frank Ortmeier (SAM, 2014)

Coverage Path Re-planning for Processing Faults. - Mykhaylo Nykolaychuk; Frank Ortmeier (ICIRA (2), 2015)

Robotic Task Sequencing Problem: A Survey. - Sergey Alatartsev; Sebastian Stellmacher; Frank Ortmeier (J. Intell. Robotic Syst., 2015)

Model-Based Local Path Planning for UAVs. - Tanja Hebecker; Robert Buchholz; Frank Ortmeier (J. Intell. Robotic Syst., 2015)

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. - Michael Lipaczewski; Frank Ortmeier; Tatiana Prosvirnova; Antoine Rauzy; Simon Struck (Reliab. Eng. Syst. Saf., 2015)

Multi-sensor tracking with SPRT in an autonomous vehicle. - Marek Stess; Christian Schildwachter; Vera Mersheeva; Frank Ortmeier; Bernardo Wagner (Intelligent Vehicles Symposium, 2016)

Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. - Marco Filax; Tim Gonschorek; Frank Ortmeier (RSSRail, 2016)

Progressive Fetal Distress Estimation by Characterization of Fetal Heart Rate Decelerations Response Based on Signal Variability in Cardiotocographic Recordings. - Patricio Fuentealba; Alfredo Illanes; Frank Ortmeier (CinC, 2017)

Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques. - Marco Filax; Tim Gonschorek; Frank Ortmeier (IMBSA, 2017)

On improving rare event simulation for probabilistic safety analysis. - Tim Gonschorek; Ben Rabeler; Frank Ortmeier; Dirk Schomburg (MEMOCODE, 2017)

Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems. - Jacob Krüger; Sebastian Nielebock 001; Sebastian Krieter; Christian Diedrich; Thomas Leich; Gunter Saake; Sebastian Zug; Frank Ortmeier (SPLC (A), 2017)

Spectral-Based Analysis of Progressive Dynamical Changes in the Fetal Heart Rate Signal During Labor by Using Empirical Mode Decomposition. - Patricio Fuentealba; Alfredo Illanes; Frank Ortmeier (CinC, 2018)

On the Similarities of Fingerprints and Railroad Tracks: Using Minutiae Detection Algorithms to Digitize Track Plans. - Maximilian Klockmann; Marco Filax; Frank Ortmeier; Martin ReiB (DAS, 2018)

Predictive Tracking Control of a Camera - Head Mounted Display System subject to Communication Constraints. - Markus J. Kögel; Petar Andonov; Marco Filax; Frank Ortmeier; Rolf Findeisen (ECC, 2018)

Learning-based Kinematic Calibration using Adjoint Error Model. - Nadia Schillreff; Frank Ortmeier (ICINCO (2), 2018)

Who plays with whom? ... and how? mining API interaction patterns from source code. - Robert Heumüller; Sebastian Nielebock 001; Frank Ortmeier (SoftwareMining@ASE, 2018)

Commits as a basis for API misuse detection. - Sebastian Nielebock 001; Robert Heumüller; Frank Ortmeier (SoftwareMining@ASE, 2018)

Fault Trees vs. Component Fault Trees: An Empirical Study. - Tim Gonschorek; Marc Zeller; Kai Höfig; Frank Ortmeier (SAFECOMP Workshops, 2018)

VIOL: Viewpoint Invariant Object Localizator - Viewpoint Invariant Planar Features in Man-Made Environments. - Marco Filax; Frank Ortmeier (VISIGRAPP (4: VISAPP), 2018)

Cardiotocograph Data Classification Improvement by Using Empirical Mode Decomposition. - Patricio Fuentealba; Alfredo Illanes; Frank Ortmeier (EMBC, 2019)

SpecTackle - A Specification Mining Experimentation Platform. - Robert Heumüller; Sebastian Nielebock 001; Frank Ortmeier (SEAA, 2019)

Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations. - Marco Filax; Tim Gonschorek; Frank Ortmeier (ICPRAM, 2019)

Integrating Safety Design Artifacts into System Development Models Using SafeDeML. - Tim Gonschorek; Philipp Bergt; Marco Filax; Frank Ortmeier (IMBSA, 2019)

SafeDeML: On Integrating the Safety Design into the System Model. - Tim Gonschorek; Philipp Bergt; Marco Filax; Frank Ortmeier; Jan von Hoyningen-Hüne; Thorsten Piper (SAFECOMP, 2019)

Cardiotocographic Signal Feature Extraction Through CEEMDAN and Time-Varying Autoregressive Spectral-Based Analysis for Fetal Welfare Assessment. - Patricio Fuentealba; Alfredo Illanes; Frank Ortmeier (IEEE Access, 2019)

Programmers do not favor lambda expressions for concurrent object-oriented code. - Sebastian Nielebock 001; Robert Heumüller; Frank Ortmeier (Empir. Softw. Eng., 2019)

Commenting source code: is it worth it for small programming tasks? - Sebastian Nielebock 001; Dariusz Krolikowski; Jacob Krüger; Thomas Leich; Frank Ortmeier (Empir. Softw. Eng., 2019)

Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery. - Janine Matschek; Tim Gonschorek; Magnus Hanses; Norbert Elkmann; Frank Ortmeier; Rolf Findeisen (ECC, 2020)

Reduced Error Model for Learning-based Calibration of Serial Manipulators. - Nadia Schillreff; Frank Ortmeier (ICINCO, 2020)

Cooperative API misuse detection using correction rules. - Sebastian Nielebock 001; Robert Heumüller; Jacob Krüger; Frank Ortmeier (ICSE (NIER), 2020)

Using API-Embedding for API-Misuse Repair. - Sebastian Nielebock 001; Robert Heumüller; Jacob Krüger; Frank Ortmeier (ICSE (Workshops), 2020)

Publish or perish, but do not forget your software artifacts. - Robert Heumüller; Sebastian Nielebock 001; Jacob Krüger; Frank Ortmeier (Empir. Softw. Eng., 2020)

AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories. - Sebastian Nielebock 001; Paul Blockhaus; Jacob Krüger; Frank Ortmeier (MSR, 2021)

On the Influence of Viewpoint Change for Metric Learning. - Marco Filax; Frank Ortmeier (MVA, 2021)

An Experimental Analysis of Graph-Distance Algorithms for Comparing API Usages. - Sebastian Nielebock 001; Paul Blockhaus; Jacob Krüger; Frank Ortmeier (SCAM, 2021)

Exploit those code reviews! bigger data for deeper learning. - Robert Heumüller; Sebastian Nielebock 001; Frank Ortmeier (ESEC/SIGSOFT FSE, 2021)

Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning. - Marco Filax; Tim Gonschorek; Frank Ortmeier (VISIGRAPP (4: VISAPP), 2021)

Guided pattern mining for API misuse detection by change-based code analysis. - Sebastian Nielebock 001; Robert Heumüller; Kevin Michael Schott; Frank Ortmeier (Autom. Softw. Eng., 2021)

PyTorch-OOD: A Library for Out-of-Distribution Detection based on PyTorch. - Konstantin Kirchheim; Marco Filax; Frank Ortmeier (CVPR Workshops, 2022)

Multi-Class Hypersphere Anomaly Detection. - Konstantin Kirchheim; Marco Filax; Frank Ortmeier (ICPR, 2022)

On Challenging Aspects of Reproducibility in Deep Anomaly Detection. - Konstantin Kirchheim; Marco Filax; Frank Ortmeier (RRPR, 2022)

Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection. - Konstantin Kirchheim; Tim Gonschorek; Frank Ortmeier (CoRR, 2022)

Automated Change Rule Inference for Distance-Based API Misuse Detection. - Sebastian Nielebock 001; Paul Blockhaus; Jacob Krüger; Frank Ortmeier (CoRR, 2022)

Towards Transformer-based Homogenization of Satellite Imagery for Landsat-8 and Sentinel-2. - Venkatesh Thirugnana Sambandham; Konstantin Kirchheim; Sayan Mukhopadhaya; Frank Ortmeier (CoRR, 2022)

Measuring 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 (INDIN, 2023)

Analysis of Security Events in Industrial Networks Using Self-Organizing Maps by the Example of Log4j. - Ricardo Hormann; Daniel Bokelmann; Frank Ortmeier (IoTBDS, 2023)

Evaluating and Increasing Segmentation Robustness in CARLA. - Venkatesh Thirugnana Sambandham; Konstantin Kirchheim; Frank Ortmeier (SAFECOMP Workshops, 2023)

ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs. - Sebastian Nielebock 001; Paul Blockhaus; Jacob Krüger; Frank Ortmeier (APR, 2024)

Out-of-Distribution Detection with Logical Reasoning (Extended Abstract). - Konstantin Kirchheim; Tim Gonschorek; Frank Ortmeier (KI, 2024)

Language Models as Reasoners for Out-of-Distribution Detection. - Konstantin Kirchheim; Frank Ortmeier (SAFECOMP (Workshops), 2024)

Out-of-Distribution Detection with Logical Reasoning. - Konstantin Kirchheim; Tim Gonschorek; Frank Ortmeier (WACV, 2024)

Out-of-Distribution Detection with Adversarial Outlier Exposure. - Thomas Botschen; Konstantin Kirchheim; Frank Ortmeier (CVPR Workshops, 2025)

Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A. - Tim Gonschorek; Frank Ortmeier (SAFECOMP (Workshops), 2025)

Improving Out-of-Distribution Detection with Markov Logic Networks. - Konstantin Kirchheim; Frank Ortmeier (CoRR, 2025)