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

128 Einträge « 1 von 3 »

2019

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

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 Forthcoming

Springer Empirical Software Engineering (EMSE), Forthcoming.

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), Volume 24 , S. 103-138, 2018.

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

2014

Fritsch, Michael

Erhöhung von Quellcode-Wartbarkeit durch Entwurfsmusterautomatisierung Abschlussarbeit

2014.

Links | BibTeX

Hebecker, Tanja; Buchholz, Robert; Ortmeier, Frank

Model-Based Local Path Planning for UAVs Artikel

Journal of Intelligent & Robotic Systems, 78 , S. 127-142 , 2014, ISSN: 1573-0409.

Abstract | Links | BibTeX

Heumüller, Robert; Lipaczewski, Michael; Ortmeier, Frank

A Dataflow Notation for SAML - Formal Modeling Without Fearing Timing Constraints Inproceedings

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 43-50, 2014.

BibTeX

Alatartsev, Sergey; Belov, Anton; Nykolaichuk, Mykhaylo; Ortmeier, Frank

Robot Trajectory Optimization for the Relaxed End-Effector Path Inproceedings

Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics (ICINCO), 2014.

Abstract | Links | BibTeX

Alatartsev, Sergey; Ortmeier, Frank

Improving the Sequence of Robotic Tasks with Freedom of Execution Inproceedings

IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014.

Abstract | Links | BibTeX

Mäurer, Lukas; Hebecker, Tanja; Stolte, Torben; Lipaczewski, Michael; Möhrstädt, Uwe; Ortmeier, Frank

On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink Inproceedings

Publishing, Springer International (Hrsg.): System analysis and modeling: models and reusability. - Berlin [u.a.] : Springer, S. 207-222, Springer, 2014, ISBN: 978-3-319-11743-0.

Abstract | Links | BibTeX

Nielebock, Sebastian; Gonschorek, Tim; Ortmeier, Frank

A Graphical Notation for Probabilistic Specifications Inproceedings

2014, (Verification and Assurance - Second VeriSure Workshop 2014).

Abstract | Links | BibTeX

Gonschorek, Tim; Filax, Marco; Lipaczewski, Michael; Ortmeier, Frank

VECS - Verification Enviroment for Critical Systems - Tool Supported Formal Modeling an Verification Buchkapitel

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 63-64, 2014.

Links | BibTeX

Filax, Marco; Gonschorek, Tim; Lipaczewski, Michael; Ortmeier, Frank

On Traceability of Informal Specifications for Model-Based Verification Inproceedings

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment., S. 11-18, Magdeburg : Univ., 2014.

Abstract | Links | BibTeX

Nykolaichuk, Mykhaylo; Lipaczewski, Michael; Liebusch, Tino; Ortmeier, Frank

On Efficiently Specifying Models for Model Checking Inproceedings

Proceedings of 4th International Symposium on Model Based Safety and Assessment (IMBSA 2014), 2014.

Abstract | Links | BibTeX

Lipaczewski, Michael; Filax, Marco; Ortmeier, Frank

Bringing VECS to the World - Challenges and Accomplishments in Teaching of Formal Model Analysis Inproceedings

European Conference on Software Engineering Education. - Herzogenrath : Shaker, S. 217-228, 2014.

BibTeX

2013

Ortmeier, Frank; Struck, Simon; Meinicke, Jens; Quante, Jochen

A Pragmatic Approach For Debugging Parameter-Driven Software Inproceedings

Kowalewski, Stefan; Rumpe, Bernhard (Hrsg.): Software Engineering 2013, S. 199-212, 2013.

Abstract | Links | BibTeX

Trojahn, Matthias; Ortmeier, Frank

KeyGait Framework for Continuously Biometric Authentication during Usage of a Smartphone Konferenz

MOBILITY 2013, The Third International Conference on Mobile Services, Resources, and Users, 2013.

BibTeX

128 Einträge « 1 von 3 »