Concepedia

Frank Ortmeier

FO

35

Publications

1K

Citations

20

H-Index

2003

Active since

Affiliations

Otto-von-Guericke University Magdeburg(Current)

University of Augsburg

Augsburg University

Austral University of Chile

Harz University of Applied Sciences

Frank Ortmeier is an author at Otto-von-Guericke University Magdeburg specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringAutomationSoftware DesignFormal VerificationSoftware EngineeringFormal MethodsSoftware AnalysisReliability Engineering

Publications per year

2003–2024

35

Publications

35

Robotic Task Sequencing Problem: A Survey

Sergey Alatartsev, Sebastian Stellmacher, Frank Ortmeier · Journal of Intelligent & Robotic Systems · 2015 · 121 citations

Artificial Intelligence, Engineering, Automation +8

Toward Mobile Authentication with Keystroke Dynamics on Mobile Phones and Tablets

Matthias Trojahn, Frank Ortmeier · 2013 · 75 citations

Mobile Security, Engineering, Biometric Privacy +22

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

Matthias Güdemann, Frank Ortmeier · 2010 · 68 citations

Safety Case, Engineering, Verification +23

Formal Fault Tree Analysis - Practical Experiences

Frank Ortmeier, Gerhard Schellhorn · Electronic Notes in Theoretical Computer Science · 2007 · 64 citations · Full text

Software Maintenance, Engineering, Verification +20

A Specification and Construction Paradigm for Organic Computing Systems

Matthias Güdemann, Florian Nafz, Frank Ortmeier et al. · 2008 · 48 citations

Engineering, Organic Computing Systems, Software Engineering +17

Rows per page

1–5 of 35