Frank Ortmeier

According to our database, Frank Ortmeier authored at least 104 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs.

Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier

CoRR, 2024

Out-of-Distribution Detection with Logical Reasoning.

Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2023

Evaluating and Increasing Segmentation Robustness in CARLA.

Venkatesh Thirugnana Sambandham, Konstantin Kirchheim, Frank Ortmeier

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Analysis of Security Events in Industrial Networks Using Self-Organizing Maps by the Example of Log4j.

Ricardo Hormann, Daniel Bokelmann, Frank Ortmeier

Proceedings of the 8th International Conference on Internet of Things, 2023

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

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

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

Automated Change Rule Inference for Distance-Based API Misuse Detection.

Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier

CoRR, 2022

Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection.

Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier

CoRR, 2022

On Challenging Aspects of Reproducibility in Deep Anomaly Detection.

Konstantin Kirchheim, Marco Filax, Frank Ortmeier

Proceedings of the Reproducible Research in Pattern Recognition, 2022

Multi-Class Hypersphere Anomaly Detection.

Konstantin Kirchheim, Marco Filax, Frank Ortmeier

Proceedings of the 26th International Conference on Pattern Recognition, 2022

PyTorch-OOD: A Library for Out-of-Distribution Detection based on PyTorch.

Konstantin Kirchheim, Marco Filax, Frank Ortmeier

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2022

2021

Guided pattern mining for API misuse detection by change-based code analysis.

Sebastian Nielebock, Robert Heumüller, Kevin Michael Schott, Frank Ortmeier

Autom. Softw. Eng., 2021

Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning.

Marco Filax, Tim Gonschorek, Frank Ortmeier

Proceedings of the 16th International Joint Conference on Computer Vision, 2021

Exploit those code reviews! bigger data for deeper learning.

Robert Heumüller, Sebastian Nielebock, Frank Ortmeier

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

An Experimental Analysis of Graph-Distance Algorithms for Comparing API Usages.

Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

On the Influence of Viewpoint Change for Metric Learning.

Marco Filax, Frank Ortmeier

Proceedings of the 17th International Conference on Machine Vision and Applications, 2021

AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories.

Sebastian Nielebock, Paul Blockhaus, Jacob Krüger, Frank Ortmeier

Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

2020

Publish or perish, but do not forget your software artifacts.

Robert Heumüller, Sebastian Nielebock, Jacob Krüger, Frank Ortmeier

Empir. Softw. Eng., 2020

Using API-Embedding for API-Misuse Repair.

Sebastian Nielebock, Robert Heumüller, Jacob Krüger, Frank Ortmeier

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Cooperative API misuse detection using correction rules.

Sebastian Nielebock, Robert Heumüller, Jacob Krüger, Frank Ortmeier

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Reduced Error Model for Learning-based Calibration of Serial Manipulators.

Nadia Schillreff, Frank Ortmeier

Proceedings of the 17th International Conference on Informatics in Control, 2020

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

Proceedings of the 18th European Control Conference, 2020

2019

Commenting source code: is it worth it for small programming tasks?

Sebastian Nielebock, Dariusz Krolikowski, Jacob Krüger, Thomas Leich, Frank Ortmeier

Empir. Softw. Eng., 2019

Programmers do not favor lambda expressions for concurrent object-oriented code.

Sebastian Nielebock, Robert Heumüller, Frank Ortmeier

Empir. Softw. Eng., 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

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

Proceedings of the Computer Safety, Reliability, and Security, 2019

Integrating Safety Design Artifacts into System Development Models Using SafeDeML.

Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations.

Marco Filax, Tim Gonschorek, Frank Ortmeier

Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019

SpecTackle - A Specification Mining Experimentation Platform.

Robert Heumüller, Sebastian Nielebock, Frank Ortmeier

Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019

Cardiotocograph Data Classification Improvement by Using Empirical Mode Decomposition.

Patricio Fuentealba, Alfredo Illanes, Frank Ortmeier

Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

2018

VIOL: Viewpoint Invariant Object Localizator - Viewpoint Invariant Planar Features in Man-Made Environments.

Marco Filax, Frank Ortmeier

Proceedings of the 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2018), 2018

Fault Trees vs. Component Fault Trees: An Empirical Study.

Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier

Proceedings of the Computer Safety, Reliability, and Security, 2018

Commits as a basis for API misuse detection.

Sebastian Nielebock, Robert Heumüller, Frank Ortmeier

Proceedings of the 7th International Workshop on Software Mining, 2018

Who plays with whom? ... and how? mining API interaction patterns from source code.

Robert Heumüller, Sebastian Nielebock, Frank Ortmeier

Proceedings of the 7th International Workshop on Software Mining, 2018

Learning-based Kinematic Calibration using Adjoint Error Model.

Nadia Schillreff, Frank Ortmeier

Proceedings of the 15th International Conference on Informatics in Control, 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

Proceedings of the 16th European Control Conference, 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

Proceedings of the 13th IAPR International Workshop on Document Analysis Systems, 2018

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

Proceedings of the Computing in Cardiology, 2018

2017

Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems.

Jacob Krüger, Sebastian Nielebock, Sebastian Krieter, Christian Diedrich, Thomas Leich, Gunter Saake, Sebastian Zug, Frank Ortmeier

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

On improving rare event simulation for probabilistic safety analysis.

Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques.

Marco Filax, Tim Gonschorek, Frank Ortmeier

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

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

Proceedings of the Computing in Cardiology, 2017

2016

Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models.

Marco Filax, Tim Gonschorek, Frank Ortmeier

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Multi-sensor tracking with SPRT in an autonomous vehicle.

Marek Stess, Christian Schildwachter, Vera Mersheeva, Frank Ortmeier, Bernardo Wagner

Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016

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

Model-Based Local Path Planning for UAVs.

Tanja Hebecker, Robert Buchholz, Frank Ortmeier

J. Intell. Robotic Syst., 2015

Robotic Task Sequencing Problem: A Survey.

Sergey Alatartsev, Sebastian Stellmacher, Frank Ortmeier

J. Intell. Robotic Syst., 2015

Coverage Path Re-planning for Processing Faults.

Mykhaylo Nykolaychuk, Frank Ortmeier

Proceedings of the Intelligent Robotics and Applications - 8th International Conference, 2015

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

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

Improving the sequence of robotic tasks with freedom of execution.

Sergey Alatartsev, Frank Ortmeier

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

On Efficiently Specifying Models for Model Checking.

Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Robot Trajectory Optimization for the Relaxed End-effector Path.

Sergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier

Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Vienna, Austria, 1, 2014

2013

Efficient optimization of large probabilistic models.

Simon Struck, Matthias Güdemann, Frank Ortmeier

J. Syst. Softw., 2013

Designing an Enterprise Security Strategy for Mobile Intranet Access.

Matthias Trojahn, Frank Ortmeier

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

Keystroke Authentication with a Capacitive Display using Different Mobile Devices.

Matthias Trojahn, Christian Schadewald, Frank Ortmeier

Proceedings of the SECRYPT 2013, 2013

A Pragmatic Approach For Debugging Parameter-Driven Software.

Frank Ortmeier, Simon Struck, Jens Meinicke

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Optimizing Formal Specifications - Why and How.

Frank Ortmeier, Simon Struck

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

On optimizing a sequence of robotic tasks.

Sergey Alatartsev, Vera Mersheeva, Marcus Augustine, Frank Ortmeier

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Keystroke Authentication on Mobile Devices with a Capacitive Display.

Matthias Trojahn, Frank Ortmeier

Proceedings of the ICPRAM 2013, 2013

Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards.

Matthias Trojahn, Florian Arndt, Markus Weinmann, Frank Ortmeier

Proceedings of the ICEIS 2013, 2013

Teaching and Training Formal Methods for Safety Critical Systems.

Michael Lipaczewski, Frank Ortmeier

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Authentication with Time Features for Keystroke Dynamics on Touchscreens.

Matthias Trojahn, Florian Arndt, Frank Ortmeier

Proceedings of the Communications and Multimedia Security, 2013

Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods.

Sergey Alatartsev, Marcus Augustine, Frank Ortmeier

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Toward Mobile Authentication with Keystroke Dynamics on Mobile Phones and Tablets.

Matthias Trojahn, Frank Ortmeier

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012

Dependability in Pervasive Computing: Challenges and Chances.

Frank Ortmeier

J. Inf. Technol. Res., 2012

Using model-based analysis in certification of critical software-intensive systems.

Frank Ortmeier, Simon Struck, Michael Lipaczewski

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

From Discrete Event Simulation to Virtual Reality Environments.

Sebastian Nielebock, Frank Ortmeier, Marco Schumann, André Winge

Proceedings of the Computer Safety, Reliability, and Security, 2012

Trajectory Description Conception for Industrial Robots.

Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier

Proceedings of the ROBOTIK 2012, 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

Proceedings of the 2012 IEEE International Conference on Robotics and Biomimetics, 2012

Unifying Probabilistic and Traditional Formal Model Based Analysis.

Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

SAML goes eclipse: combining model-based safety analysis and high-level editor support.

Michael Lipaczewski, Simon Struck, Frank Ortmeier

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Multi-objective Optimization of Formal Specifications.

Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development.

Michael Lipaczewski, Simon Struck, Frank Ortmeier

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Handlungsadaptive Produktionsassistenz.

Michael Lipaczewski, Frank Ortmeier

Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012

2011

Model-Based Multi-objective Safety Optimization.

Matthias Güdemann, Frank Ortmeier

Proceedings of the Computer Safety, Reliability, and Security, 2011

Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities.

Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Tool Supported Model-Based Safety Analysis and Optimization.

Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

2010

Probabilistic Model-Based Safety Analysis

Matthias Güdemann, Frank Ortmeier

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Quantitative Model-Based Safety Analysis: A Case Study.

Matthias Güdemann, Frank Ortmeier

Proceedings of the Sicherheit 2010: Sicherheit, 2010

ProMoSA - Probabilistic Models for Safety Analysis.

Frank Ortmeier, Matthias Güdemann

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

SysML in digital engineering.

Matthias Güdemann, Stefan Kegel, Frank Ortmeier, Olaf Poenicke, Klaus Richter

Proceedings of the First International Workshop on Digital Engineering, 2010

A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis.

Matthias Güdemann, Frank Ortmeier

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

An Abstract Specification Language for Static Program Analysis.

Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Hiding real-time: A new approach for the software development of industrial robots.

Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein, Wolfgang Reif

Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

A generic software framework for role-based Organic Computing systems.

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif

Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems.

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif

Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009

2008

A Specification and Construction Paradigm for Organic Computing Systems.

Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Implementing Organic Computing Systems with AgentService.

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif

Proceedings of the ENASE 2008, 2008

Organic Computing for Health Care Systems - Possible Benefits and Challenges.

Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif

Proceedings of the First International Conference on Health Informatics, 2008

2007

WG2: Software engineering for organic computing applications (SE4OC).

Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck

Proceedings of the Software Engineering 2007, 2007

Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif

Proceedings of the Computer Safety, 2007

Modeling of self-adaptive systems with SCADE.

Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

Design and construction of organic computing systems.

Hella Seebach, Frank Ortmeier, Wolfgang Reif

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006

Formale Sicherheitsanalyse.

Frank Ortmeier

PhD thesis, 2006

Formal Fault Tree Analysis - Practical Experiences.

Frank Ortmeier, Gerhard Schellhorn

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

Safety and Dependability Analysis of Self-Adaptive Systems.

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif

Proceedings of the Leveraging Applications of Formal Methods, 2006

Formal Modeling and Verification of Systems with Self-x Properties.

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif

Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

2005

Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA).

Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn

Proceedings of the Dependable Computing, 2005

2004

Integrated formal methods for safety analysis of train systems.

Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn

Proceedings of the Building the Information Society, 2004

Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques.

Frank Ortmeier, Wolfgang Reif

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Interactive Verification of Statecharts.

Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Combining Formal Methods and Safety Analysis - The ForMoSA Approach.

Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Introduction to Subject Area "Verification".

Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

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