| 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 | 87 | 2013 |
| 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 | 80 | 2010 |
| Formal fault tree analysis-practical experiences F Ortmeier, G Schellhorn Electronic Notes in Theoretical Computer Science 185, 139-151, 2007 | 74 | 2007 |
| Robotic task sequencing problem: A survey S Alatartsev, S Stellmacher, F Ortmeier Journal of intelligent & robotic systems 80 (2), 279-298, 2015 | 67 | 2015 |
| 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 | 65 | 2008 |
| Deductive cause-consequence analysis (DCCA) F Ortmeier, W Reif, G Schellhorn IFAC Proceedings Volumes 38 (1), 62-67, 2005 | 55 | 2005 |
| Biometric authentication through a virtual keyboard for smartphones M Trojahn, F Ortmeier International Journal of Computer Science & Information Technology 4 (5), 1, 2012 | 53 | 2012 |
| 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 | 48 | 2003 |
| Interactive verification of statecharts A Thums, G Schellhorn, F Ortmeier, W Reif Integration of Software Specification Techniques for Applications in …, 2004 | 43 | 2004 |
| Design and construction of organic computing systems H Seebach, F Ortmeier, W Reif 2007 IEEE Congress on Evolutionary Computation, 4215-4221, 2007 | 38 | 2007 |
| 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 | 38 | 2007 |
| 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 | 38 | 2006 |
| 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 | 37 | 2005 |
| Formal failure models F Ortmeier, M Güdemann, W Reif IFAC Proceedings Volumes 40 (6), 145-150, 2007 | 36 | 2007 |
| 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 | 35 | 2009 |
| 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 | 34 | 2013 |
| Probabilistic model-based safety analysis M Güdemann, F Ortmeier arXiv preprint arXiv:1006.5101, 2010 | 34 | 2010 |
| 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 | 34 | 2006 |
| 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 | 33 | 2012 |
| 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 | 33 | 2004 |
