Frank Ortmeier

Frank Ortmeier
Mail: frank.ortmeier@ovgu.de
Room: G29, R404
Phone: +49 391 67 52804

Since 2013, I am head of the „Chair of Software Engineering (CSE)“ at the Otto-von-Guericke-University Magdeburg. Before that I had been an associate professor for „Computer Systems in Engineering“ and a Post-Doc at Augsburg University.

Currently, I am leading several research projects, coordinating the Bachelor program „Ingenieurinformatik“ and the Master program „Digital Engineering“ and I am a founding member of the university compentence Center for Digital Engineering, Management and Operations.

The leading theme of my research is making advances in Computer Science available for engineering applications – with a special focus on methods from Software Engineering, formal specification techniques and robotics. Lack of Efficiency in developing new, dependable aoftware for almost any Domain of Engineering is – in my opinion – probably the biggest hurdle for new innovations.

In the last years, many new ideas from software engineering research already found their path to industrial practice for „Mainstream“ IT-applications. At the same time, development process, languages and paradigms for robotics, automotive systems or production automation have not changed a lot.

As a consequence software development and maintenance costs explode and software is often becoming a risk factor in engineering. This is in particular important as many new innovations in engineering, production or even the products are based on smart IT.

Research focus:

  • Software engineering for technical applications and embedded systems
  • Model-based approaches for software-intensive systems
  • Self-organization as a new programming paradigm
  • Systems Engineering
  • Design and analysis of highly safety critical applications
  • Techniques for designing an integrated view on dependability covering various facets like safety, reliability, security, transparency and user-trust

 Teaching activities

Up to date information on current lectures may be found in the „For Students“ sections. In general my lectures are organized around the following topics:

  • Software Engineering
  • Clean Code Development
  • Software Engineering for technical applications
  • Software develpoment for industrial robotics
  • Specification methods and model-based approaches
  • Safety critical Systems
  • Mobile devices

 Ongoing activities and projects (excerpt):

  • Project: VIP-MoBaSA – „Validation of model-based approaches for dependable systems“
  • Project: ProMoSA – „Probabilistic Models for Safety Analysis“
  • Project: ViERforES – „Virtuelle und Erweiterte Realitaeten für hoechste Sicherheit und Zuverlaessigkeit von EingebettetenSystemen“
  • Project: TDL – Trajectory Description Language
  • Member of EWICS TC 7: The European Workshop on Industrial Computer Systems, Technical Committee 7, Safety, Reliability and Security
  • Member of „Gesellschaft für Systems Engineering“
  • General Chair and PC Chair of SAFECOMP2012
  • Speaker of regional sub-group „Sachsen-Anhalt“ of the „Gesellschaft für Informatik“
  • Organizer of workshop „Software Engineering for mechatronical systems“ (2007 and 2008)
  • Tutorials on model based safety analysis at the SAFECOMP conference (2008 and 2009)
  • Reviewer and PC member for various international conferences and journal
Frank Ortmeier

Publications

141 Einträge « 1 von 3 »

2020

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

Publish or Perish, but do not Forget your Software Artifacts Artikel Forthcoming

Empirical Software Engineering, Forthcoming, (Preprint).

Abstract | Links | BibTeX

Matschek, Janine; Gonschorek, Tim; Hanses, Magnus; Elkmann, Norbert; Ortmeier, Frank; Findeisen, Rolf

Learning References with Gaussian Processes in Model Predictive Control Applied to Robot Assisted Surgery Inproceedings Forthcoming

IFAC, (Hrsg.): Forthcoming.

BibTeX

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

Using API-Embedding for API-Misuse Repair Inproceedings Forthcoming

ACM, (Hrsg.): Proceedings of the 1st International Workshop on Automated Program Repair (APR 2020) in conjunction with 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, Forthcoming.

Links | BibTeX

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

Cooperative API Misuse Detection Using Correction Rules Inproceedings Forthcoming

ACM, (Hrsg.): Proccedings of the 42nd IEEE/ACM International Conference on Software Engineering - New Ideas and Emerging Results Track, ICSE-NIER, ACM, Forthcoming.

Links | BibTeX

2019

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Independent Analysis of Decelerations and Resting Periods through CEEMDAN and Spectral-Based Feature Extraction Improves Cardiotocographic Assessment Artikel

Applied Sciences, 9 (24), S. 5421, 2019, ISSN: 2076-3417.

Abstract | Links | BibTeX

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

A Study on the Classification Performance of Cardiotocographic Data vs Class Formation Criteria Inproceedings Forthcoming

Forthcoming.

Abstract | BibTeX

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Cardiotocographic Signal Feature Extraction through CEEMDAN and Time-Varying Autoregressive Spectral-Based Analysis for Fetal Welfare Assessment Artikel

IEEE Access, 7 (1), S. 159754 - 159772, 2019.

Abstract | Links | BibTeX

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Cardiotocograph Data Classification Improvement by Using Empirical Mode Decomposition Inproceedings

2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), S. 5646–5649, IEEE 2019, ISBN: 978-1-5386-1311-5 .

Abstract | Links | BibTeX

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Foetal heart rate assessment by empirical mode decomposition and spectral analysis Artikel

Current Directions in Biomedical Engineering, 5 (1), S. 381–383, 2019.

Abstract | Links | BibTeX

Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank; von Hoyningen-Hüne, Jan; Piper, Thorsten

SafeDeML: On Integrating the Safety Design into the System Model Inproceedings

Romanovsky, Alexander; Troubitsyna, Elena; Bitsch, Friedemann (Hrsg.): Computer Safety, Reliability, and Security, S. 271–285, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-26601-1.

Abstract | Links | BibTeX

Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank

Integrating Safety Design Artifacts into System Development Models Using SafeDeML Inproceedings

Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco (Hrsg.): Model-Based Safety and Assessment, S. 93–106, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-32872-6.

Abstract | Links | BibTeX

Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank

SpecTackle - A Specification Mining Experimentation Platform Inproceedings

Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),Kallithea, Chalkidiki. Greece, Euromicro 2019.

Abstract | Links | BibTeX

Nielebock, Sebastian; Nykolaichuk, Mykhaylo; Ortmeier, Frank

Leitfaden "Ihre ersten Schritte auf dem Weg zu einem Datenschutzkonzept für Ihr Unternehmen - Das können Sie selbst tun! Sonstige

2019.

Abstract | Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

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

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

Abstract | Links | BibTeX

Engel, Christoph; Mencke, Steffen; Heumüller, Robert; Ortmeier, Frank

Companion Specifications for Smart Factories: From Machine to Process View Inproceedings

Smart SysTech 2019; European Conference on Smart Objects, Systems and Technologies, S. 1–8, VDE 2019.

Abstract | BibTeX

2018

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Spectral-based Analysis of Progressive Dynamical Changes in the Fetal Heart Rate Signal During Labor by Using Empirical Mode Decomposition Inproceedings

2018 Computing in Cardiology (CinC), S. 1–4, IEEE 2018.

Abstract | Links | BibTeX

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

Commenting Source Code: Is It Worth It For Small Programming Tasks? Artikel

Springer Empirical Software Engineering (EMSE), 24 (3), S. 1418–1457, 2018, ISSN: 1382-3256.

Abstract | Links | BibTeX

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

A very first Glance on the Safety Analysis of Self-learning Algorithms for Autonomous Cars Inproceedings

Guiochet, Jérémie (Hrsg.): 37th International Conference on Computer Safety, Reliability, & Security. SAFECOMP2018., HAL, 2018.

Links | BibTeX

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Foetal heart rate signal spectral analysis by using time-varying autoregressive modelling Artikel

Current Directions in Biomedical Engineering, 4 (1), S. 579–582, 2018.

Abstract | Links | BibTeX

Nielebock, Sebastian; Heumüller, Robert; Ortmeier, Frank

Commits as a Basis for API Misuse Detection Inproceedings

ACM, (Hrsg.): Proceedings of the 7th International Workshop on Software Mining (SoftwareMining ’18), September 3, 2018, Montpellier, France., S. 4, ACM, New York, NY, USA, 2018.

Abstract | Links | BibTeX

Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank

Who plays with Whom? ... and How? Mining API Interaction Patterns from Source Code Inproceedings

ACM, (Hrsg.): Proceedings of the 7th International Workshop on Software Mining (SoftwareMining ’18), S. 4, ACM, New York, NY, USA, 2018.

Abstract | Links | BibTeX

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

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

Gallina B. Skavhaug A., Schoitsch Bitsch E F (Hrsg.): Computer Safety, Reliability, and Security. SAFECOMP 2018., Springer, Cham, 2018, ISBN: 978-3-319-99228-0.

Links | BibTeX

Schillreff, Nadia; Ortmeier, Frank

Learning-based Kinematic Calibration using Adjoint Error Model Inproceedings

SciTePress, (Hrsg.): Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, 2018, ISBN: 978-989-758-321-6.

Abstract | Links | BibTeX

Gonschorek, Tim; Bedau, Ludwig; Ortmeier, Frank

Automatic Model-based Verification of Railway Interlocking Systems using Model Checking Inproceedings

Haugen, Stein (Hrsg.): Proceedings of ESREL 2018, S. 741-748, CRC Press, London, 2018.

Abstract | Links | BibTeX

Kögel, Markus; Andonov, Petar; Filax, Marco; Ortmeier, Frank; Findeisen, Rolf

Predictive Tracking Control of a Camera - Head Mounted Display System subject to Communication Constraints Inproceedings

16th European Control Conference (ECC), S. 1035-1041, 2018.

BibTeX

Nielebock, Sebastian; Heumüller, Robert; Ortmeier, Frank

Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code Artikel

Springer Empirical Software Engineering (EMSE), 24 (1), S. 103–138, 2018, ISSN: 1382-3256.

Abstract | Links | BibTeX

Schott, Kevin Michael

Extraktion relevanter API-spezifischer Informationen zur automatischen Korrektur von Softwarefehlern Abschlussarbeit

Otto-von-Guericke-Unviersität Magdeburg, 2018.

Abstract | BibTeX

Bedau, Ludwig; Gonschorek, Tim; Ortmeier, Frank

Sicherheitsanalyse eines Bahnhofstellwerkes Konferenzbericht

Horber Schienen Tage 35 , 2018.

Links | BibTeX

Klockmann, Maximilian; Filax, Marco; Ortmeier, Frank; Reiß, Martin

On the Similarities of Fingerprints and Railroad Tracks: Using Minutiae Detection Algorithms to digitize Track Plans. Inproceedings

13th IAPR Workshop on Document Analysis Systems (DAS), 2018.

Abstract | BibTeX

Filax, Marco; Ortmeier, Frank

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

Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP), S. 581-588, 2018, ISBN: 978-989-758-290-5.

Abstract | Links | BibTeX

2017

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Progressive Fetal Distress Estimation by Characterization of Fetal Heart Rate Decelerations Response Based on Signal Variability in Cardiotocographic Recordings Inproceedings

2017 Computing in Cardiology (CinC), S. 1–4, IEEE 2017, ISSN: 2325- 887X.

Abstract | Links | BibTeX

Gonschorek, Tim; Rabeler, Ben Lukas; Ortmeier, Frank; Schomburg, Dirk

On Improving Rare Event Simulation for Probabilistic Safety Analysis Inproceedings

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, S. 15-24, ACM New York, NY, USA ©2017 , 2017, ISBN: 978-1-4503-5093-8.

Abstract | Links | BibTeX

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

A Verification Environment for Critical Systems: Integrating Formal Methods into the Safety Development Life-cycle Sonstige

Invited Paper: 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), 2017.

Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

Building Models we can rely on: Requirements Traceability for Model-based Verification Techniques Inproceedings

Bozzano M., Papadopoulos Y (Hrsg.): Proceedings of the 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), S. 3-18, Springer, Cham, 2017, ISBN: 978-3-319-64118-8 .

Abstract | Links | BibTeX

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Analysis of the foetal heart rate in cardiotocographic recordings through a progressive characterization of decelerations Artikel

Current Directions in Biomedical Engineering, 3 (2), S. 423–427, 2017, ISSN: 2364-5504.

Abstract | Links | BibTeX

Schillreff, Nadia; Nykolaichuk, Mykhaylo; Ortmeier, Frank

Towards High Accuracy Robot-Assisted Surgery Inproceedings

IFAC-PapersOnLine, (Hrsg.): 2017.

Abstract | Links | BibTeX

Veera, Balaji Satya Pradeep

Multi-Objective Issue Tracking Framework Abschlussarbeit

Otto-von-Guericke-Unviersität Magdeburg, 2017.

Abstract | BibTeX

Eiserloh, Matthias

Semantische Suche für automatische Fehlerkorrekturen im objektorientierten Paradigma Abschlussarbeit

Otto-von-Guericke Universität Magdeburg, 2017.

Links | BibTeX

Bitsch, Friedemann; Filax, Marco; Gonschorek, Tim; Ortmeier, Frank; Schumacher, Rolf

Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse Artikel

Signal + Draht, 2017.

Abstract | Links | BibTeX

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

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

Proceedings of the 21st International Systems and Software Product Line Conference (SPLC 2017) - Vision Track, S. 237-241, 2017.

Abstract | Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

QuadSIFT: Unwrapping Planar Quadrilaterals to Enhance Feature Matching Inproceedings

Proceedings of the 25rd International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017 - Short Papers Proceedings, 2017.

Abstract | Links | BibTeX

2016

Nielebock, Sebastian; Ortmeier, Frank

Adoption of Lambda-Expressions in Object-Oriented Programs does not necessarily decrease Source Code Size Unveröffentlicht

2016, (Presented at the 28th Symposium on Implementation and Application of Functional Languages 2016 in Leuven, Belgium (unreviewed pre-proceedings)).

Abstract | Links | BibTeX

Krolikowski, Dariusz

Einfluss unterschiedlicher Kommentararten auf die Lesbarkeit des Quellcodes Abschlussarbeit

Otto-von-Guericke Universität Magdeburg, 2016.

Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

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

Publishing, Springer International (Hrsg.): Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings, S. 106 - 122, 2016, ISBN: 978-3-319-33951-1.

Abstract | Links | BibTeX

Filax, Marco; Gonschorek, Tim; Hebecker, Tanja; Lipaczewski, Michael; Madalinski, Agnes; Ortmeier, Frank; Fietze, Mario; Schumacher, Rolf

Bringing formal methods “on the rail” - Modellbasierte Systemanalyse in der Sicherheitsnachweisführung Artikel

Der Eisenbahn Ingenieur, S. 24 -27, 2016.

Abstract | Links | BibTeX

2015

Hebecker, Tanja; Ortmeier, Frank

Safe Prediction-Based Local Path Planning using Obstacle Probability Sections Inproceedings

Laugier, Christian; Martinet, Philippe; Nunes, Urbano; stiller, Christoph (Hrsg.): Proceedings of the 7th IROS Workshop on Planning, Perception and Navigation for Intelligent Vehicles, S. 183 - 188, 2015.

Abstract | Links | BibTeX

Nykolaichuk, Mykhaylo; Ortmeier, Frank

Coverage Path Re-Planning for Processing Faults Inproceedings

Springer, (Hrsg.): The 8th International Conference on Intelligent Robotics and Applications (ICIRA2015) , S. 358-368 , 2015.

Abstract | Links | BibTeX

Gonschorek, Tim; Ortmeier, Frank

Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing Inproceedings

of Control, International Federation Automatic (Hrsg.): 5th International Workshop on Dependable Control of Discrete Systems (DCDS 2015), 2015, (accepted, will be published this year).

Abstract | Links | BibTeX

Lipaczewski, Michael; Prosvirnova, Tatiana; Ortmeier, Frank; Rauzy, Antoine; Struck, Simon

Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica Artikel

Reliability Engineering & System Safety, 2015.

Abstract | Links | BibTeX

Alatartsev, Sergey; Stellmacher, Sebastian; Ortmeier, Frank

Robotic Task Sequencing Problem: A Survey Artikel

Journal of Intelligent and Robotic Systems, 2015, ISSN: 1573-0409.

Abstract | Links | BibTeX

141 Einträge « 1 von 3 »