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 « 2 von 3 »

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

Trojahn, Matthias; Beck, Alexander; Ortmeier, Frank

Biometrische Authentifizierung zur Fahrererkennung in Lkws Konferenz

D-A-CH security 2013, 2013.

BibTeX

Trojahn, Matthias; Ortmeier, Frank

Keystroke Dynamics Authentication on Mobile Devices with a Capacitive Display Konferenz

Biometrics: Technologies, Systems and Applications - BTSA 2013, 2013.

BibTeX

Trojahn, Matthias; Arndt, Florian; Ortmeier, Frank

Authentication with Keystroke Dynamics on Touchscreen Keypads - Effect of different N-Graph Combinations Konferenz

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

BibTeX

Trojahn, Matthias; Beck, Alexander; Ortmeier, Frank

Biometrische Alternativen zum Habenfaktor bei Smartphones Konferenz

D-A-CH security 2013, 2013.

BibTeX

Ortmeier, Frank; Struck, Simon; Güdemann, Matthias

Efficient Optimization of Large Probabilistic Models Artikel

Elsevier Journal of Systems and Software, 03/78 , 2013.

Abstract | Links | BibTeX

Alatartsev, Sergey; Augustine, Marcus; Ortmeier, Frank

Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods Inproceedings

Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS-2013), AAAI, 2013.

Abstract | Links | BibTeX

Alatartsev, Sergey; Mersheeva, Vera; Augustine, Marcus; Ortmeier, Frank

On Optimizing a Sequence of Robotic Tasks Inproceedings

Proceedings of the International Conference on Intelligent Robots and Systems (IROS), IEEE, 2013.

Abstract | Links | BibTeX

Alatartsev, Sergey; Ortmeier, Frank

Path Planning for Industrial Robots Among Multiple Underspecified Tasks Inproceedings

Proceedings of the Magdeburger-Informatik-Tage 2. Doktorandentagung (MIT), 2013.

Abstract | Links | BibTeX

Trojahn, Matthias; Arndt, Florian; Ortmeier, Frank

Authentication with Time Features of Keystroke Dynamics on Touchscreens Inproceedings

14th Conference on Communications and Multimedia Security (CMS), S. 197-199, 2013, ISBN: 978-3-642-40778-9.

Abstract | Links | BibTeX

Trojahn, Matthias; Arndt, Florian; Weinmann, Markus; Ortmeier, Frank

Emotion Recognition Through Keystroke Dynamics on Touchscreen Keyboards Buchkapitel mit eigenem Titel

15th International Conference on Enterprise Information Systems, 2013.

Abstract | Links | BibTeX

Ortmeier, Frank; Lipaczewski, Michael

Teaching and Training Formal Methods for Safety Critical Systems Konferenz

Proceedings of the 39th Euromicro Conference on Iv Software Engineering and Advanced Applications (SEAA 2013), 2013.

Abstract | Links | BibTeX

Trojahn, Matthias; Ortmeier, Frank

Biometric Keystroke Authentication on Smartphones Using a Capacitive Display Konferenz

2. Doktorandentagung Magdeburger-Informatik-Tage 2013 (MIT 2013), 2013.

Links | BibTeX

Trojahn, Matthias; Schadewald, Christian; Ortmeier, Frank

Keystroke Authentication with a Capacitive Display using Different Mobile Devices Konferenz

10th International Conference on Security and Cryptography (SECRYPT), 2013.

Links | BibTeX

Trojahn, Matthias; Ortmeier, Frank

Designing an Enterprise Security Strategy for Mobile Intranet Access Konferenz

Seventh International Conference on Software Security and Reliability Companion (SERE 2013), 2013.

Links | BibTeX

Trojahn, Matthias; Ortmeier, Frank

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

The 7th International Symposium on Security and Multimodality in Pervasive Environment (SMPE-2013), 2013.

Abstract | Links | BibTeX

2012

Beck, Alexander; Ortmeier, Frank; Graupmann, Jens

Dynamic validity period calculation of digital certificates based on aggregated security assessment Artikel

International Journal On Cryptography And Information Security (IJCIS), 2 (4), 2012.

Abstract | Links | BibTeX

Ortmeier, Frank; Struck, Simon; Lipaczewski, Michael

Using Model-Based Analysis in Certification of Critical Software-Intensive Systems Inproceedings

Softwareengineering 2012 Workshopband, 2012, ISBN: 978-3-88579-293-2.

Abstract | Links | BibTeX

Trojahn, Matthias; Ortmeier, Frank

Biometric Authentication Through a Virtual Keyboard for Smartphones Artikel

International Journal of Computer Science & Information Technology (IJCSIT), 4 (5), 2012, ISSN: 09753826.

Abstract | Links | BibTeX

Alatartsev, Sergey; Güdemann, Matthias; Ortmeier, Frank

Trajectory Description Conception for Industrial Robots Konferenz

7th German Conference on Robotics (ROBOTIK 2012), Munich, Germany, 2012.

Abstract | Links | BibTeX

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

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

IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.

Abstract | Links | BibTeX

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

Unifying Probabilistic and Traditional Formal Model-Based Analysis Konferenz

Proceedings of 8. Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), 2012.

Abstract | Links | BibTeX

Habermaier, Axel; Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis (in Railway Safety, Reliability and Security: Technologies and System Engineering) Buchkapitel

Flammini, Francesco (Hrsg.): IGI Global, 2012, (to appear).

Abstract | Links | BibTeX

Lipaczewski, Michael; Ortmeier, Frank

Handlungsadaptive Produktionsassistenz Konferenz

Proceedings 208 - 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI) (INFORMATIK 2012), 2012.

Abstract | Links | BibTeX

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

Multi-Objective Optimization of Formal Specifications Konferenz

IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.

Abstract | Links | BibTeX

Augustine, Marcus; Mair, Elmar; Stelzer, Annett; Ortmeier, Frank; Burschka, Darius; Suppa, Michael

Landmark-Tree Map: a Biologically Inspired Topological Map for Long-Distance Robot Navigation Konferenz

Proceedings of the International Conference on Robotics and Biomimetics (ROBIO) 2012, IEEE, 2012.

Links | BibTeX

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support Konferenz

Proceedings of the 2nd International Workshop on Developing Tools as Plug-Ins (TOPI), IEEE, 2012.

Abstract | Links | BibTeX

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

From Discrete Event Simulation to Virtual Reality Environments Inproceedings

Ortmeier, Frank; Daniel, Peter (Hrsg.): Computer Safety, Reliability, and Security, S. 508-516, Springer Berlin Heidelberg, 2012, ISBN: 978-3-642-33674-4.

Abstract | Links | BibTeX

2011

Güdemann, Matthias; Ortmeier, Frank

Towards Model-Driven Safety Analysis Inproceedings

Proceedings of the 3rd international Workshop on Dependable Control of Discrete Systems (DCDS 11), IEEE, 2011, (to appear 15.6.2011).

Abstract | Links | BibTeX

Ortmeier, Frank; Lipaczewski, Michael; Güdemann, Matthias

Practical Experiences in Model-Based Safety Analysis Konferenz

proceedings: International Workshop on Digital Engineering, ACM Proceedings, 2011.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

Model-Based Multi-Objective Safety Optimization Konferenz

Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), 6894 , LNCS Springer, 2011, ISBN: 978-3642242694.

Abstract | Links | BibTeX

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

Towards Making Dependability Visual - Combining Model-Based Đesign and Virtual Realities Konferenz

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011.

Abstract | Links | BibTeX

Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank

Tool Supported Model-Based Safety Analysis and Optimization Konferenz

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011.

Abstract | Links | BibTeX

2010

Fruth, Jana; Dittmann, Jana; Ortmeier, Frank; Feigenspan, Janet

Metadaten-Modell für ein sicheres eingebettetes Datenmanagement Inproceedings

Horster, Patrick (Hrsg.): Proceedings DACH Security, 2010, ISBN: 978-3-00-031441-4.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

A Framework for Qualitative and Quantitative Model-Based Safety Analysis Konferenz

Proceedings of the 12th High Assurance System Engineering Symposium (HASE 2010), 2010.

Links | BibTeX

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

SysML in Digital Engineering Konferenz

Proceedings of 1st International Workshop on Digital Engineering, 2010.

Abstract | Links | BibTeX

Ortmeier, Frank; Güdemann, Matthias

ProMoSA - Probabilistic Models for Safety Analysis Konferenz

Proceedings of 6th Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems, 2010.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

Probabilistic Model-Based Safety Analysis Konferenz

Proceedings of the 8th Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), 2010.

Abstract | Links | BibTeX

141 Einträge « 2 von 3 »