Frank Ortmeier
Frank Ortmeier
Professor for Computer Systems in Engineering
Verified email at ovgu.de - Homepage
Title
Cited by
Cited by
Year
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
772010
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
752013
Formal fault tree analysis-practical experiences
F Ortmeier, G Schellhorn
Electronic Notes in Theoretical Computer Science 185, 139-151, 2007
682007
Robotic task sequencing problem: A survey
S Alatartsev, S Stellmacher, F Ortmeier
Journal of intelligent & robotic systems 80 (2), 279-298, 2015
592015
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
592008
Deductive cause-consequence analysis (DCCA)
F Ortmeier, W Reif, G Schellhorn
IFAC Proceedings Volumes 38 (1), 62-67, 2005
522005
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
492003
Biometric authentication through a virtual keyboard for smartphones
M Trojahn, F Ortmeier
International Journal of Computer Science & Information Technology 4 (5), 1, 2012
442012
Interactive verification of statecharts
A Thums, G Schellhorn, F Ortmeier, W Reif
Integration of Software Specification Techniques for Applications in …, 2004
402004
Using deductive cause-consequence analysis (DCCA) with SCADE
M Güdemann, F Ortmeier, W Reif
International Conference on Computer Safety, Reliability, and Security, 465-478, 2007
362007
Formal modeling and verification of systems with self-x properties
M Güdemann, F Ortmeier, W Reif
International Conference on Autonomic and Trusted Computing, 38-47, 2006
362006
Design and construction of organic computing systems
H Seebach, F Ortmeier, W Reif
2007 IEEE Congress on Evolutionary Computation, 4215-4221, 2007
342007
Formal failure models
F Ortmeier, M Güdemann, W Reif
IFAC Proceedings Volumes 40 (6), 145-150, 2007
332007
Formal safety analysis of a radio-based railroad crossing using deductive cause-consequence analysis (DCCA)
F Ortmeier, W Reif, G Schellhorn
European Dependable Computing Conference, 210-224, 2005
332005
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
312009
Optimal mapping of joint faults into healthy joint velocity space for fault-tolerant redundant manipulators
H Abdi, S Nahavandi, Y Frayman, AA Maciejewski
Robotica 30 (4), 635-648, 2012
302012
Probabilistic model-based safety analysis
M Güdemann, F Ortmeier
arXiv preprint arXiv:1006.5101, 2010
302010
Combining formal methods and safety analysis–the ForMoSA approach
F Ortmeier, A Thums, G Schellhorn, W Reif
Integration of software specification techniques for applications in …, 2004
302004
Authentication with keystroke dynamics on touchscreen keypads-effect of different n-graph combinations
M Trojahn, F Arndt, F Ortmeier
MOBILITY 2013, The third international conference on mobile services …, 2013
292013
A universal self-organization mechanism for role-based Organic Computing systems
F Nafz, F Ortmeier, H Seebach, JP Steghöfer, W Reif
International Conference on Autonomic and Trusted Computing, 17-31, 2009
292009
The system can't perform the operation now. Try again later.
Articles 1–20