Ortmeier

Bild von Frank Ortmeier
Software Engineering

Frank Ortmeier

Institute for Intelligent Cooperating Systems (IKS)
Chair of Software Engineering (CSE)
Universitätsplatz 2, 39106 Magdeburg, G29-404

2013-aktuell
2009-2013

Professor für Software Engineering, Otto-von-Guericke-Universität Magdeburg
Junior-Professor für "Computer Systems in Engineering", Otto-von-Guericke-Universität Magdeburg

2006-2009

Akademischer Rat am Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg

2005-2006

"Studienreferendar" am Holbein-Gymnasium Augsburg

Seit 2002

Mitgründer und stellvertretender Geschäftsführer der Kreativagentur 2Dsein

2001-2005

Wissenschaftlicher Mitarbeiter am Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg

2000

Diplomand bei der Cosyma GmbH, Friedberg

1999

Werkstudent bei der Opencom GmbH, Augsburg

2024

Book chapter

ASAP-repair - API-specific automated program repair based on API usage graphs

Nielebock, Sebastian; Blockhaus, Paul; Kruger, Jacob; Ortmeier, Frank

In: 2024 IEEE/ACM International Workshop on Automated Program Repair - Piscataway, NJ : Association for Computing Machinery, insges. 4 S. [Workshop: 5th ACM/IEEE International Workshop on Automated Program Repair, APR '24, Lisbon, Portugal, 20 April 2024]

Out-of-distribution detection with logical reasoning

Kirchheim, Konstantin; Gonschorek, Tim; Ortmeier, Frank

In: 2024 IEEE Winter Conference on Applications of Computer Vision / IEEE/CVF Winter Conference on Applications of Computer Vision , 2024 - Piscataway, NJ : IEEE ; Souvenir, Richard, S. 2111-2120 [Konferenz: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV, Waikoloa, HI, USA, 03-08 January 2024]

Out-of-distribution detection with logical reasoning (extended abstract)

Kirchheim, Konstantin; Gonschorek, Tim; Ortmeier, Frank

In: KI 2024: Advances in Artificial Intelligence , 1st ed. 2024. - Cham : Springer Nature Switzerland ; Hotho, Andreas, S. 346-349 - (Lecture notes in computer science; volume 14992) [Konferenz: 47th German Conference on AI, Würzburg, Germany, September 25–27, 2024]

Language models as reasoners for out-of-distribution detection

Kirchheim, Konstantin; Ortmeier, Frank

In: Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops , 1st ed. 2024. - Cham : Springer Nature Switzerland ; Ceccarelli, Andrea, S. 379-390 - (Lecture notes in computer science; volume 14989) [Workshops: SAFECOMP 2024 Workshops, Florence, Italy, September 17, 2024]

A proposal for a new E-waste image dataset based on the UNU-KEYS classification

Iliev, Dimitar I.; Marinov, Marin B.; Ortmeier, Frank

In: 2024 23rd International Symposium on Electrical Apparatus and Technologies (SIELA) , 2024 - [Piscataway, NJ] : IEEE, insges. 5 S. [Symposium: 23rd International Symposium on Electrical Apparatus and Technologies, SIELA, Bourgas, Bulgaria, 12-15 June 2024]

Peer-reviewed journal article

Deep learning-based harmonization and super-resolution of Landsat-8 and Sentinel-2 images

Sambandham, Venkatesh Thirugnana; Kirchheim, Konstantin; Ortmeier, Frank; Mukhopadhaya, Sayan

In: ISPRS journal of photogrammetry and remote sensing / International Society for Photogrammetry and Remote Sensing - Amsterdam [u.a.] : Elsevier, Bd. 212 (2024), S. 274-288

Dissertation

Fine-grained open-world recognition identifying retail products in supermarkets

Filax, Marco; Ortmeier, Frank; Leich, Thomas

In: Magdeburg: Universitätsbibliothek, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik 2024, 1 Online-Ressource (vi, 183 Seiten, 17,69 MB) [Literaturverzeichnis: Seite 157-182][Literaturverzeichnis: Seite 157-182]

2023

Book chapter

Measuring the robustness of ML models against data quality issues in industrial time series data

Dix, Marcel; Manca, Gianluca; Okafor, Kenneth Chigozie; Borrison, Reuben; Kirchheim, Konstantin; Sharma, Divyasheel; Chandrika, Kr; Maduskar, Deepti; Ortmeier, Frank

In: 2023 IEEE 21st International Conference on Industrial Informatics / IEEE International Conference on Industrial Informatics , 2023 - [Piscataway, NJ] : IEEE ; Jasperneite, Jürgen, insges. 8 S. [Konferenz: IEEE 21st International Conference on Industrial Informatics, INDIN, Lemgo, Deutschland, 18 - 20 July 2023]

On challenging aspects of reproducibility in deep anomaly detection

Kirchheim, Konstantin; Filax, Marco; Ortmeier, Frank

In: Reproducible Research in Pattern Recognition , 1st ed. 2023. - Cham : Springer Nature Switzerland ; Kerautret, Bertrand, S. 57-66 - (Lecture notes in computer science; volume 14068) [Workshop: Fourth International Workshop on Reproducible Research in Pattern Recognition, RRPR 2022, Montreal, Canada, August 21, 2022]

Evaluating and increasing segmentation robustness in CARLA

Thirugnana Sambandham, Venkatesh; Kirchheim, Konstantin; Ortmeier, Frank

In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops , 1st ed. 2023. - Cham : Springer Nature Switzerland ; Guiochet, Jérémie, S. 390-396 - (Lecture notes in computer science; volume 14182) [Konferenz: International Conference on Computer Safety, Reliability, and Security, SAFECOMP, Toulouse, France, September 19, 2023]

A formal verification framework for model checking safety requirements of a simulink landing gear case study

Gonschorek, Tim; Stützer, Hannes; Ortmeier, Frank; Wehmeier, Leon; Oppermann, Michael

In: European Conference on Safety and Reliability (ESREL), 3rd September - 7th September 2023, insges. 8 S. [Konferenz: 33rd European Safety and Reliability Conference (ESREL 2023), Southampton, UK, 3 - 8 September 2023]

2022

Book chapter

High speed RCS for robot task sequencing optimization

Schillreff, Nadia; Scholle, Julian Benedikt; Kirchheim, Konstantin; Ortmeier, Frank

In: 54th International Symposium on Robotics , 2022 - Berlin : VDE VERLAG, S. 136-141 [Symposium: 54th International Symposium on Robotics, ISR Europe 2022, Munich, Germany, 20-21 June 2022]

PyTorch-OOD - a library for Out-of-Distribution Detection based on PyTorch

Kirchheim, Konstantin; Filax, Marco; Ortmeier, Frank

In: 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition workshops / IEEE/CVF Computer Vision and Pattern Recognition Conference , 2022 - Piscataway, NJ : IEEE, S. 4350-4359 [Konferenz: IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW, Orleans, LA, USA, 19-20 June 2022]

Multi-class hypersphere anomaly detection

Kirchheim, Konstantin; Filax, Marco; Ortmeier, Frank

In: 2022 26th International Conference on Pattern Recognition (ICPR) , 2022 - [Piscataway, NJ] : IEEE, insges. 7 S. [Konferenz: 26th International Conference on Pattern Recognition, ICPR, Montreal, QC, Canada, 21-25 August 2022]

Peer-reviewed journal article

Semi-automatic acquisition of datasets for retail recognition

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: Journal of WSCG - Plzen : [Verlag nicht ermittelbar], Bd. 30 (2022), Heft 1-2, S. 86-94 [Konferenz: 30. Jubilee International Conference on Computer Graphics, Visualization and Computer Vision 2022]

2021

Book chapter

Grocery recognition in the wild - a new mining strategy for metric learning

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: VISIGRAPP 2021 ; Volume 4: VISAPP , 2021 - [Sétubal] : SCITEPRESS - Science and Technology Publications, Lda. ; Farinella, Giovanni Maria, S. 498-505 [Konferenz: 16th International Conference on Computer Vision Theory and Applications, VISAPP, Online, 08.-10.02.2021]

AndroidCompass - a dataset of android compatibility checks in code repositories

Nielebock, Sebastian; Blockhaus, Paul; Krüger, Jacob; Ortmeier, Frank

In: 2021 IEEE/ACM 18th International Conference on Mining Software Repositories (MSR) / IEEE/ACM International Conference on Mining Software Repositories , 2021 - New York, New York : The Association for Computing Machinery, S. 535-539 [Konferenz: IEEE/ACM 18th International Conference on Mining Software Repositories, MSR, Madrid, Spain, 17-19 May 2021]

Exploit those code reviews! - bigger data for deeper learning

Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank

In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering / Spinellis , Diomidis - New York,NY,United States : Association for Computing Machinery ; Spinellis, Diomidis . - 2021, S. 1505-1509 [Konferenz: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE '21, Athens, Greece, August 23 - 28, 2021]

An experimental analysis of graph-distance algorithms for comparing API usages

Nielebock, Sebastian; Blockhaus, Paul; Krüger, Jacob; Ortmeier, Frank

In: 21th IEEE International Working Conference on Source Code Analysis & Manipulation (SCAM) / IEEE International Working Conference on Source Code Analysis and Manipulation , 2021 - Piscataway, NJ : IEEE, S. 214-225 [Konferenz: 21st IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2021, Online, 27 - 28 September 2021]

On the influence of viewpoint change for metric learning

Filax, Marco; Ortmeier, Frank

In: IAPR International Conference on Machine Vision Applications (MVA) / International Conference on Machine Vision and Applications , 2021 - IEEE : IEEE, Artikel P2-5, insges. 4 S. [Konferenz: 17th International Conference on Machine Vision and Applications, MVA, Aichi, Japan, 25-27 July 2021]

Peer-reviewed journal article

Guided pattern mining for API misuse detection by change-based code analysis

Nielebock, Sebastian; Heumüller, Robert; Schott, Kevin Michael; Ortmeier, Frank

In: Automated software engineering - Dordrecht [u.a.] : Springer Science + Business Media B.V, Bd. 28 (2021), Artikel 15, insges. 48 S.

Dissertation

Guaranteed set-based controller design for hybrid dynamical systems

Andonov, Petar; Findeisen, Rolf; Ortmeier, Frank

In: Magdeburg: Universitätsbibliothek, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Elektrotechnik und Informationstechnik 2021, 1 Online-Ressource (II, 121 Seiten, 7,57 MB) [Literaturverzeichnis: Seite 105-121][Literaturverzeichnis: Seite 105-121]

Non-peer-reviewed journal article

An experimental analysis of graph-distance algorithms for comparing API usages

Nielebock, Sebastian; Blockhaus, Paul; Krüger, Jacob; Ortmeier, Frank

In: Arxiv - Ithaca, NY : Cornell University . - 2021, Artikel 2103.01357, insges. 12 S. [Accepted Paper at the 21st IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) in the Replication and Negative Results (RENE) Track]

2020

Book chapter

Cooperative API misuse detection using correction rules

Nielebock, Sebastian; Heumüller, Robert; Krüger, Jacob; Ortmeier, Frank

In: 2020 IEEE/ACM 42nd International Conference on Software Engineering: New ideas and emerging results - Piscataway, NJ : IEEE, S. 73-76 [Konferenz: 42nd International Conference on Software Engineering, ICSE '20, Seoul, South Korea, June, 2020]

Learning references with Gaussian processes in model predictive control applied to robot assisted surgery

Matschek, Janine; Gonschorek, Tim; Hanses, Magnus; Elkmann, Norbert; Ortmeier, Frank; Findeisen, Rolf

In: European Control Conference 2020 , 2020 - Piscataway, NJ : IEEE ; Pogromsky, Alexander, S. 362-367 [Konferenz: 2020 European Control Conference, ECC, Saint Petersburg, Russia, 12-15 May 2020]

Using API-embedding for API-misuse repair

Nielebock, Sebastian; Heumüller, Robert; Krüger, Jacob; Ortmeier, Frank

In: 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, S. 1-2 [Konferenz: 42nd International Conference on Software Engineering Workshops, ICSEW '20, Seoul, South Korea, June, 2020]

Peer-reviewed journal article

Publish or perish, but do not forget your software artifacts

Heumüller, Robert; Nielebock, Sebastian; Krüger, Jacob; Ortmeier, Frank

In: Empirical software engineering - Dordrecht [u.a.] : Springer Science + Business Media B.V, Bd. 25 (2020), S. 4585-4616

Investigating an optimal signal epoch length for cardiotocographic classification

Fuentealba, Patricio; Illanes, Alfredo; Poudel, Prabal; Ortmeier, Frank

In: Current directions in biomedical engineering - Berlin : De Gruyter - Bd. 6.2020, 3, 20203132, S. 514-517

Dissertation

Automatic fetal distress assessment during labor based on modal and parametrical analysis of the cardiotocographic recording

Fuentealba Ortiz, Patricio; Ortmeier, Frank; Preim, Bernhard

In: Magdeburg, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik 2020, xvi, 135 Seiten [Literaturverzeichnis: Seite 115-135][Literaturverzeichnis: Seite 115-135]

2019

Book chapter

Integrating safety design artifacts into system development models using SafeDeML

Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank

In: Model-Based Safety and Assessment , 1st ed. 2019 - Cham : Springer ; Papadopoulos, Yiannis, S. 93-106 - ( Lecture Notes in Computer Science; volume 11842) [Symposium: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 1618, 2019]

Companion specifications for smart factories - from machine to process view

Engel, Christoph; Mencke, Steffen; Heumüller, Robert; Ortmeier, Frank

In: Smart SysTech 2019 - Berlin : VDE VERLAG, S. 61-68 [Konferenz: Smart SysTech 2019, 4-5 June 2019, Magdeburg, Germany]

SpecTackle - a specification mining experimentation platform

Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank

In: SEAA 2019 - Piscataway, NJ : IEEE ; Staron, Miroslaw, S. 178-181 [Konferenz: 45th Euromicro Conference on Software Engineering and Advanced Applications, SEAA, Kallithea-Chalkidiki, Greece, 28-30 August 2019]

Cardiotocograph data classification improvement by using empirical mode decomposition*

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: Biomedical engineering ranging from wellness to intensive care / IEEE Engineering in Medicine and Biology Society , 2019 - [Piscataway, NJ] : IEEE ; Barbieri, Ricardo, S. 5646-5649 [Konferenz: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC, Berlin, Germany, 23-27 July 2019]

Data for image recognition tasks - an efficient tool for fine-grained annotations

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods. Volume 1 - [Setúbal] : SCITEPRESS - Science and Technology Publications, Lda. . - 2019, S. 900-907 [Konferenz: 8th International Conference on Pattern Recognition Applications and Methods,February 19-21, 2019, Prague, Czech Republic]

Spectral-based analysis of progressive dynamical changes in the fetal heart rate signal during labor by using empirical mode decomposition

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: Computing in Cardiology, September 23-26, 2018, Maastricht, the Netherlands - Piscataway, NJ : IEEE . - 2019, S. 1-4 [ 2018 Computing in Cardiology Conference, CinC, Maastricht, Netherlands, 23-26 September 2018]

SafeDeML: on integrating the safety design into the system model

Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank; Hoyningen-Hüne, Jan; Piper, Thorsten

In: Computer Safety, Reliability, and Security , 1st ed. 2019 - Cham : Springer, S. 271-285 - (Programming and Software Engineering; 11698) [Konferenz: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019]

Peer-reviewed journal article

Foetal heart rate assessment by empirical mode decomposition and spectral analysis

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: Current directions in biomedical engineering - Berlin : De Gruyter, Bd. 5 (2019), Heft 1, S. 381-383

Programmers do not favor lambda expressions for concurrent object-oriented code

Nielebock, Sebastian; Heumüller, Robert; Ortmeier, Frank

In: Empirical software engineering - Dordrecht [u.a.] : Springer Science + Business Media B.V, Bd. 24 (2019), Heft 1, S. 103-138 [Online first]

Cardiotocographic signal feature extraction through CEEMDAN and time-varying autoregressive spectral-based analysis for fetal welfare assessment

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: IEEE access / Institute of Electrical and Electronics Engineers - New York, NY : IEEE, Bd. 7 (2019), S. 159754-159772

2018

Abstract

Predictive tracking control of a camera - head mounted display system subject to communication Constraints

Kogel, Markus; Andonov, Petar; Filax, Marco; Ortmeier, Frank; Findeisen, Rolf

In: 2018 European Control Conference (ECC) , 2018 - Limassol, Cyprus ; European Control Conference (17.:2018), S. 1035-1041 [Konferenz: 2018 European Control Conference (ECC), June 12-15, 2018, Limassol, Cyprus]

A very first glance on the safety analysis of self-learning algorithms for autonomous cars

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

In: Archive ouverte HAL - Paris : Centre National de la Recherche Scientifique - 2018, Art. hal-01878562, insgesamt 2 S. [Konferenz: 37th International Conference on Computer Safety, Reliability, & Security, SAFECOMP2018, Vasteras, Sweden, September 19-21, 2018]

Book chapter

Progressive fetal distress estimation by characterization of fetal heart rate decelerations response based on signal variability in cardiotocographic recordings

Fuentealba Ortiz, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: Computing in Cardiology Conference 2017 - IEEE . - 2018, insges. 4 S. [Konferenz: Computing in Cardiology Conference 2017, Cinc 2017, Rennes, France, 24-27 September 2017]

Fault trees vs. component fault trees - an empirical study

Gonschorek, Tim; Zeller, Marc; Höfig, Kai; Ortmeier, Frank

In: Computer Safety, Reliability, and Security - Cham : Springer . - 2018, S. 239-251 - (Lecture Notes in Computer Science; 11094) [Workshop: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018]

Bringing formal methods on the rail - On automatic verifying railroad interlockings from railML models

Gonschorek, Tim; Bedau, Ludwig; Ortmeier, Frank

In: Safety and Reliability – Safe Societies in a Changing World - London : CRC Press . - 2018, S. 741-748 [Konferenz: ESREL 2018, Trondheim, Norway, June 17-21, 2018]

Learning-based kinematic calibration using adjoint error model

Schillreff, Nadia; Ortmeier, Frank

In: ICINCO 2018. Volume 2 / International Conference on Informatics in Control, Automation and Robotics , 2018 - [Setúbal, Portugal] : SCITEPRESS - Science and Technology Publications, Lda., S. 372-379 [Konferenz: 15th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2018, Porto, Portugal, July 29-31, 2018]

Commits as a basis for API misuse detection

Nielebock, Sebastian; Heumüller, Robert; Ortmeier, Frank

In: Proceedings of the 7th International Workshop on Software Mining / Li , Ming - New York, NY : ACM . - 2018, S. 20-23 [Workshop: 7th International Workshop on Software Mining, Montpellier, France, September 03 - 03, 2018]

Who plays with whom? ... and how? mining API interaction patterns from source code

Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank

In: Proceedings of the 7th International Workshop on Software Mining / Li , Ming - New York, NY : ACM . - 2018, S. 8-11 [Workshop: 7th International Workshop on Software Mining, Montpellier, France, September 03 - 03, 2018]

On the similarities of fingerprints and railroad tracks - using minutiae detection algorithms to digitize track plans

Klockmann, Maximilian; Filax, Marco; Ortmeier, Frank; Reib, Martin

In: 13th IAPR International Workshop on Document Analysis Systems , 2018 - Piscataway, NJ : IEEE, S. 311-316 [Workshop: 13th IAPR International Workshop on Document Analysis Systems, DAS 2018, Vienna, Austria, 24-27 April 2018]

Peer-reviewed journal article

Commenting source code - is it worth it for small programming tasks?

Nielebock, Sebastian; Krolokowski, Dariusz; Krüger, Jacob; Leich, Thomas; Ortmeier, Frank

In: Empirical software engineering - Dordrecht [u.a.] : Springer Science + Business Media B.V . - 2018, insges. 40 S. [First online]

Foetal heart rate signal spectral analysis by using time-varying autoregressive modelling

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: Current directions in biomedical engineering - Berlin : De Gruyter, Bd. 4 (2018), Heft 1, S. 579-582

Article in conference proceedings

VIOL: Viewpoint invariant object localizator viewpoint invariant planar features in man-made environments

Filax, Marco; Ortmeier, Frank

In: VISAPP / VISIGRAPP , 2018 - [Setúbal, Portugal] : SCITEPRESS - Science and Technology Publications, Lda., S. 581-588 [Konferenz: 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2018, Funchal, Madeira, Portugal, January 27-29, 2018]

2017

Book chapter

Building models we can rely on - requirements traceability for model-based verification techniques

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: Model-Based Safety and Assessment - Cham : Springer . - 2017, S. 3-18 - (Lecture Notes in Computer Science; 10437) [Symposium: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017]

Beyond software product lines - variability modeling in cyber-physical systems

Krüger, Jacob; Nielebock, Sebastian; Krieter, Sebastian; Diedrich, Christian; Leich, Thomas; Saake, Gunter; Zug, Sebastian; Ortmeier, Frank

In: Proceedings of the 21th International Software Product Line Conference. Volume A - New York : ACM ; Cohen, Myra . - 2017, S. 237-241 [Konferenz: 21th International Software Product Line Conference, SPLC 2017, Sevilla, Spain,September 25 - 29, 2017]

On improving rare event simulation for probabilistic safety analysis

Gonschorek, Tim; Rabeler, Ben Lukas; Ortmeier, Frank; Schomburg, Dirk

In: Proceedings of the 15th ACM/IEEE International Conference on Formal Methods and Models for System Design - [Piscataway, NJ] : IEEE . - 2017, S. 15-24 [Konferenz: 5th ACM/IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria, September 29 - October 02, 2017]

Progressive fetal distress estimation by characterization of fetal heart rate decelerations response based on signal variability in cardiotocographic recordings

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: Computing in Cardiology 2017 , 2017 - [Piscataway, NJ] : IEEE ; Pickett, Christine, S. 1-4 [Konferenz: 2017 Computing in Cardiology, CinC, Rennes, France, 24-27 September 2017]

QuadSIFT: unwrapping planar quadrilaterals to enhance feature matching

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: WSCG 2017 - Plzen : Vaclav Skala - Union Agency, S. 7-16 [Konferenz: 25th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017, Plzen, Czech Republic, May 29 - June 2, 2017]

Peer-reviewed journal article

Towards high accuracy robot-assisted surgery

Schillreff, Nadia; Nykolaichuk, Mykhaylo; Ortmeier, Frank

In: IFAC-PapersOnLine / Internationale Förderung für Automatische Lenkung - Frankfurt : Elsevier, Bd. 50 (2017), S. 5666-5671 [Special issue: 20th IFAC World Congress, Toulouse, France, 9-14 July 2017]

Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse

Bitsch, Friedemann; Filax, Marco; Gonschorek, Tim; Ortmeier, Frank; Schumacher, Rolf

In: Signal + Draht - Hamburg : DVV Media Group . - 2017, Heft 6

Analysis of the foetal heart rate in cardiotocographic recordings through a progressive characterization of decelerations

Fuentealba Ortiz, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: Current directions in biomedical engineering - Berlin : De Gruyter, Bd. 3 (2017), Heft 2, S. 423-427

Article in conference proceedings

A verification environment for critical systems - integrating formal methods into the safety development life-cycle

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

In: ResearchGATE - Cambridge, Mass. : ResearchGATE Corp. . - 2017, insges. 1 S. [Symposium: 5th International Symposium on Model-Based Safety and Assessment, IMBSA2017, Trento, 11-13 September 2017]

2016

Book chapter

Correct formalization of requirement specifications - a V-model for building formal models

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Cham : Springer . - 2016, S. 106-122 - (Lecture Notes in Computer Science; 9707) [Kongress: 1st International Conference, RSSRail 2016, Paris, France, June 28-30, 2016]

Multi-sensor tracking with SPRT in an autonomous vehicle

Stess, Marek; Schildwachter, Christian; Mersheeva, Vera; Ortmeier, Frank; Wagner, Bernardo

In: 2016 IEEE Intelligent Vehicles Symposium (IV): 19-22 June 2016 - [Piscataway, NJ]: IEEE[Kongress: 2016 IEEE Intelligent Vehicles Symposium (IV), 19. - 22. June 2016, Gothenburg, Sweden]

Peer-reviewed journal article

Bringing formal methods on the rail - Modellbasierte Systemanalyse in der Sicherheitsnachweisführung

Filax, Marco; Gonschorek, Tim; Hebecker, Tanja; Lipaczewski, Michael; Madalinski, Agnes; Ortmeier, Frank; Fietze, Mario; Schumacher, Rolf

In: Der Eisenbahningenieur - Hamburg : DVV Media Group . - 2016, S. 24-27

Dissertation

Sichere Multi-Faktor-Authentifizierung an Smartphones mithilfe des Tippverhaltens

Trojahn, Matthias; Ortmeier, Frank

In: Wiesbaden: Springer, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik 2016, XXI, 228 Seiten - (AutoUni-Schriftenreihe; Band 85), ISBN: 978-3-658-14048-9 [Literaturverzeichnis: Seite [205]-228][Literaturverzeichnis: Seite [205]-228]

2015

Book chapter

Coverage Path Re-planning for Processing Faults

Nykolaychuk, Mykhaylo; Ortmeier, Frank

In: Vol. 9245, 2015, S. 358-368

Peer-reviewed journal article

Robotic task sequencing problem - a survey

Alatartsev, Sergey; Stellmacher, Sebastian; Ortmeier, Frank

In: Journal of intelligent & robotic systems - Dordrecht [u.a.] : Springer Science + Business Media B.V, Bd. 80 (2015), Heft 2, S. 279-298

Comparison of modeling formalisms for Safety Analyses - SAML and AltaRica

Lipaczewski, Michael; Ortmeier, Frank; Prosvirnova, T.; Rauzy, A.; Struck, Simon

In: Reliability engineering & system safety - London [u.a.] : Elsevier Science, Bd. 140 (2015), S. 191-199

Dissertation

Robot trajectory optimization for relaxed effective tasks

Alatartsev, Sergey; Ortmeier, Frank

In: Magdeburg, Univ., Fak. für Informatik, Diss., 2015, XIII, 113 S.

2014

Abstract

A graphical notation for probabilistic specifications

Nielebock, Sebastian; Gonschorek, Tim; Ortmeier, Frank

In: VeriSure: Verification and Assurance: 23 July 2014, Vienna, Austria ; in association with Computer-Aided Verification (CAV) 2014, part of the Vienna Summer of Logic ; programm - ViennaKongress: VeriSure (Vienna, Austria : 2014.07.23)

Robot trajectory optimization for the relaxed end-effector path

Alatartsev, Sergey; Belov, Anton; Nykolaychuk, Mykhaylo; Ortmeier, Frank

In: INCINCO 2014: abstracts - INSTICC, 2014, Paper Nr. 230Kongress: ICINCO 2014 (Wien : 2014.09.01-03)

Book chapter

A dataflow Notation for SAML - formal modeling without fearing timing constraints

Heumüller, Robert; Lipaczewski, Michael; Ortmeier, Frank

In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 43-50

On bringing object-oriented software metrics into the model-based world - verifying ISO 26262 compliance in simulink

Mäurer, Lukas; Hebecker, Tanja; Stolte, Torben; Lipaczewski, Michael; Möhrstädt, Uwe; Ortmeier, Frank

In: System analysis and modeling: models and reusability: 8th international conference, SAM 2014, Valencia, Spain, September 29 - 30, 2014 ; proceedings - Berlin [u.a.]: Springer, S. 207-222 - (Lecture notes in computer science; 8769)Kongress: SAM 8 (Valencia : 2014.09.29-30)

VECS - verification enviroment for critical systems - tool supported formal modeling an verification

Gonschorek, Tim; Filax, Marco; Lipaczewski, Michael; Ortmeier, Frank

In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 63-64

On efficiently specifying models for model checking

Nykolaychuk, Mykhaylo; Lipaczewski, Michael; Liebusch, Tino; Ortmeier, Frank

In: Model-based safety and assessment: 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings - Cham [u.a.]: Springer, S. 14-27 - (Lecture Notes in Computer Science; 8822)Kongress: IMBSA 2014 4 (Munich, Germany : 2014.10.27-29)

On traceability of informal specifications for model-based verification

Filax, Marco; Gonschorek, Tim; Lipaczewski, Michael; Ortmeier, Frank

In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 11-18

Bringing VECS to the World - challenges and accomplishments in teaching of formal model analysis

Lipaczewski, Michael; Filax, Marco; Ortmeier, Frank

In: European Conference on Software Engineering Education - ECSEE 2014: 27th and 28th November 2014, Seeon Monastery - Aachen: Shaker, S. 217-228Kongress: ECSEE 2014 27 (Seeon Monastery, Germany : 2014.11.27-28)

Peer-reviewed journal article

Model-based local path planning for UAVs

Hebecker, Tanja; Buchholz, Robert; Ortmeier, Frank

In: Journal of intelligent and robotic systems: theory and applications, incorporating mechatronic systems engineering - Dordrecht [u.a.]: Springer Science + Business Media B.V, insges. 16 S., 2014

Editor

IMBSA 2014 - [proceedings] : short & tutorial proceedings of the 4th international symposium on model based safety assessment

Ortmeier, Frank; Rauzy, Antoine

In: Magdeburg: Otto-von-Guericke-University, 2014, 66 Seiten, graph. Darst., 21 cmKongress: International Symposium on Model-Based Safety and Assessment 4 (Munich, Germany : 2014.10.27-29)

Model-based safety and assessment - 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings

Ortmeier, Frank; Rauzy, Antoine

In: Cham [u.a.]: Springer, 2014, Online-Ressource (X, 208 S.) - (Lecture notes in computer science; 8822)Kongress: IMBSA 4 (Munich : 2014.10.27-29)

Article in conference proceedings

Improving the sequence of robotic tasks with freedom of execution

Alatartsev, Sergey; Ortmeier, Frank

In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014 : 14 - 18 Sept. 2014, Chicago, Illinois - Piscataway, NJ: IEEE, S. 4503 - 4510Kongress: IROS (Chicago : 2014.09.14-18)

2013

Abstract

Constricting insertion heuristic for traveling salesman problem with neighborhoods

Alatartsev, Sergey; Augustine, Marcus; Ortmeier, Frank

In: AAAI publications. - Menlo Park, Calif : AAAI Press, 2013

On Optimizing a Sequence of Robotic Tasks

Alatartsev, Sergey; Mersheeva, Vera; Augustine, Marcus; Ortmeier, Frank

In: Proceeding of th International Conference in Intelligent Robots and Systems (IROS)

Re-authentication model for mobile devices

Trojahn, Matthias; Ortmeier, Frank

In: 8. GI FG SIDAR Graduierten-Workshop über Reaktive Sicherheit, SPRING, S. 9, 2013

Biometric Keystroke Authentication on Smartphones Using a Capacitive Display

Trojahn, Matthias; Ortmeier, Frank

In: 2. Doktorandentagung Mgdeburger-Informatik-Tage 2013 (MIT 2013)

Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards

Trojahn, Sebastian; Arndt, Florian; Weinmann, Markus; Ortmeier, Frank

In: 15th International Conference on Enterprise Information Systems

Keystroke Authentication with a Capacitive Display using Different Mobile Devices

Ortmeier, Frank

In: 10th International Conference on Security and Cryptography (SECRYPT)

Emotion recognition through keystroke dynamics on touchscreen keyboards

Trojahn, Matthias; Arndt, Florian; Weinmann, Markus; Ortmeier, Frank

In: ICEIS 2013. - INSTICCKongress: ICEIS; 15 (Angers) : 2013.07.04-07

Teaching und Training Formal Methods for Safety Critical Systems

Ortmeier, Frank; Lipaczewski,

In: Proceedings for the 39th Euromicro Conference on Iv Software Engineering and Advanced Applications (SEAA 2013)

Keystroke authentication with a capacitive display using different mobile devices

Trojahn, Matthias; Schadewald, Christian; Ortmeier, Frank

In: SECRYPT 2013. - Reykjavik

Re-Authentication Model for Mobile Devices

Trojahn, Matthias; Ortmeier, Frank

In: Proceedings of the Eight GI SIG SIDAR Graduate Workshop on Reactive Security (SPRING)

Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods

Alatartsev, Sergey; Augustine, Marcus; Ortmeier, Frank

In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013)

Designing an Enterprise Security Strategy for Mobile Intranet Access

Trojahn, Matthias; Ortmeier, Frank

In: International Workshop on Trustworthy Computing

Book chapter

Teaching and training formal methods for safety critical systems

Ortmeier, Frank; Lipaczewski, Michael

In: SEAA 2013. - Piscataway, NJ : IEEE, S. 408-413

Biometric keystroke authentication on smartphones using a capacitive display

Trojahn, Matthias; Ortmeier, Frank

In: Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 (MIT 2013). - Magdeburg, S. 23-30Kongress: Doktorandentagung Magdeburger-Informatik-Tage (MIT); 2 (Magdeburg) : 2013.07.16

On optimizing a sequence of robotic tasks

Alatartsev, Sergey; Mersheeva, Vera; Augustine, Marcus; Ortmeier, Frank

In: 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. - Piscataway, NJ : IEEE, insges. 7 S.Kongress: IROS; (Tokoyo) : 2013.11.03-07

Designing an enterprise security strategy for mobile intranet access

Trojahn, Matthias; Ortmeier, Frank

In: 2013 Seventh International Conference on Software Security and Reliability Companion (SERE-C 2013). - Piscataway, NJ : IEEE, S. 8-15Kongress: SERE-C; 7 (Gaithersburg, Md.) : 2013.06.18-20

A pragmatic approach for debugging parameter-driven software

Ortmeier, Frank; Struck, Simon; Meinicke, Jens

In: Software Engineering 2013 / Tagung Software Engineering , 2013 - Bonn : GI, Ges. für Informatik, S. 199-212 - (GI-Edition; Proceedings; 213) Kongress: Fachtagung des GI-Fachbereichs Softwaretechnik Aachen 2013.02.26-03.01

Toward mobile authentication with keystroke dynamics on mobile phones and tablets

Trojahn, M.; Ortmeier, Frank

In: 27th International Conference on Advanced Information Networking and Applications workshops (WAINA), 2013. - Piscataway, NJ : IEEE, S. 697-702Kongress: WAINA; (Barcelona) : 2013.03.25-28

Keystroke authentication on mobile devices with a capacitive display

Trojahn, M.; Ortmeier, Frank

In: Proceedings of the 2nd International Conference on Pattern Recognition Applications and Methods. - [S.l.] : SCITEPRESS, S. 637-640, 2013

Peer-reviewed journal article

Efficient optimization of large probabilistic models

Struck, Simon; Güdemann, Matthias; Ortmeier, Frank

In: The journal of systems and software. - Amsterdam [u.a.] : Elsevier, Bd. 86.2013, 10, S. 2488-2501

Editor

Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 - (MIT 2013) ; 16. Juli 2013

Buchholz, Robert; Krempl, Georg; Krull, Claudia; Schallehn, Eike; Stober, Sebastian; Ortmeier, Frank; Zug, Sebastian

In: Magdeburg, 2013, 4, 30 Seiten, Ill., graph. Darst., 21 cmKongress: Magdeburger-Informatik-Tage, Doktorandentagung (MIT) 2 (Magdeburg : 2013.07.16)

Article in conference proceedings

A Pragmatic Approach For Debugging Parameter-Driven Software

Ortmeier, Frank; Struck, Simon; Meinicke, Jens; Quante, Jochen

In: Software Engineering 2013 pages 199-212

Developing a cloud computing based approach for forensic analysis using OCR

Trojahn, Matthias; Pan, Lei; Ortmeier, Frank

In: IMF 2013. - SIDAR, insges. 15 S.Kongress: IMF; 7 (Nürnberg) : 2013.03.12-14

2012

Book chapter

The ForMoSA approach to qualitative and quantitative model-based safety analysis

Habermaier, Axel; Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

In: Railway safety, reliability, and security. - Hershey PA : Information Science Reference, insges. 45 S., 2012

The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis

Habermaier, Axel; Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

In: 2012

Peer-reviewed journal article

Probabilistic Model-Based Safety Analysis

Güdemann, Matthias; Ortmeier, Frank

In: Elsevier Journal of Theoretical Computer Science on Quantitative Aspects of Programming Languages and Systems, 2012

Editor

Tagungsband der 1. Doktorandentagung Magdeburger-Informatik-Tage 2012 (MIT 2012)

Krempl, Georg; Krull, Claudia; Ortmeier, Frank; Schallehn, Eike; Zug, Sebastian

In: Magdeburg: Univ., 2012, [Online-Ausg.], Online-RessourceKongress: MIT 1 (Magdeburg : 2012.07.17)

Landmark-Tree Map: a Biologically Inspired Topological Map for Long-Distance Robot Navigation

Augustine, Marcus; Mair, Elmar; Stelzer, Annett; Ortmeier, Frank; Burschka, Darius; Suppa, Michael

In: 2012

Article in conference proceedings

An approach to determine mechanical hazards in VR-models semi-automatically

Kroys, Alexander; Ortmeier, Frank

In: 2012

Self-healing data structures

Peilicke, Sascha; Ortmeier, Frank

In: 2012

A Pragmatic Approach For Debugging Parameter-Driven Software

Ortmeier, Frank; Struck, Simon; Meinicke, Jens; Quante, Jochen

In: 2012

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

In: 2012

On modeling probabilistic aspects of failure modes efficiently

Güdemann, Matthias; Mäurer, Lukas; Ortmeier, Frank

In: 2012

Handlungsadaptive Produktionsassistenz

Lipaczewski, Michael; Ortmeier, Frank

In: 2012

Unifying Probabilistic and Traditional Formal Model-Based Analysis

Güdemann, Matthias; Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

In: 2012

Multi-Objective Optimization of Formal Specifications

Struck, Simon; Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank

In: 2012

Trajectory Description Conception for Industrial robots

Alatartsev, Sergey; Güdemann, Matthias; Ortmeier, Frank

In: 2012

Using model-based analysis in certification of critical software-intensive systems

Struck, Simon; Ortmeier, Frank; Lipaczewski, Michael

In: Issue 199, 2012

SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

In: S. 67-72, 2012

Toward mobile multi-factor authentification

Trojahn, Matthias; Ortmeier, Frank

In: 2012

2011

Book chapter

Dependability in pervasive computing

Ortmeier, Frank

In: Pervasive computing and communications design and deployment. - Hershey, Pa. : Information Science Reference, 2011

Tool supported model-based safety analysis and optimization

Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank

In: Proceedings // 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing. - Piscataway, NJ : IEEE, S. 294-295Kongress: PRDC; 17 (Pasadena, Calif.) : 2011.12.12-14

Towards making dependability visual - combining model-based design and virtual realities

Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank; Schumann, Marco; Eschbach, Robert

In: Proceedings // 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing. - Piscataway, NJ : IEEE, S. 274-275Kongress: PRDC; 17 (Pasadena, Calif.) : 2011.12.12-14

Towards model-driven safety analysis

Güdemann, Matthias; Ortmeier, Frank

In: 3rd International Workshop on Dependable Control of Discrete Systems 2011, DCDS 2011, Saarbrücken, Germany, 15th-17theJune 2011, insges. 6 S.Kongress: DCDS; 3 (Saarbrücken, Germany) : 2011.06.15-17

Dissertation

Qualitative and quantitative formal model-based safety analysis - push the safety button

Güdemann, Matthias; Ortmeier, Frank; Kruse, Rudolf

In: Magdeburg, Univ., Fak. für Informatik, Diss., 2011, 5, VIII, 195 S.

Article in conference proceedings

Practical experiences in model-based safety analysis

Ortmeier, Frank; Lipaczewski, Michael; Güdemann, Matthias

In: IWDE 2011: proceedings of the 2nd International Workshop on Digital Engineering 2011. - Magdeburg, S. 31-38

Original article in peer-reviewed periodical-type series

Model-based multi-objective safety optimization

Güdemann, Matthias; Ortmeier, Frank

In: Computer safety, reliability, and security. - Heidelberg [u.a.] : Springer, S. 423-436, 2011 - (Lecture notes in computer science; 6894)Kongress: SAFECOMP; 30 (Naples) : 2011.09.19-22

2010

Book chapter

A framework for qualitative and quantitative model-based safety analysis

Güdemann, Matthias; Ortmeier, Frank

In: IEEE 12th International Symposium on High Assurance Systems Engineering. - Los Alamitos [u.a] : IEEE Computer Society, insges. 10 S., 2010Kongress: HASE; 12 (San Jose, CA, USA) : 2010.11.03-04

Metadaten-Modell für ein sicheres eingebettetes Datenmanagement

Fruth, Jana; Dittmann, Jana; Ortmeier, Frank; Feigenspan, Janet

In: D-A-CH Security 2010. - [Klagenfurt] : syssec, S. 359-370Kongress: Arbeitskonferenz D-A-CH Security; (Wien) : 2010.09.21-22

Article in conference proceedings

ProMoSA - probabilistic models for safety analysis

Ortmeier, Frank; Güdemann, Matthias

In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI. - München : fortiss, S. 7-12, 2010Kongress: Dagstuhl-Workshop MBEES; 6 (Wardern) : 2010.02.03-05

SysML in digital engineering

Güdemann, Matthias; Kegel, Stefan; Ortmeier, Frank; Poenicke, Olaf; Richter, Klaus

In: IWDE 2010 - proceedings of the 1st International Workshop on Digital Engineering ; Otto-von-Guericke-Universität Magdeburg: proceedings of the 1st International Workshop on Digital Engineering ; Otto-von-Guericke-Universität Magdeburg - Magdeburg: Univ.; Köppen, Veit *1977-* - proceedings of the 1st International Workshop on Digital Engineering ; Otto-von-Guericke-Universität Magdeburg . - 2010, S. 1-8Kongress: IWDE 2010 - proceedings of the 1st International Workshop on Digital Engineering ; Otto-von-Guericke-Universität Magdeburg 1 (Magdeburg : 2010.06.14)

Original article in peer-reviewed international journal

Probabilistic model-based safety analysis

Güdemann, Matthias; Ortmeier, Frank

In: Electronic proceedings in theoretical computer science. - Sydney : NICTA, Bd. 28.2010, 8, S. 114-128[QAPL ; 8 (Paphos, Cyrus) : 2010.03.27-28]

Original article in peer-reviewed periodical-type series

Quantitative Model-Based Safety Analysis - a case study

Güdemann, Matthias; Ortmeier, Frank

In: Sicherheit 2010. - Bonn : Ges. für Informatik, S. 153-164 - (GI-Edition)Kongress: Konferenz Sicherheit, Schutz und Zuverlässigkeit; 5 (Berlin) : 2010.10.05-07

2009

Book chapter

Object-centric programming: A new modeling paradigm for robotic applications

Angerer, Andreas; Hoffmann, Alwin; Ortmeier, Frank; Vistein, Michael; Reif, Wolfgang

In: IEEE International Conference on Automation and Logistics, 2009 - Piscataway, NJ : IEEE, S. 18-23 Kongress: ICAL Shenyang 2009.08.05-07

Hiding real-time - a new approach for the software development of industrial robots

Hoffmann, Alwin; Angerer, Andreas; Ortmeier, Frank; Vistein, Michael; Reif, Wolfgang

In: IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009 - Piscataway, NJ : IEEE, S. 2108 - 2113 Kongress: IROS St. Louis 2009.10.11-15

A generic software framework for role-based Organic Computing systems

Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Steghoefer, Jan-Philipp; Reif, Wolfgang

In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. - Piscataway, NJ : IEEE, S. 96 - 105Kongress: ACM/IEEE International Workshop on Software Engineering for Adaptive and Self-Managing Systems; 4 (Vancouver, BC) : 2009.05.18-19

Original article in peer-reviewed international journal

An abstract specification language for static program analysis

Vistein, Michael; Ortmeier, Frank; Reif, Wolfgang; Huuck, Ralf; Fehnker, Ansgar

In: Electronic notes in theoretical computer science - Amsterdam [u.a.] : Elsevier Science, Bd. 254 (2009), S. 181-197 [Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009)]

Original article in peer-reviewed periodical-type series

A universal self-organization mechanism for role-based organic computing systems

Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Steghöfer, Jan-Philipp; Reif, Wolfgang

In: Autonomic and trusted computing. - Berlin [u.a.] : Springer, S. 17-31, 2009 - (Lecture notes in computer science; 5586)Kongress: ATC; 6 (Brisbane) : 2009.07.07-09

Non-peer-reviewed journal article

Robotik aus Redmond - eine neue Ära?

Ortmeier, Frank; Angerer, Andreas; Hoffmann, Alwin; Vistein, Michael

In: Computer & Automation. - Haar : WEKA-Fachmedien, 4, S. 1-6, 2009

Current projects

AI Co-Working Labs
Duration: 01.04.2024 to 31.03.2027

AI is one of the current megatrends shaping our society. At the same time, we face an aging society and a younger generation with new expectations for their working lives. AI in production can achieve these expectations alongside increased production efficiency and the transition to a circular economy.

To accomplish this, methods must be developed that enable efficient, synergistic collaboration (co-work) between humans and machines. The AI Co-Working Labs establish the foundation for achieving this goal. Specifically, various interlinked and mutually reinforcing challenges will be addressed. The central focus of all efforts lies in cognitive-level collaboration between humans and production systems.

The AI Co-Working Lab pursues three key strategic objectives:

  1. OpenLabs for shared use of laboratories.
  2. OpenData for efficient AI development.
  3. Interdisciplinary networking of faculties.

View project in the research portal

Human-Centered Production through Human-Robot Teaming
Duration: 01.02.2024 to 31.01.2027

The core scientific goal is to develop an entirely new approach to programming and specifying robotic programs. For the first time, this will focus solely on target states (e.g., a construction drawing of a finished product) rather than on production steps or specific actions/robot trajectories.
What sets this approach apart is the emphasis on collaborative work between humans and robots. The robot is expected to behave as flexibly as a human teammate. To achieve this, it is essential that the robot's control system is not only objectively safe but also perceived as safe and reliable by its human partner. This includes, for example, the robot adapting its speed based on the level of trust the human teammate has in it.
This project lays the groundwork for cost-effective automation, particularly for small and medium-sized enterprises.

View project in the research portal

Improvement of methods for the automatic extraction of API specifications
Duration: 01.01.2017 to 31.12.2026

Nowadays, dealing with application programming interfaces (APIs for short) is an important part of every software developer's everyday life. These programming interfaces enable access to a wide variety of resources such as program classes, software libraries or web services. In order to avoid unwanted or incorrect behavior when using such resources, it is essential that the usage rules provided by the API are adhered to. One class of these restrictions deals with the permissible sequence of method calls, e.g. the correct initialization, use and finally release of a resource. If these rules are not adhered to, this can lead to undesirable behavior and program crashes with potentially critical consequences. For this reason, specifications of the correct usage patterns of APIs are of great practical value. On the one hand, they make it easier for developers to familiarize themselves with unknown APIs. On the other hand, and of particular interest, they enable a range of automated support techniques in software engineering, including automatic detection and correction of misuse.

As the manual specification of APIs involves a great deal of effort, the research field of specification mining is concerned with techniques for the automatic extraction of API specifications from existing source code. For example, algorithms from data mining are used to detect recurring patterns in the use of APIs in large projects. Simple algorithms can only be used to a very limited extent here, particularly due to their low precision for practical use.

The aim of this project is to remedy this situation. In particular, abstract information from the software engineering process, such as knowledge of project-specific API usage patterns, will be used to develop new methods and heuristics to improve automatic extraction techniques.
This text was translated with DeepL

View project in the research portal

Hydrogen Conditioning and Safety (WAKOS): Model-based verification for the safety analysis of novel hydrogen-based propulsion systems in aviation
Duration: 01.10.2022 to 31.03.2026

The aim of the "Hydrogen conditioning and safety for innovative drives" (WAKOS) project is to make a contribution to "environmentally friendly aviation". The focus is on the development and implementation of a new type of combustion chamber and the necessary control, regulation and distribution systems for the conditioning of liquid hydrogen. In addition, all relevant operating conditions, safety aspects and aviation-specific requirements are to be taken into account in this development.
The work aims to contribute to the development of more powerful, safe and energy-efficient systems and components for hydrogen conditioning, distribution and utilization in a highly efficient hydrogen combustion engine.

An important aspect of the work will be the development of new methods and tools and the transfer of methods and tools already used in research. Their early integration into the system design process will drastically reduce development and testing efforts. This will allow both the development of individual system components to be addressed and the overall integration of the subcomponents into a complete system to be improved.
In this project, the development and validation of such methods is now to be implemented. This will not only reduce development and testing costs for the implementation of control and regulation solutions in the context of the associated components, but also support the certification process through the use of automated, model-based analysis methods.
This text was translated with DeepL

View project in the research portal

Entwicklung anpassungsfähiger Verifikationsalgorithmen für softwareintensive Systeme in sich ändernden Umgebungen
Duration: 01.01.2017 to 31.12.2025

Softwareintensive, cyberphysische, Systeme halten immer mehr Einzug in unser alltägliches Leben. Das beginnt bei smarten Heizungssteuerungen und Kühlschränken, über Energiekraftwerke und -netze in Smart Grid Infrastrukturen, bis hin zu autonomen Autos.

Dabei haben vor allem die letzten beiden Elemente gemein, dass Fehlfunktionen zu kritischen Situationen führen können, die einerseits mit hohen Kosten, andererseits aber auch mit der Gefahr für Menschenleben, verbunden sind.
Daher wird heutzutage bereits ein großer Aufwand betrieben, die Systeme möglichst ausfallsicher zu entwickeln und diese Sicherheit auch nachzuweisen.
Diese Analysen sind aber lediglich zur Entwicklungszeit des Systems möglich und somit müssen bereits zur Designzeit alle möglichen Situationen und Umstände betrachtet werden.

Dadurch wird jedoch ausgeschlossen, dass die Systeme im Zweifelsfall auf sich ändernde Umgebungen reagieren und selber abschätzen können, ob sie die gewünschte Funktionalität noch mit der geforderten Zuverlässigkeit, ausführen können.
Dies betrifft z. B. autonome Funktionen bei Autos, wenn sich Wetterbedingungen ändern und dadurch gewisse Sensoren nur noch eingeschränkt nutzbar sind bzw. ausfallen.
Eine Möglichkeit wäre, die jeweilige Funktion sofort zu deaktivieren. Aber ggf. ist der Einfluss der Änderung so minimal, dass die gewünschte Funktionalität noch ausgeführt werden kann.
Diese müssten dann jeweils online analysiert und verifiziert werden. 
Solche Analysen sind prinzipiell mit gängigen Verifikationsmethoden wie proabilistischem Model Checking umsetzbar. Leider sind gängige Methoden noch nicht in der Lage schnelle Analysen für hochkomplexe Systeme durchzuführen, da die Berechnungen schlicht zu lange dauern.

Um diese Onlineanalysen in Zukunft zu ermöglichen, sollen in diesem Projekt Modellverifikationsalgorithmen erstellt werden, die prinzipiell mit Modellen realer Komplexität umgehen können und dazu auch sowohl zur Designzeit aber auch währende des Einsatzes des Systems Parameter und Eigenschaften lernen, die eine schnelle, aussagekräftige und zuverlässige Analyse ermöglichen.

View project in the research portal

Completed projects

API Specific Automatic Program Repair
Duration: 01.01.2016 to 31.07.2025

API Specific Automatic Program Repair or how can we find and fix API Misuses automatically?
Nowadays, programmers re-use much code from existing code libraries by means of Application Programming Interfaces (APIs). Due to missing or outdated documentation as well as misunderstandings on how to correctly use a particular API, programmers may falsely apply that API.
If this false application leads to a negative behavior of the software, e.g. software crashes, performance losses, or inconvenient software usage, we denote these as API misuses.
Recent research has shown that half of the existing bugs demand an API-specific correction and therefore require knowledge on the correct application of the API. In order to be capable to create API-specific patches automatically, we represent such knowledge as API usage patterns. Based on the existing error localization techniques (e.g., testing, detection of deviant behavior) and mechanisms to extract API usage patterns (e.g. Specification Mining), we plan to create patches for API-specific bugs.

View project in the research portal

Mittelstand-Digital Zentrum Magdeburg - Sub-project IT strategies and security
Duration: 01.08.2022 to 31.07.2025

The Mittelstand-Digital Zentrum Magdeburg supports small and medium-sized enterprises with the proven transfer approach of informing, qualifying, implementing and networking in the field of digitalization. Our aim is to accompany these companies across organizational boundaries on their path of digital transformation towards competitive products and services, innovative business models and efficient value creation networks.

As part of the "IT strategies and security" sub-project at the Mittelstand-Digital Zentrum Magdeburg, Otto von Guericke University Magdeburg (OvGU), as a research institution, is looking at how SMEs can be empowered to make reliable decisions regarding the introduction of digital systems. This includes increasing SMEs' understanding of specific technologies in order to strengthen decision-making skills, strategic approaches to launching digitalization projects and the resilience of these systems in order to be prepared for IT security incidents. The topic is flanked by the focus on "AI & machine learning", in which the technologies and potential of learning systems are explained in concrete terms.
This text was translated with DeepL

View project in the research portal

SafeTrAIn: Safe AI using the example of driverless regional trains
Duration: 01.01.2022 to 31.12.2024

The operation of rail transport with the highest levels of automation (GoA4) is an essential component of a climate-neutral and attractive transport mix. According to the state of the art, this goal cannot be achieved in the prevailing complex environments using conventional automation technologies alone. On the other hand, there has been remarkable progress in the development of technologies in the field of highly automated driving (on road & rail) based on the performance of artificial intelligence (AI). A major unresolved challenge is the linking of AI processes with the requirements and approval processes in the rail environment. In this outline, a consortium of the rail industry, technology suppliers, research institutions and standardization and testing organizations describes a joint project to combine the possibilities of AI with the safety considerations of rail transport and to implement a practicable solution using the example of the driverless regional train. Based on the requirements for safety verification, test methods and tools for AI-based methods are being researched. A safety architecture is concretized using the example of the driverless regional train and a GoA4 system for this use case is conceptually developed and validated in a virtual test field. Work from related industries will be taken up.
This text was translated with DeepL

View project in the research portal

Fine-Grained Recognition of Retail Products
Duration: 01.01.2015 to 30.09.2024

Grocery recognition in supermarkets comprises several challenges as groceries embed small inter-class and intra-class variance. Small inter-class variance is given because different products share substantial visual similarities. Datasets typically contain real-world images and reference images, which induces intra-class variance. The visual appearances of products change over time, and their number continuously grows because designs are reworked or new products are published. Standard object classification methods are inapplicable at scale because models need to be fine-tuned continuously to relax these changing conditions.

In this project, we leverage the burden of requiring all classes to be known at training time using methods derived from face recognition techniques and meta-knowledge derived from additional sensor information. The setting is based on recognizing groceries in unknown supermarkets, e.g., without substantial infrastructural changes. The core idea is to extend face-recognition methods and fine-tune known architectures to distinguish the fine-grained visual differences of grocery products. The required training images are semi-automatically generated using sensor data acquired with modern smart glasses, e.g., the user’s trajectory and a model of the environment. Product candidates in real-world images are found using a sliding window approach, which uses the observation that products are arranged on shelves.

View project in the research portal

Evaluating Anomaly Detection Algorithms
Duration: 01.01.2021 to 31.12.2023

Anomaly detection mechanisms are crucial components of machine learning systems that are deployed in safety critical applications, where failures might inflict physical, psychological or economic damage to some party. In such settings, it is important to identify observations or events that diverge so much from the data that has been used to determine the parameters of the machine learning model that the model can not be expected to generalize to the new input.

As anomaly detection methods are usually taken as unsupervised learning problems, estimating their performance under realistic settings turns our to be rather difficult; current evaluation protocols might underestimate the probability of failure and do sometimes not account for randomness in algorithms. Deep models dealing with high dimensional data suffer from this problem in particular. The goal of this project is to develop methods that are able to reliably evaluate unsupervised anomaly detection algorithms.

View project in the research portal

Echtzeit Vor-Ort-Aufklärung und Einsatzmonitoring (EVOK) - Teilvorhaben: Konzeption eines echtzeitfähigen Vor-Ort-Aufklärungssystems
Duration: 01.02.2019 to 31.12.2022

In EVOK soll ein System zur echtzeitfähigen Lagedarstellung erarbeitet werden, dass die Erstellung eines 3D-Modells der Umgebung während eines laufenden Einsatzes erlaubt. In diesem Modell können darüber hinaus die aktuellen Positionen der Einsatzkräfte dargestellt werden. Dies soll in einer für jede Nutzergruppe spezifisch zugeschnittenen Weise visualisiert werden. Dazu wird neben speziellen Softwarealgorithmen auch die entsprechende Hardware, u. a. einsatztaugliche Sensoren, entwickelt und angepasst. Letztere sollen dabei so kompakt sein, dass sie sowohl an autonomen Aufklärungssystemen als auch an der Ausrüstung der Spezialkräfte montiert werden können.

Das im Projekt entwickelte System stellt eine technische Neuerung dar, die direkt am Praxisbedarf ausgerichtet ist. Die Anforderungen echter Einsätze fließen während der gesamten Projektlaufzeit in die Entwicklung ein. Die Visualisierung von Einsatzort und Position der Einsatzkräfte kann dazu beitragen, Gefahren zu minimieren und Einsätze effizient zu gestalten. Somit wird die Sicherheit der Einsatzkräfte und betroffener Personen erheblich erhöht.

View project in the research portal

VIP+-AuRora Validation of the innovation potential of the automatic generation of efficient robot programs
Duration: 01.01.2020 to 31.12.2022

Robots are among the most flexible machine tools available for industrial use today. While conventional machine tools are usually highly specialized designs for individual application scenarios, industrial robots (with the right tool) can be used for an extremely wide range of application scenarios. As a consequence, one would expect specialized machine tools to be used primarily in large series and industrial robots to be used more in the production of small and very small series due to their flexibility. However, industrial practice shows exactly the opposite: today, industrial robots are used almost exclusively in large-scale production. In small and
They play practically no role in small series.
Surprisingly, the key reason for this lies in the programming of the robot. Although robot programs are conceptually very simple - they often only involve a single sequence of movements that must be repeated iteratively - programming them for a specific application scenario involves extremely high costs. These costs often exceed the acquisition costs and, in principle, are incurred each time the task is changed. A whole series of current research and transfer projects are addressing this problem. Two fundamentally different tendencies or approaches to solutions can be observed. On the one hand, attempts are being made to improve or replace programming through the principle of "teaching". The great advantage of teaching-based methods lies in their ease of use. However, the robot will only imitate human movements, which are usually imprecise and rarely time or energy efficient. This means that only a fraction of the potential of automation is exploited. In parallel, a second group of approaches is attempting to make (manual) programming more (time-) efficient. This includes new, modular software architectures, the standardization of programming languages and environments and the introduction of generic frameworks.
This project aims to validate the innovation potential of a third, complementary approach. Instead of creating program sequences manually, these are automatically derived from a model of the product to be manufactured and the machining process. Existing approaches focus on the - relatively simple - part of generating robot paths from given CAD data. However, the main problem lies in the calculation of optimal, collision-free infeed movements and work sequences. In purely conceptual terms, this leads to the problems of program and controller synthesis.
Both problems cannot be solved completely generically. However, there are extremely efficient solutions for excellent sub-problems. In the context of industrial robotics, this means generating sequences of trajectories that fulfill a number of constraints, such as freedom from collision, energy optimality and processing time. The applicants were able to design very efficient methods for this restricted class of problems. If these processes can be efficiently linked to standard industrial robots, a leap forward in innovation can be achieved. By automating a large part of the integration tasks, the costs for adapting a robot for changing tasks can be reduced by up to 90% (we consider a 90% reduction to be achievable for simple applications such as assembly/soldering). For more complex problems, we expect a reduction of up to 50%), which would open up a range of new application scenarios for industrial robotics. This will lead to innovation and sales growth for both end users and robot manufacturers.
In summary, the aim of this project is to validate the innovation potential of model-based techniques for the automatic generation of efficient control programs for industrial robots. If successful, a leap innovation will result from the higher degree of automation in domains in which production takes place in small batches. It will be part of the project to decide whether the targeted innovation can be most promisingly used economically as a service, product or combination of both.
This text was translated with DeepL

View project in the research portal

Joint project Mittelstand 4.0 Competence Centre Magdeburg, sub-project Safety and security in the digitalization of small and medium-sized enterprises
Duration: 01.08.2017 to 31.07.2022

The Mittelstand 4.0 Competence Centre Magdeburg aims to create confidence in digitalization among SMEs, empower employees and managers to implement digitalization measures and enable "digitalization aha experiences". In order to achieve these goals, the SME-oriented technology and knowledge transfer is divided into five different focus areas. Otto von Guericke University is involved in the key areas of "Safety & Security", "Digital Business Models" and "Artificial Intelligence & Machine Learning". In order to ensure the transfer of technology and knowledge in these focus areas in line with the needs of SMEs, a wide variety of offers are planned in this project.
This text was translated with DeepL

View project in the research portal

Entwicklung eines modularen Verifikationswerkzeugs zur Integration automatisierter Sicherheitsanalysen in den Entwurfsprozess softwareintensiver Systeme
Duration: 09.02.2021 to 30.04.2022

Kluge Software, ausgefeilte Algorithmik und künstliche Intelligenz erlauben eine Vielzahl von neuen Anwendungspotentialen - oftmals auch speziell für (sicherheits)kritische Anwendungen. So kann beispielsweise die Energie im Netz effizienter verteilt, moderne Fahrzeuge können sicherer gestaltet und ggf. Kollisionen autonom vermieden werden. Grundlage ist dabei immer eine zunehmend komplexer werdende Kontrollsoftware.

Speziell für sicherheitskritische Systeme, wobei in diesem Zusammenhang die Vermeidung von Schaden an Mensch und Umwelt im Fokus steht, stellt die notwendige Sicherheitsanalyse eine immer größere Herausforderung dar. Um dies gewährleisten zu können, muss der Systementwickler das System holistisch in seiner gesamten Komplexität betrachten. Das betrifft nicht nur die eigentlichen Softwarekomponenten, sondern im Besonderen auch das zu steuernde System sowie auch die Systemumgebung und deren Verhalten. Dies wird für die genannten software-intensiven, sicherheitskritischen Systeme zunehmend schwieriger oder sogar unmöglich. Das liegt unter anderem daran, dass Software- und Systembeschreibungen auf unterschiedlichen mit unterschiedlichen Ausführungssemantiken entworfen werden. Daher werden sie aktuell nur auf einer hohen Abstraktionsebene integriert analysiert. Bei der weiteren Entwicklung können dann jedoch Abweichungen entstehen, welche zuvor verifizierte Sicherheitsziele wieder verletzen.

In der Wissenschaft gibt es bereits Techniken und Ansätze, die Kombination aus Software und(!) Systemverhalten hinsichtlich sicherheitsrelevanter Eigenschaften auch im weiteren Verlauf des Entwurfs zu verifizieren. Diese sind aber nur bedingt praktisch anwendbar. Hintergrund ist, dass in der Praxis verwendete Modellierungsformalismen und -sprachen nicht mit den meist akademischen Verifikationswerkzeugen kombinierbar sind. Dafür müsste ein Algorithmus definiert und umgesetzt werden, der mit den in der Praxis verwendeten Modellierungsformalismen kompatibel ist.

In diesem Projekt wollen die Partner gemeinsam genau solch einen Prototypen schaffen. Dazu wählen wir ein bis zwei in der Praxis weit verbreitete Modellierungssprachen aus und Transferieren bekannte Algorithmen aus dem Bereich der formalen Verifikation so, dass sie auf diese, in der Praxis verwendeten, Modellierungssprachen auch anwendbar sind. Im Ergebnis existiert ein prototypisches System, das in der Lage ist software-intensive Systeme - wie sie oben beschrieben sind - automatisch zu analysieren und damit die zentralen Argumente für einen Sicherheitsnachweise zu liefern bzw. entsprechende Schwachstellen im Systemdesign aufzudecken. Dadurch kann die Entwicklungszeit solcher Systeme drastisch verkürzt und ihre funktionale Sicherheit gesteigert werden.

View project in the research portal

Entwicklung von Technologien für intelligente, kollaborative, interaktive Displays für den Outdoor-Bereich (i-Display)
Duration: 01.01.2019 to 30.04.2022

In diesem Projekt sollen eine Stele entwickelt werden, die a) sowohl Indoor als auch Outdoor einsetzbar ist, die b) Nutzerinteraktionen erlaubt - im Besonderen solche die über reine Touch-Gesten hinausgehen - und die c) durch Vernetzung und Kollaboration mit anderen Stelen Kontext- und Historie-abhängig Information darstellen kann.

Im Outdoorbereich sind die Stelen starken Temperatur-, Feuchtigkeits- und Luftdruckschwankungen ausgesetzt (an einem Tag bis zu 50°C Differenz). Dies erfordert besonders abgehärtete IT und Sensorik. Durch unterschiedlichste zu erwartende Lichtverhältnisse, sind ggf. Wetter-/Kontext abhängig Darstellungen von Information und Interaktionsmetaphern notwendig.

Für Nutzerinteraktion existieren konzeptionell vielfältige Metaphern - von Sprache über Gesten bis hin zu biometrischen Signalen. Für die Stelen stellen sich hier besondere Herausforderungen durch die Wetterlage, die potenziell großen Mengen schnell wechselnder Betrachter und natürlich des Datenschutzes.

Zur Kollaboration ist es notwendig, dass die Stelen Informationen miteinander austauschen und in Korrelation setzen können. Dazu muss beispielsweise ein gemeinsames Bild der Umgebungen (z.B. wo steht welche Stele, wer steht wo) erstellt werden. Im Besonderen für die Historie-abhängige Darstellung spielt der Datenschutz eine essenzielle Rolle, da es sich hier oft um Nutzer-bezogene Daten handelt und gleichzeitig nicht einfach zu entscheiden ist, wer gerade mit der Stele interagiert.

View project in the research portal

ObViewSly 4.0 - Object extraction from 3D geoinformation mass data
Duration: 07.05.2019 to 30.04.2022

The aim of the "ObViewSly 4.0" project is to develop a new method for the semi-automatic, interactive derivation of 3D geodata products from aerial images.
The aim is to enable the user to quickly and easily derive 3D objects from mass data. Figures 1 to 3 show an illustrative example. According to preliminary market research, such a software system is not currently available. In addition, an automatic, area-based derivation of 3D geodata products should be achieved without the need for user interaction.

The market launch of this product is to take place in various stages, depending on the version status and usability. The following sub-goals are planned in this project:

  • Automated detection of buildings in textured 3D mesh data
  • Generation of textured 3D objects from 3D mesh data
  • Texture analyses for information extraction of vector objects
  • Aggregation of objects with external data sets (owner, use)
  • Usage analyses for urban areas
  • Socio-economic analyses
  • The objectives are defined in a logical sequence, but are not dependent on each other. The input data for the individual modules may, but need not, originate from a previous module.
    This text was translated with DeepL

    View project in the research portal

    Multi-Area Coverage Path Planning
    Duration: 01.01.2017 to 31.12.2020

    The task of computing a coverage path for a robot manipulator to machine a given surface is usually called the coverage path planning problem (CPP). The solution to this problem is a path such that every point on the surface is covered by the footprint of a tool. Optimization goals for CPP in robotics are mainly the length of the tool path, the completion time and the length of the path in the robot's joint space.
    The complexity of the CPP problem increases dramatically if the areas to be covered are not connected to each other. For example, when painting a surface, it is common that larger objects have to be sprayed from several sides, while other parts of the surface are not processed at all. From an algorithmic point of view, however, the goal is not to minimize the processing time for each individual area, but for the entire surface. In addition, many applications contain a lot of (often implicitly defined) degrees of freedom (e.g. several inverse kinematics solutions, symmetries of the tool, etc.). These degrees of freedom offer enormous optimization potential, but make finding optimal solutions even more difficult.

    In contrast to classical CPP, the multi-area CPP problem with a robot manipulator has not been sufficiently studied. Most related approaches focus either on covering paths for the given areas or on connecting paths between them. Moreover, most state-of-the-art approaches do not consider reuse of existing partial solutions or do not exploit the existing degrees of freedom, which contain large optimization potential.

    The aim of this project is to develop efficient algorithms for the automatic and optimized solution of a multi-area CPP problem. The core idea is to combine two approaches: (1) an adaptation of techniques for optimal execution of task sequences (where the freedom of execution order can be exploited) to the multi-area CPP problem and (2) using previously computed partial solutions for this problem. Such a combination would lead to time-efficient path computation and enable optimized rescheduling.
    This text was translated with DeepL

    View project in the research portal

    STIMULATE - Solution Centre for Image Guided Local Therapies
    Duration: 01.01.2015 to 31.12.2019

    Für eine Thermoablation von Wirbelsäulentumoren sollen im Rahmen des Projektes die neuen Methoden entwickelt werden, welche deutlich über den heutigen Stand der rein telemanipulierenden OP-Roboter hinausgehen. Ein zentrales Ziel des Projektes ist die Entwicklung eines Regelungs- und Bahnplanungsalgorithmus für die optimale Positionierung eines Ablationselektroden durch einen Roboter in einer autonomen Intervention an der Wirbelsäule. Die klinischen und technischen Anforderungen werden in der engen Abstimmung mit den Projektpartnern aus der Forschung und Industrie definiert. Die Ansätze zur optimalen Bahnplanung für einen Roboter werden in einer kliniknahen Laborumgebung entwickelt und untersucht. Die wesentliche Herausforderung besteht in der Kompensation und Minimierung der möglichen systematischen und nicht-systematischen Fehler. Vor allem führen die häufig auftretenden Fehler, wie z.B. bei der Registrierung des Roboters relativ zum Patienten und zu den bildgebenden Geräten (Angoigraphiegerät und eine externe Navigationssystem) oder durch die Nachgiebigkeit der Ablationelektroden und die Atmung des Patienten, zu einer hohen Ungenauigkeit in der Elektrodenplatzierung, welche reduziert werden soll. Damit wird im Rahmen des Projektes ein Konzept zur Online-Kompensation der möglichen Modellierungs- und Positionierungsfehler erarbeitet, um während einer Intervention auf die möglichen Störungen zu reagieren. Im Ergebnis wird dadurch eine höhere Genauigkeit der Ablationsdosierung, geringere Behandlungsdauer und reduzierte Röntgendosis für das behandelnde Personal als auch für die Patienten ermöglicht.

    View project in the research portal

    A state-based model for fetal distress estimation during labor through a progressive analysis of the cardiotocographic recording
    Duration: 01.01.2015 to 30.09.2019

    During laboratory, the fetal welfare assessment (CTG), which provides continuous information on fetal heart rate (FHR) in relation to uterine contractions (UC) signals. This information helps clinicians to observe how the fetus reacts to stress and thus indicate timely intervention. CTG patterns, whose properties are defined in guidelines for CTG fetal monitoring. However, CTG interpretation is difficult since it involves the human visualization of highly complex signals. In consequence, the interpretation of CTG has been shown to suffer from widespread intra- and inter-observer disagreement, leading to a poor interpretation of reproducibility.
    Nowadays, in order to reduce the intra -and inter-observer disagreements and improve the CTG interpretation, much effort has been made on improving the clinical guidelines for CTG interpretation and on providing support to clinicians using expert systems and advanced signal processing algorithms. However, these efforts do not show clear evidence on improving the estimation of fetal acidemia.
    In this context, we propose to develop a welfare state model for fetal condition estimation during labor and delivery based on the observations of FHR and UC signals. The main idea is to design a state model of clinical guidelines. This model will allow to connect proposed CTG guidelines with FHR signal features by using standard and advanced signal processing and classification techniques.

    View project in the research portal

    Validation of the innovation potential of model-based techniques for the safety analysis process (VIP-MoBaSA)
    Duration: 01.11.2012 to 30.09.2016

    Over the last 30 years, the technological revolution in computer systems has enabled an entire class of new, innovative systems and applications in practically all technical domains. This ranges from highly specialized technology in the aerospace sector, to technology that is not directly visible in the field of energy generation and distribution, to technologies in transportation systems such as rail or private transport.

    The price for these new technologies is a greatly increased system complexity, which is essentially determined by the fact that correct and safe functioning can only be achieved through a very well coordinated interplay between control software and controlled actuators. It is traditionally the task of the safety analysis to provide proof that safe operation can be guaranteed or that potential weak points have been identified and corrected by means of suitable considerations before commissioning new systems. The methods used for this in industry and certification are based almost exclusively on procedures from the 1960s and 1970s, which were developed for analyzing mainly mechanical systems. Unfortunately, the increasing number of serious accidents in recent years demonstrates that this is no longer sufficient for modern, software-intensive systems.

    Over the last 8 years, the applicant has successfully developed a whole series of new and, by international standards, very efficient methods for model-based, computer-aided safety analysis. It has already been shown that these methods can deliver significantly more precise and meaningful results than traditional techniques. In addition, these methods make it possible to automatically calculate qualitative and quantitative estimates of the reliability and probability of failure of the system at an early design stage. Early estimates of reliability are crucial for the design process. Only in this way is it possible to adapt the system design at an early stage - and therefore cost-efficiently. At the same time, the effort required for the final, safety-related assessment as part of the certification and approval process is significantly reduced.

    By making new, automated methods for reliability assessment available, a leap in innovation can be achieved that leads to reduced development times for critical systems across all domains and makes high-precision, a-priori safety analyses possible in a cost-efficient manner. This both reduces development costs and drastically reduces the expected damage to new systems caused by accidents and misjudgements. This has been repeatedly confirmed in a series of presentations and informal preliminary discussions with industry representatives. Unfortunately, these modern methods are still practically not in use outside the academic community.
    This text was translated with DeepL

    View project in the research portal

    Knowledge 4.0
    Duration: 22.09.2014 to 30.09.2015

    Projektziele sind die Entwicklung eines Konzepts für ein überregional sichtbares Kompetenzzentrum im Bereich der Aus- und Weiterbildung zum Themenfeld Industrie 4.0 (Knowledge 4.0) sowie die pilothafte Erprobung zentraler Elemente dieses Konzepts.
    Das Projekt vereint Kompetenzträger aus Universitäten, Fachhochschulen und angewandter Forschung zu einem Netzwerk, welches am industriellen Bedarf orientierte Lehr- und Ausbildungskonzepte entwickelt. Dabei werden alle Qualifikationsniveaus von zunächst spezialisierten Blockkursen über berufsbegleitende Studien bis hin zur Promotion adressiert.
    Dazu sollen zunächst die relevanten Industrie 4.0 Software-Systeme für akademische Partner deutschlandweit und international als Dienstleistung bereitgestellt werden, um im Anschluss Schulungen für Anwender dieser Software zu ermöglichen. Schließlich erfolgt die Erstellung spezisalisierter Lerninhalte auf den verschiedenen Qualifikationsniveaus sowie deren Profilierung auf die identifizierten Leitmärkte Automobil, Maschinen- und Anlagenbau, Elektrogerätebau und Energietechnik.

    Im Anschluss an das Projekt wurde das Zentrum für Weiterbildung cedemo initiiert (http://www.metop.de/cedemo/index.php?id=3).

    View project in the research portal

    ProMoSA - Probabilistic Model for Safety Analysis
    Duration: 01.04.2011 to 28.02.2015

    Due to the ever-increasing complexity and at the same time the growing use of software-intensive systems in potentially safety-critical systems, meaningful safety analysis methods are becoming increasingly important.

    The aim of this project is to design the interaction between humans and technology in such a way that no harm is caused to humans (or the environment). The technological basis is formed by analytical methods that are used in the design of the software that controls the technology. (Stochastic) models of human behavior (e.g. how/when does a driver ignore warnings) and the environment (e.g. behavioral dynamics of vehicles) form the basis for evaluating software control. Based on this, it is then even possible to derive improved/optimal control variants. The greatest research challenge is (a) adequate modeling and (b) efficient, automatic analysis.

    The core idea of model-based security analysis methods is that by (formally) analyzing the system models in the context of their environment and users, system-inherent security properties can be derived extremely precisely. The latest developments in the field of computer science make it possible to derive not only purely qualitative correlations but also quantitative statements about the probability of system failures based on models using formal analyses. Technologically, the approaches investigated in the project are based on stochastic models (here Markov decision processes), verification procedures (here stochastic and probabilistic model checking) and intelligent, multi-criteria optimization procedures (here genetic algorithms with estimation functions).
    This text was translated with DeepL

    View project in the research portal

    Optimized path planning for robot-assisted angiography systems (subproject STIMULATE: Imaging, OvGU)
    Duration: 01.03.2013 to 28.02.2014

    The STIMULATE research campus pursues the goal of developing and disseminating innovative medical products for specific impairments and diseases in old age by developing or improving technologies for minimally invasive procedures supported by multimodal imaging in order to treat these diseases locally with minimal invasiveness and individually adapted on the basis of optimized diagnostic approaches.

    The imaging project is evaluating ways to further improve imaging modalities for use in planning and performing image-guided interventions. Innovative approaches for imaging using 3D robot-based angiography and magnetic resonance imaging, novel photon detectors and intravascular imaging are being investigated in order to define the projects for the main phase.
    Driven by technical developments, C-arm-based angiography systems are also being used in other areas of everyday clinical practice in addition to conventional angiographic examinations. Angiography systems represent the gold standard in two-dimensional X-rays;
    However, 3D imaging with the C-arm is not yet fully established due to technical shortcomings. Compared to conventional computed tomography, C-arm CT systems are significantly slower and also have certain limitations in terms of image quality and manageability.
    The robotic systems used in the angiography system also offer potential for improving image quality. Optimized path planning can be used to increase the image quality in three-dimensional imaging and reduce the radiation dose required for the patient.
    This text was translated with DeepL

    View project in the research portal

    ottomotion - a cyber-phyiscal network for sports
    Duration: 01.11.2011 to 31.10.2013

    New IT technology allows for new methods of planning urban development. otto-motion focuses on urban planning and development of sporting activities. In this projects researchers and experts from sports, data mining and systems engineering together develop tools and methods for increasing sportive activities among the citizens of Magdeburg. One focus will be mobile information technology. The core idea is to bring together motivating factors well-known from social networks with real sport activities. The underlying technologies include Web 2.0 methods and mobile (smartphone-based) assistants. These can for example help predicting when and where to meet friends at any sport activity. In parallel modern data mining and knowledge engineering methods will be used, to find out where to build which type of sport facilities.

    View project in the research portal

    ViERforES II - TP 2: Design of highly reliable logistics systems
    Duration: 01.11.2011 to 30.09.2013

    Continuous monitoring of goods throughout the entire logistics chain is a feature that is increasingly in demand. To achieve this, goods must be continuously monitored using suitable sensor systems. At the same time, high demands are placed on the reliability of these systems (as they also form the basis for identifying potential damage or errors during transportation, storage and access, for example). Accordingly, the demand for verifiable and validatable sensor systems in the environment of large, international logistics hubs will continue to grow. As a consequence, there is great market potential for suitable planning and evaluation applications. new planning and evaluation methods are being developed in this project in order to create a virtual, time-dependent scene from knowledge of the planned logistical scenario, including the environmental situation, which allows a reliable and comprehensible assessment of the mode of operation of the sensor system to be examined before the actual commissioning. Not only ideal, cooperative situations have to be considered, but also situations with component failures or unfavorable environmental conditions & The aim is to qualify the sensor system in virtually generated scenes in such a way that results similar to those of the real system are obtained.
    This text was translated with DeepL

    View project in the research portal

    ViERforES II - TP6: Virtual reality in model-based safety analysis
    Duration: 01.01.2011 to 30.09.2013

    The increasing complexity of modern, software-intensive systems is pushing traditional analysis and evaluation methods to their limits. In modern automobiles, significant innovations are now created by complex software components. However, this results in completely new requirements in terms of reliability and trustworthiness. These characteristics can only be defined through the skillful cooperation of technology, software control and the "assisted" driver.
    This project investigates how simulations and virtual realities can help in this area. The basic idea is to depict the system under investigation, including the actors and (working) environment, in a virtual reality. This simulation can then help with the identification of hazards, the implementation of traditional analysis techniques as well as the better comprehensibility of formal, model-based approaches or the planning of cooperation between humans, technology and software. The methods developed in the project will be tested directly on the simulators and demonstrators of the ViERforES application areas.
    This text was translated with DeepL

    View project in the research portal

    Trajectory Description Language
    Duration: 01.07.2011 to 30.06.2013

    This project is about programming industrial robots. Today, industrial robots are almost exclusively used in large batch series production. Small and medium enterprises hardly use robots, because programming the robots is very time-consuming and expensive. The cost for programming an industrial robot can easily outweigh the costs for the hardware. The aim of this project is to fundamentally change the way industrial robots are programmed. This will be done by introducing a completely new programming paradigm for industrial robots. Instead of programming robots traditionally in terms of (imperative) commands, users/programmers will only specify how movements should look like (i.e. what they expect from a movement). For instance, users will no longer be forced to describe motions explicitly but rather only formulate requirements an intended movement must fulfill. The robot will then find a fitting trajectory on its own. As a consequence, development of applications with industrial robotics will change completely. It will (1) increase the efficiency of the development of new high-level applications, allow for (2) very intuitive and user-friendly programming interfaces and (3) provide a standardized way of multi-robot programming. Furthermore, it will help (4) abstracting from vendor specific hardware, promote a unifying programming interface and thus open the path to re-usable third party software for many applications. This can speed up innovation cycles exponentially (maybe comparable to innovations in business IT after the introduction of standard operating systems and database access languages). The core idea is to develop a declarative programming language for the specification of robotic movements. Starting from arbitrary movements, users restrict these by formulating spatial, temporal and/or minimization constraints. The software control will then automatically calculate fitting solutions which the robots will then execute. This shifts a lot of responsibility from users/programmers to the software-infrastructure. The underlying mathematica lidea is, that any robot command can be understood as a mapping from time to nominal values for all actuators. The problem of finding solutions which adhere  to a number of constraints is then reduced to finding a mathematical function which fulfills a number of restrictions.

    View project in the research portal

    ViERforES - TP2 - Logistik / Teilbereich Informatik
    Duration: 01.09.2009 to 31.12.2010

    Ziel dieses Teilprojekts ist es zuverlässige eingebettete Systeme für den Logistikeinsatz unter Verwendung virtueller Realitäten und modell-basierter Ansätze zu entwickeln. Als Anwendungszenario dient dabei eine Logistikumschlagplatz eines Flughafens der nächsten Generation. Dabei sollen die Prozesse und Abläufe dort durch intelligente Sensorik, bessere Planung und Algorithmik sowie unterstützende Aktuatorik wesentlich effizienter und zuverlässiger werden.

    View project in the research portal

    • Stadt Magdeburg
    • Eisenbahn-Bundesamt, Berlin
    • 4S-SISTEMI SICURI E SOSTENIBILI SRL - 4S SRL (Italien)
    • Airbus Operations GmbH
    • DIN e. V., Berlin
    • Handwerkskammer Magdeburg
    • Handwerkskammer Magdeburg
    • IPSEN GmbH
    • METOP GmbH, Magdeburg, Prof. Dr. Thomas Leich
    • Siemens AG
    • Siemens Mobility GmbH
    • TÜV Rheinland Akademie, Berlin/Köln
    • TÜV SÜD Industrie Service GmbH, Mannheim

    Last Modification: 15.08.2023 -
    Contact Person: Webmaster