Follow
Frank Ortmeier
Frank Ortmeier
Professor for Computer Systems in Engineering
Verified email at ovgu.de - Homepage
Title
Cited by
Cited by
Year
Robotic task sequencing problem: A survey
S Alatartsev, S Stellmacher, F Ortmeier
Journal of intelligent & robotic systems 80, 279-298, 2015
1492015
A framework for qualitative and quantitative formal model-based safety analysis
M Gudemann, F Ortmeier
2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010
1142010
Toward mobile authentication with keystroke dynamics on mobile phones and tablets
M Trojahn, F Ortmeier
2013 27th international conference on advanced information networking and …, 2013
1122013
Formal fault tree analysis-practical experiences
F Ortmeier, G Schellhorn
Electronic Notes in Theoretical Computer Science 185, 139-151, 2007
912007
A specification and construction paradigm for organic computing systems
M Güdemann, F Nafz, F Ortmeier, H Seebach, W Reif
2008 Second IEEE International Conference on Self-Adaptive and Self …, 2008
752008
Deductive cause-consequence analysis (DCCA)
F Ortmeier, W Reif, G Schellhorn
IFAC Proceedings Volumes 38 (1), 62-67, 2005
722005
Biometric authentication through a virtual keyboard for smartphones
M Trojahn, F Ortmeier
International Journal of Computer Science & Information Technology 4 (5), 1, 2012
642012
Beyond software product lines: Variability modeling in cyber-physical systems
J Krüger, S Nielebock, S Krieter, C Diedrich, T Leich, G Saake, S Zug, ...
Proceedings of the 21st international systems and software product line …, 2017
562017
Formal modeling and verification of systems with self-x properties
M Güdemann, F Ortmeier, W Reif
Autonomic and Trusted Computing: Third International Conference, ATC 2006 …, 2006
542006
Safety analysis of the height control system for the Elbtunnel
F Ortmeier, G Schellhorn, A Thums, W Reif, B Hering, H Trappschuh
Reliability Engineering & System Safety 81 (3), 259-268, 2003
502003
Formal safety analysis of a radio-based railroad crossing using deductive cause-consequence analysis (DCCA)
F Ortmeier, W Reif, G Schellhorn
Dependable Computing-EDCC 5: 5th European Dependable Computing Conference …, 2005
472005
Design and construction of organic computing systems
H Seebach, F Ortmeier, W Reif
2007 IEEE Congress on Evolutionary Computation, 4215-4221, 2007
452007
Authentication with keystroke dynamics on touchscreen keypads-effect of different n-graph combinations
M Trojahn, F Arndt, F Ortmeier
3rd International Conference on Mobile Services, Resources, and Users …, 2013
442013
Using deductive cause-consequence analysis (DCCA) with SCADE
M Güdemann, F Ortmeier, W Reif
Computer Safety, Reliability, and Security: 26th International Conference …, 2007
442007
Probabilistic model-based safety analysis
M Güdemann, F Ortmeier
arXiv preprint arXiv:1006.5101, 2010
432010
Publish or perish, but do not forget your software artifacts
R Heumüller, S Nielebock, J Krüger, F Ortmeier
Empirical Software Engineering 25 (6), 4585-4616, 2020
422020
Commenting source code: is it worth it for small programming tasks?
S Nielebock, D Krolikowski, J Krüger, T Leich, F Ortmeier
Empirical Software Engineering 24, 1418-1457, 2019
412019
On optimizing a sequence of robotic tasks
S Alatartsev, V Mersheeva, M Augustine, F Ortmeier
2013 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2013
412013
Hiding real-time: A new approach for the software development of industrial robots
A Hoffmann, A Angerer, F Ortmeier, M Vistein, W Reif
2009 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2009
412009
Safety and dependability analysis of self-adaptive systems
M Güdemann, F Ortmeier, W Reif
second international symposium on leveraging applications of formal methods …, 2006
402006
The system can't perform the operation now. Try again later.
Articles 1–20