Robotic task sequencing problem: A survey S Alatartsev, S Stellmacher, F Ortmeier Journal of intelligent & robotic systems 80, 279-298, 2015 | 149 | 2015 |
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 | 114 | 2010 |
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 | 112 | 2013 |
Formal fault tree analysis-practical experiences F Ortmeier, G Schellhorn Electronic Notes in Theoretical Computer Science 185, 139-151, 2007 | 91 | 2007 |
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 | 75 | 2008 |
Deductive cause-consequence analysis (DCCA) F Ortmeier, W Reif, G Schellhorn IFAC Proceedings Volumes 38 (1), 62-67, 2005 | 72 | 2005 |
Biometric authentication through a virtual keyboard for smartphones M Trojahn, F Ortmeier International Journal of Computer Science & Information Technology 4 (5), 1, 2012 | 64 | 2012 |
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 | 56 | 2017 |
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 | 54 | 2006 |
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 | 50 | 2003 |
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 | 47 | 2005 |
Design and construction of organic computing systems H Seebach, F Ortmeier, W Reif 2007 IEEE Congress on Evolutionary Computation, 4215-4221, 2007 | 45 | 2007 |
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 | 44 | 2013 |
Using deductive cause-consequence analysis (DCCA) with SCADE M Güdemann, F Ortmeier, W Reif Computer Safety, Reliability, and Security: 26th International Conference …, 2007 | 44 | 2007 |
Probabilistic model-based safety analysis M Güdemann, F Ortmeier arXiv preprint arXiv:1006.5101, 2010 | 43 | 2010 |
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 | 42 | 2020 |
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 | 41 | 2019 |
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 | 41 | 2013 |
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 | 41 | 2009 |
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 | 40 | 2006 |