Publikationen
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]
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]
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
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]
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]
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]
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
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]
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]
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]
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]
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]
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.
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]
An experimental analysis of graph-distance algorithms for comparing API usages
Nielebock, Sebastian; Blockhaus, Paul; Krüger, Jacob; Ortmeier, Frank
In: De.arxiv.org - [S.l.] : Arxiv.org . - 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
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]
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
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
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]
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]
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]
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]
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]
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]
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]
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
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
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]
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]
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]
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]
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]
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]
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]
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]
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
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
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]
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 - [Piscataway, NJ] : IEEE ; Computing in Cardiology (Veranstaltung:44.:2017), S. 1-4 [Konferenz: 2017 Computing in Cardiology, CinC, Rennes, France, 24-27 September 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]
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]
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]
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
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]
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
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
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]
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]
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
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
Coverage Path Re-planning for Processing Faults
Nykolaychuk, Mykhaylo; Ortmeier, Frank
In: Vol. 9245, 2015, S. 358-368
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
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
Robot trajectory optimization for relaxed effective tasks
Alatartsev, Sergey; Ortmeier, Frank
In: Magdeburg, Univ., Fak. für Informatik, Diss., 2015, XIII, 113 S.
2014
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)
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)
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
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)
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)
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
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)
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)
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
Re-Authentication Model for Mobile Devices
Trojahn, Matthias; Ortmeier, Frank
In: Proceedings of the Eight GI SIG SIDAR Graduate Workshop on Reactive Security (SPRING)
Biometric Keystroke Authentication on Smartphones Using a Capacitive Display
Trojahn, Matthias; Ortmeier, Frank
In: 2. Doktorandentagung Mgdeburger-Informatik-Tage 2013 (MIT 2013)
Keystroke authentication with a capacitive display using different mobile devices
Trojahn, Matthias; Schadewald, Christian; Ortmeier, Frank
In: SECRYPT 2013. - Reykjavik
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, Sebastian; Arndt, Florian; Weinmann, Markus; Ortmeier, Frank
In: 15th International Conference on Enterprise Information Systems
Designing an Enterprise Security Strategy for Mobile Intranet Access
Trojahn, Matthias; Ortmeier, Frank
In: International Workshop on Trustworthy Computing
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)
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)
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)
Constricting insertion heuristic for traveling salesman problem with neighborhoods
Alatartsev, Sergey; Augustine, Marcus; Ortmeier, Frank
In: AAAI publications. - Menlo Park, Calif : AAAI Press, 2013
Re-authentication model for mobile devices
Trojahn, Matthias; Ortmeier, Frank
In: 8. GI FG SIDAR Graduierten-Workshop über Reaktive Sicherheit, SPRING, S. 9, 2013
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
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
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
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
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
Teaching and training formal methods for safety critical systems
Ortmeier, Frank; Lipaczewski, Michael
In: SEAA 2013. - Piscataway, NJ : IEEE, S. 408-413
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
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
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)
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
A Pragmatic Approach For Debugging Parameter-Driven Software
Ortmeier, Frank; Struck, Simon; Meinicke, Jens; Quante, Jochen
In: Software Engineering 2013 pages 199-212
2012
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
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
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
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)
On modeling probabilistic aspects of failure modes efficiently
Güdemann, Matthias; Mäurer, Lukas; Ortmeier, Frank
In: 2012
Toward mobile multi-factor authentification
Trojahn, 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
Multi-Objective Optimization of Formal Specifications
Struck, Simon; Güdemann, Matthias; Lipaczewski, Michael; 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
SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support
Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank
In: S. 67-72, 2012
Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development
Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank
In: 2012
Handlungsadaptive Produktionsassistenz
Lipaczewski, Michael; Ortmeier, Frank
In: 2012
An approach to determine mechanical hazards in VR-models semi-automatically
Kroys, Alexander; Ortmeier, Frank
In: 2012
Trajectory Description Conception for Industrial robots
Alatartsev, Sergey; Güdemann, Matthias; Ortmeier, Frank
In: 2012
Unifying Probabilistic and Traditional Formal Model-Based Analysis
Güdemann, Matthias; Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank
In: 2012
2011
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
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
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., graph. Darst.
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
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
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
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
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)
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]
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
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-23Kongress: ICAL; (Shenyang) : 2009.08.05-07
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
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 - 2113Kongress: IROS; (St. Louis) : 2009.10.11-15
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)]
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
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