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]

Publikationslink

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]

Publikationslink

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]

Publikationslink

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.

Publikationslink

High speed RCS for robot task sequencing optimization

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

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

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]

Publikationslink

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

Kirchheim, Konstantin; Filax, Marco; Ortmeier, Frank

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

Publikationslink

Semi-automatic acquisition of datasets for retail recognition

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: Journal of WSCG - Plzen, Bd. 30 (2022), 1-2, S. 86-94

Publikationslink

On the influence of viewpoint change for metric learning

Filax, Marco; Ortmeier, Frank

In: IAPR International Conference on Machine Vision Applications (MVA) - IEEE . - 2021, insges. 4 S.

Publikationslink

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 - Piscataway, NJ: IEEE . - 2021, S. 214-225

Publikationslink

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

Publikationslink

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/ IEEE/ACM International Conference on Mining Software Repositories - Piscataway, NJ: IEEE . - 2021, S. 535-539

Publikationslink

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

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: VISAPP/ VISIGRAPP - [Sétubal]: SCITEPRESS - Science and Technology Publications, Lda.; Farinella, Giovanni Maria . - 2021, S. 498-505

Publikationslink

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), insges. 48 S.

Publikationslink

Guaranteed set-based controller design for hybrid dynamical systems

Andonov, Petar; Findeisen, Rolf; Ortmeier, Frank

In: Magdeburg: Universitätsbibliothek, 2021, 1 Online-Ressource (II, 121 Seiten, 7,57 MB), Illustrationen

Publikationslink

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, insges. 12 S.

Publikationslink

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 . - 2020, S. 73-76

Publikationslink

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/ European Control Conference - Piscataway, NJ: IEEE; Pogromsky, Alexander . - 2020, S. 362-367

Publikationslink

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 . - 2020, S. 1-2

Publikationslink

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

Publikationslink

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, 2015, Bd. 6.2020, 3, 20203132, S. 514-517

Publikationslink

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]

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 - Cham: Springer, 2019 . - 2019, S. 271-285 - (Programming and Software Engineering; 11698)[Konferenz: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019]

Publikationslink

Cardiotocograph data classification improvement by using empirical mode decomposition*

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society - [Piscataway, NJ]: IEEE, 2019 . - 2019, S. 5646-5649[Konferenz: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC, Berlin, Germany, 23-27 July 2019]

Publikationslink

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 . - 2019, S. 900-907[Konferenz: 8th International Conference on Pattern Recognition Applications and Methods,February 19-21, 2019, Prague, Czech Republic]

Publikationslink

Integrating safety design artifacts into system development models using SafeDeML

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

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

Publikationslink

SpecTackle - a specification mining experimentation platform

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

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

Publikationslink

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, 2019 . - 2019, 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 . - 2019, S. 1-4[ 2018 Computing in Cardiology Conference, CinC, Maastricht, Netherlands, 23-26 September 2018]

Publikationslink

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

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

In: Empirical software engineering: an international journal - Dordrecht [u.a.]: Springer Science + Business Media B.V, 1996, Bd. 24.2019, 1, S. 103-138[Online first]

Publikationslink

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), 1, S. 381-383

Publikationslink

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

Publikationslink

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): June 12-15, 2018, Limassol, Cyprus/ European Control Conference - Limassol, Cyprus, 2018; European Control Conference (17.:2018) . - 2018, S. 1035-1041

Publikationslink

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]

Publikationslink

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: Rennes, France, 24-27 September 2017 - IEEE, 2018 . - 2018, insges. 4 S.[Konferenz: Computing in Cardiology Conference 2017, Cinc 2017, Rennes, France, 24-27 September 2017]

Publikationslink

Learning-based kinematic calibration using adjoint error model

Schillreff, Nadia; Ortmeier, Frank

In: ICINCO 2018. Volume 2: proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics : Porto, Portugal, July 29-31, 2018/ International Conference on Informatics in Control, Automation and Robotics - [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]

Publikationslink

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: proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway - London: CRC Press, S. 741-748[Konferenz: ESREL 2018, Trondheim, Norway, June 17-21, 2018]

Publikationslink

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: Ming - New York, NY: ACM, S. 8-11, 2018[Workshop: 7th International Workshop on Software Mining, Montpellier, France, September 03 - 03, 2018]

Publikationslink

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: Ming - New York, NY: ACM, S. 20-23, 2018[Workshop: 7th International Workshop on Software Mining, Montpellier, France, September 03 - 03, 2018]

Publikationslink

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

Publikationslink

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 . - 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]

Publikationslink

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.

Publikationslink

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, 1, S. 579-582

Publikationslink

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

Filax, Marco; Ortmeier, Frank

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

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

Publikationslink

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, 2017; Computing in Cardiology (Veranstaltung:44.:2017) . - 2017, S. 1-4[Konferenz: 2017 Computing in Cardiology, CinC, Rennes, France, 24-27 September 2017]

Publikationslink

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: Vienna, Austria, September 29 - October 02, 2017 - [Piscataway, NJ]: IEEE, S. 15-24[Konferenz: 5th ACM/IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria, September 29 - October 02, 2017]

Publikationslink

QuadSIFT: unwrapping planar quadrilaterals to enhance feature matching

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: WSCG 2017 : 25th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017, Plzen, Czech Republic, May 29 - June 2, 2017 ; short paper proceedings - 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]

Publikationslink

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 . - 2017, S. 3-18 - (Lecture Notes in Computer Science; 10437)[Symposium: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017]

Publikationslink

Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse

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

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

Publikationslink

Towards high accuracy robot-assisted surgery

Schillreff, Nadia; Nykolaichuk, Mykhaylo; Ortmeier, Frank

In: IFAC-PapersOnLine - Frankfurt: Elsevier, Bd. 50.2017, S. 5666-5671[Special issue: 20th IFAC World Congress, Toulouse, France, 9-14 July 2017]

Publikationslink

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, 2, S. 423-427

Publikationslink

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

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

In: ResearchGATE: scientific neetwork ; the leading professional network for scientists - Cambridge, Mass.: ResearchGATE Corp., insges. 1 S., 2017[Symposium: 5th International Symposium on Model-Based Safety and Assessment, IMBSA2017, Trento, 11-13 September 2017]

Publikationslink

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]

Publikationslink

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]

Publikationslink

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: EI : internationale Fachzeitschrift für Schienenverkehr & Technik - Hamburg: DVV Media Group, S. 24-27, 2016

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]

Publikationslink

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

Publikationslink

Robotic task sequencing problem - a survey

Alatartsev, Sergey; Stellmacher, Sebastian; 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, Bd. 80.2015, 2, S. 279-298

Publikationslink

Robot trajectory optimization for relaxed effective tasks

Alatartsev, Sergey; Ortmeier, Frank

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

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)

Publikationslink

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)

Publikationslink

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)

Publikationslink

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

Publikationslink

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)

Publikationslink

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)

Publikationslink

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)

Publikationslink

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

Publikationslink

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

Publikationslink

Re-authentication model for mobile devices

Trojahn, Matthias; Ortmeier, Frank

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

Publikationslink

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

Publikationslink

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

Publikationslink

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

Publikationslink

Teaching and training formal methods for safety critical systems

Ortmeier, Frank; Lipaczewski, Michael

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

Publikationslink

A pragmatic approach for debugging parameter-driven software

Ortmeier, Frank; Struck, Simon; Meinicke, Jens

In: Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen / Stefan Kowalewski; Bernhard Rumpe (Hrsg.): Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen/ Tagung Software Engineering - Bonn: GI, Ges. für Informatik, 2013 . - 2013, 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

Publikationslink

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

Publikationslink

A Pragmatic Approach For Debugging Parameter-Driven Software

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

In: Software Engineering 2013 pages 199-212

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)

Publikationslink

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

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

Publikationslink

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

Publikationslink

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

Publikationslink

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

Publikationslink

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

Publikationslink

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]

Publikationslink

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

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

Publikationslink

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

Publikationslink

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

Publikationslink

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)]

Publikationslink

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

Publikationslink

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