Frank Ortmeier
head of the department
Software Engineering
Otto von Guericke University Magdeburg
Germany
Biography
Since 2013, I am the head of the "Chair of Software Engineering (CSE)" at the Otto-von-Guericke-University Magdeburg. I have been an associate professor for "Computer Systems in Engineering" and a Post-Doc at Augsburg University. Currently, I am at the core of research, engineering, engineering and engineering. I am a member of the university compentence Center for Digital Engineering, Management and Operations. The leading theme of my research is making advances in computer science available for engineering applications - with a special focus on methods from software engineering, formal specification techniques and robotics. Lack of Efficiency in developing new, dependable aoftware for almost any Domain of Engineering is - in my opinion - probably the biggest hurdle for new innovations.
Research Interest
Software engineering for technical applications and embedded systems Model-based approaches for software-intensive systems Self-organization as a new programming paradigm Systems Engineering Design and analysis of highly safety critical applications Techniques for designing an integrated view of dependability covering various facets like safety, reliability, security, transparency and user-trust
Publications
-
Schillreff, Nadia; Nykolaichuk, Mykhaylo; Ortmeier, Frank Towards High Accuracy Robot-Assisted Surgery Article Forthcoming Proceedings of the 20th World Congress of the International Federation of Automatic Control (IFAC 2017), Forthcoming. BibTeX
-
Gonschorek, Tim; Filax, Marco; Ortmeier, Frank A Verification Environment for Critical Systems: Integrating Formal Methods into the Safety Development Life Cycle Other Forthcoming Invited Paper: 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), Forthcoming. BibTeX
-
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank Building Models we can rely on: Requirements Traceability for Model-based Verification Techniques Inproceedings Forthcoming Proceedings of the 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), Forthcoming. Abstract | Links | BibTeX
-
Gonschorek, Tim; Rabeler, Ben Luke; Ortmeier, Frank; Schomburg, Dirk On Improving Rare Event Simulation for Probabilistic Safety Analysis Inproceedings Forthcoming Derler, Patricia; Schneider, Klaus (Hrsg.): Proceeding of the 15th International Conference on Formal Methods and Models for System Design, ACM - IEEE, Forthcoming. BibTeX
