Frank Ortmeier
Orcid: 0000-0001-6186-4142Affiliations:
- Otto von Guericke University Magdeburg, Germany
According to our database1,
Frank Ortmeier
authored at least 106 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
5
10
3
1
1
3
3
1
1
1
4
3
3
5
4
5
8
4
2
1
4
11
9
3
5
4
3
4
3
1
5
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
Proceedings of the KI 2024: Advances in Artificial Intelligence, 2024
Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024
2023
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.
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.
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.
CoRR, 2022
CoRR, 2022
Proceedings of the Reproducible Research in Pattern Recognition, 2022
Proceedings of the 26th International Conference on Pattern Recognition, 2022
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2022
2021
Autom. Softw. Eng., 2021
Proceedings of the 16th International Joint Conference on Computer Vision, 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021
Proceedings of the 17th International Conference on Machine Vision and Applications, 2021
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021
2020
Empir. Softw. Eng., 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020
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.
Proceedings of the 18th European Control Conference, 2020
2019
Empir. Softw. Eng., 2019
Empir. Softw. Eng., 2019
Cardiotocographic Signal Feature Extraction Through CEEMDAN and Time-Varying Autoregressive Spectral-Based Analysis for Fetal Welfare Assessment.
IEEE Access, 2019
Proceedings of the Computer Safety, Reliability, and Security, 2019
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019
Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019
Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019
Cardiotocograph Data Classification Improvement by Using Empirical Mode Decomposition.
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.
Proceedings of the 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2018), 2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the 7th International Workshop on Software Mining, 2018
Proceedings of the 7th International Workshop on Software Mining, 2018
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.
Proceedings of the 16th European Control Conference, 2018
On the Similarities of Fingerprints and Railroad Tracks: Using Minutiae Detection Algorithms to Digitize Track Plans.
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.
Proceedings of the Computing in Cardiology, 2018
2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
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.
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.
Proceedings of the Computing in Cardiology, 2017
2016
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016
Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016
2015
Reliab. Eng. Syst. Saf., 2015
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.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014
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
Proceedings of the Seventh International Conference on Software Security and Reliability, 2013
Proceedings of the SECRYPT 2013, 2013
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013
Optimizing Formal Specifications - Why and How.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Keystroke Authentication on Mobile Devices with a Capacitive Display.
Proceedings of the ICPRAM 2013, 2013
Proceedings of the ICEIS 2013, 2013
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013
Proceedings of the Communications and Multimedia Security, 2013
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013
2012
J. Inf. Technol. Res., 2012
Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012
Proceedings of the Computer Safety, Reliability, and Security, 2012
Proceedings of the ROBOTIK 2012, 2012
Landmark-Tree map: A biologically inspired topological map for long-distance robot navigation.
Proceedings of the 2012 IEEE International Conference on Robotics and Biomimetics, 2012
Unifying Probabilistic and Traditional Formal Model Based Analysis.
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.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012
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.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
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
Proceedings of the Computer Safety, Reliability, and Security, 2011
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011
2010
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010
Proceedings of the Sicherheit 2010: Sicherheit, 2010
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010
Proceedings of the First International Workshop on Digital Engineering, 2010
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010
2009
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009
Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009
2008
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
Implementing Organic Computing Systems with AgentService.
Proceedings of the ENASE 2008, 2008
Organic Computing for Health Care Systems - Possible Benefits and Challenges.
Proceedings of the First International Conference on Health Informatics, 2008
2007
WG2: Software engineering for organic computing applications (SE4OC).
Proceedings of the Software Engineering 2007, 2007
Proceedings of the Computer Safety, 2007
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007
Proceedings of the IEEE Congress on Evolutionary Computation, 2007
2006
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
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).
Proceedings of the Dependable Computing, 2005
2004
Proceedings of the Building the Information Society, 2004
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
2003
Reliab. Eng. Syst. Saf., 2003