During the years, our research lead to a number of publications at conferences and journals. Publishing ideas and results is the main resource for fruitful discussions and feedback from the worldwide research community.

159 Einträge « 1 von 4 »

2019

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations Inproceedings

Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019.

Abstract | Links | BibTeX | Schlagwörter: Augmented Reality, Fine-Grained Recognition, VIOL

2018

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Spectral-based Analysis of Progressive Dynamical Changes in the Fetal Heart Rate Signal During Labor by Using Empirical Mode Decomposition Inproceedings

2018 Computing in Cardiology (CinC), S. 1–4, IEEE 2018.

Abstract | Links | BibTeX | Schlagwörter: cardiotocograph, empirical mode decomposition, FHR signal, spectral analysis, time-varying

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

Commenting Source Code: Is It Worth It For Small Programming Tasks? Artikel Forthcoming

Springer Empirical Software Engineering (EMSE), Forthcoming.

Abstract | Links | BibTeX | Schlagwörter: Comments, Documentation and Maintenance, Empirical Study, Program Comprehension

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

A very first Glance on the Safety Analysis of Self-learning Algorithms for Autonomous Cars Inproceedings

Guiochet, Jérémie (Hrsg.): 37th International Conference on Computer Safety, Reliability, & Security. SAFECOMP2018., HAL, 2018.

Links | BibTeX | Schlagwörter:

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

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

Current Directions in Biomedical Engineering, 4 (1), S. 579–582, 2018.

Abstract | Links | BibTeX | Schlagwörter: Autoregressive model, cardiotocograph, Fetal monitoring, FHR, Time-varying spectral analysis

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

Commits as a Basis for API Misuse Detection Inproceedings

ACM, (Hrsg.): Proceedings of the 7th International Workshop on Software Mining (SoftwareMining ’18), September 3, 2018, Montpellier, France., S. 4, ACM, New York, NY, USA, 2018.

Abstract | Links | BibTeX | Schlagwörter: Application programming interfaces, Commits, Misuse Detection, Misuses

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

Who plays with Whom? ... and How? Mining API Interaction Patterns from Source Code Inproceedings

ACM, (Hrsg.): Proceedings of the 7th International Workshop on Software Mining (SoftwareMining ’18), S. 4, ACM, New York, NY, USA, 2018.

Abstract | Links | BibTeX | Schlagwörter: api interaction, library interaction, specification mining

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

Fault Trees vs. Component Fault Trees: An Empirical Study Inproceedings

Gallina B. Skavhaug A., Schoitsch Bitsch E F (Hrsg.): Computer Safety, Reliability, and Security. SAFECOMP 2018., Springer, Cham, 2018, ISBN: 978-3-319-99228-0.

Links | BibTeX | Schlagwörter: Component Fault Trees, model-based safety assessment

Schillreff, Nadia; Ortmeier, Frank

Learning-based Kinematic Calibration using Adjoint Error Model Inproceedings

SciTePress, (Hrsg.): Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, 2018, ISBN: 978-989-758-321-6.

Abstract | Links | BibTeX | Schlagwörter: Modeling, Parameter Identification

Gonschorek, Tim; Bedau, Ludwig; Ortmeier, Frank

Automatic Model-based Verification of Railway Interlocking Systems using Model Checking Inproceedings

Haugen, Stein (Hrsg.): Proceedings of ESREL 2018, S. 741-748, CRC Press, London, 2018.

Abstract | Links | BibTeX | Schlagwörter: model based verification, model-based safety assessment, Railway System Verification

Kögel, Markus; Andonov, Petar; Filax, Marco; Ortmeier, Frank; Findeisen, Rolf

Predictive Tracking Control of a Camera - Head Mounted Display System subject to Communication Constraints Inproceedings

16th European Control Conference (ECC), S. 1035-1041, 2018.

BibTeX | Schlagwörter: predictive control, virtual reality

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

Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code Artikel

Springer Empirical Software Engineering (EMSE), Volume 24 , S. 103-138, 2018.

Abstract | Links | BibTeX | Schlagwörter: Concurrency, Empirical Software Engineering, Lambda Expression, Object-Orientation, Programming Language, Static Analysis

Heumüller, Robert

Leveraging project-specificity to find suitable specifications: student research abstract Inproceedings

ACM, (Hrsg.): Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018, ISBN: 978-1-4503-5191-1.

Abstract | Links | BibTeX | Schlagwörter: api usage pattern, information retrieval, source code mining

Schott, Kevin Michael

Extraktion relevanter API-spezifischer Informationen zur automatischen Korrektur von Softwarefehlern Abschlussarbeit

Otto-von-Guericke-Unviersität Magdeburg, 2018.

Abstract | BibTeX | Schlagwörter: API, API Misuse, Correction, Fehler, Korrektur

Bedau, Ludwig; Gonschorek, Tim; Ortmeier, Frank

Sicherheitsanalyse eines Bahnhofstellwerkes Konferenzbericht

Horber Schienen Tage 35 , 2018.

Links | BibTeX | Schlagwörter: model based verification, Railway System Verification

Filax, Marco; Ortmeier, Frank

VIOL: Viewpoint Invariant Object Localizator - Viewpoint Invariant Planar Features in Man-Made Environments Inproceedings

Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP), S. 581-588, 2018, ISBN: 978-989-758-290-5.

Abstract | Links | BibTeX | Schlagwörter: Augmented Reality, Fine-Grained Recognition, VIOL

Klockmann, Maximilian; Filax, Marco; Ortmeier, Frank; Reiß, Martin

On the Similarities of Fingerprints and Railroad Tracks: Using Minutiae Detection Algorithms to digitize Track Plans. Inproceedings

13th IAPR Workshop on Document Analysis Systems (DAS), 2018.

Abstract | BibTeX | Schlagwörter: Digitization, Information Extraction, Minutiae Detection, rack Layout Analysis

2017

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Progressive Fetal Distress Estimation by Characterization of Fetal Heart Rate Decelerations Response Based on Signal Variability in Cardiotocographic Recordings Inproceedings

2017 Computing in Cardiology (CinC), S. 1–4, IEEE 2017, ISSN: 2325- 887X.

Abstract | Links | BibTeX | Schlagwörter: cardiotocograph, FHR decelerations, progressive CTG analysis, signal variability

Nielebock, Sebastian

Towards API-Specific Automatic Program Repair Inproceedings

IEEE/ACM, (Hrsg.): Proceedings of the IEEE/ACM 32nd International Conference on Automated Software Engineering (ASE 2017 ) - Doctoral Symposium, 2017.

Links | BibTeX | Schlagwörter: API-specific Bugs, automatic program repair, Specification Mining

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

On Improving Rare Event Simulation for Probabilistic Safety Analysis Inproceedings

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, S. 15-24, ACM New York, NY, USA ©2017 , 2017, ISBN: 978-1-4503-5093-8.

Abstract | Links | BibTeX | Schlagwörter: Monte Carlo Simulation, Probabilistic Model Checking

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

Building Models we can rely on: Requirements Traceability for Model-based Verification Techniques Inproceedings

Bozzano M., Papadopoulos Y (Hrsg.): Proceedings of the 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), S. 3-18, Springer, Cham, 2017, ISBN: 978-3-319-64118-8 .

Abstract | Links | BibTeX | Schlagwörter: Practical Experiences, Traceability, verification

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

A Verification Environment for Critical Systems: Integrating Formal Methods into the Safety Development Life-cycle Sonstige

Invited Paper: 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), 2017.

Links | BibTeX | Schlagwörter: formal verification for safety critical systems, model checking, model-based safety assessment

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

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

Current Directions in Biomedical Engineering, 3 (2), S. 423–427, 2017, ISSN: 2364-5504.

Abstract | Links | BibTeX | Schlagwörter: baseline, cardiotocograph, CTG decelerations, floating-line, foetal monitoring, progressive and time variant analysis

Schillreff, Nadia; Nykolaichuk, Mykhaylo; Ortmeier, Frank

Towards High Accuracy Robot-Assisted Surgery Inproceedings

IFAC-PapersOnLine, (Hrsg.): 2017.

Abstract | Links | BibTeX | Schlagwörter: error modelling, robotics

Veera, Balaji Satya Pradeep

Multi-Objective Issue Tracking Framework Abschlussarbeit

Otto-von-Guericke-Unviersität Magdeburg, 2017.

Abstract | BibTeX | Schlagwörter: Framework, Issue Tracking, multi-objective

Eiserloh, Matthias

Semantische Suche für automatische Fehlerkorrekturen im objektorientierten Paradigma Abschlussarbeit

Otto-von-Guericke Universität Magdeburg, 2017.

Links | BibTeX | Schlagwörter: automatic program repair, object orientation

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

Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse Artikel

Signal + Draht, 2017.

Abstract | Links | BibTeX | Schlagwörter: integration of formal methods, model-based safety assessment

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

Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems Inproceedings

Proceedings of the 21st International Systems and Software Product Line Conference (SPLC 2017) - Vision Track, S. 237-241, 2017.

Abstract | Links | BibTeX | Schlagwörter: Cyber-physical system, Modeling, Software product line

Bedau, Ludwig

Modellbasierte Sicherheitsanalyse eines Bahnhofsstellwerks Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2017.

Abstract | Links | BibTeX | Schlagwörter: interlocking systems, Railway System Verification

Wehmeier, Leon

Konzeption einer Architektur für (Big-)Data-Analysen im Industrie 4.0-Kontext Abschlussarbeit

2017.

BibTeX | Schlagwörter: Big Data, Industrie 4.0

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

QuadSIFT: Unwrapping Planar Quadrilaterals to Enhance Feature Matching Inproceedings

Proceedings of the 25rd International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017 - Short Papers Proceedings, 2017.

Abstract | Links | BibTeX | Schlagwörter: Feature Detection, Perspective Distortion, Projective Transformation, SIFT

2016

Nielebock, Sebastian; Ortmeier, Frank

Adoption of Lambda-Expressions in Object-Oriented Programs does not necessarily decrease Source Code Size Unveröffentlicht

2016, (Presented at the 28th Symposium on Implementation and Application of Functional Languages 2016 in Leuven, Belgium (unreviewed pre-proceedings)).

Abstract | Links | BibTeX | Schlagwörter: Adoption, Lambda-Expression, Object-Oriented Programming Languages, Source Code Size

Krolikowski, Dariusz

Einfluss unterschiedlicher Kommentararten auf die Lesbarkeit des Quellcodes Abschlussarbeit

Otto-von-Guericke Universität Magdeburg, 2016.

Links | BibTeX | Schlagwörter: Kommentare, Masterarbeit, Quellcodelesbarkeit

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models Inproceedings

Publishing, Springer International (Hrsg.): Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings, S. 106 - 122, 2016, ISBN: 978-3-319-33951-1.

Abstract | Links | BibTeX | Schlagwörter: Formal Modelling Process, Railway System Verification, Requirements Traceability, System Verification, VIP-MoBaSA

Anders, Anton

Indoor-Positionsbestimmung mit Hilfe von Bluetooth-Low-Energy-Beacons und Pedestrian Dead Reckoning Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2016.

Links | BibTeX | Schlagwörter: Augmented Reality, Bluetooth

Klockmann, Maximilian

Analyse von Crowd-Simulation Algorithmen beim Durchqueren von Engstellen Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2016.

Links | BibTeX | Schlagwörter: virtual reality

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

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

Der Eisenbahn Ingenieur, S. 24 -27, 2016.

Abstract | Links | BibTeX | Schlagwörter: Formal Modelling Process, Railway System Verification, Requirements Traceability, System Verification, VIP-MoBaSA

2015

Bahl, Benedikt

Konzepte zur Optimierung des Betriebshofmanagements mit pervasiven Assistenzsystemen Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX | Schlagwörter: Augmented Reality

Hamannn, Dominik

Kopplung formaler Modelle mit realweltlichen Umgebungsmodellen Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Abstract | Links | BibTeX | Schlagwörter: co-simulation of system models, model-based verfication

Heumüller, Robert

Multi-Abstraction Model Based Software Development for Embedded Low-Cost Applications Abschlussarbeit

2015.

Links | BibTeX | Schlagwörter: arm, compiler, embedded, llvm, mdd, mde, model based

Hebecker, Tanja; Ortmeier, Frank

Safe Prediction-Based Local Path Planning using Obstacle Probability Sections Inproceedings

Laugier, Christian; Martinet, Philippe; Nunes, Urbano; stiller, Christoph (Hrsg.): Proceedings of the 7th IROS Workshop on Planning, Perception and Navigation for Intelligent Vehicles, S. 183 - 188, 2015.

Abstract | Links | BibTeX | Schlagwörter: local path planning, Obstacle probability sections

Orth, Severin

Trace refinement with reduced interpolant automata for binary programs Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX | Schlagwörter: binary programs, trace refinement

Nykolaichuk, Mykhaylo; Ortmeier, Frank

Coverage Path Re-Planning for Processing Faults Inproceedings

Springer, (Hrsg.): The 8th International Conference on Intelligent Robotics and Applications (ICIRA2015) , S. 358-368 , 2015.

Abstract | Links | BibTeX | Schlagwörter: coverage path planning, online path planning

Alatartsev, Sergey

Robot Trajectory Optimization for Relaxed Effective Tasks Promotionsarbeit

Otto-von-Guericke University of Magdeburg, 2015.

Abstract | Links | BibTeX | Schlagwörter: robotics, travelling salesman problem

Hühne, Patrick

Innenraumlokalisierung von Mobilgeräten mittels Bluetooth LE Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX | Schlagwörter: Augmented Reality, Bluetooth

Gonschorek, Tim; Ortmeier, Frank

Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing Inproceedings

of Control, International Federation Automatic (Hrsg.): 5th International Workshop on Dependable Control of Discrete Systems (DCDS 2015), 2015, (accepted, will be published this year).

Abstract | Links | BibTeX | Schlagwörter: safety analysis, verification

Rabeler, Ben

Abstraktion kontinuierlichen Verhaltens zur modellbasierten Sicherheitsanalyse Abschlussarbeit

2015.

Abstract | Links | BibTeX | Schlagwörter: hybrid model checking, model based verification, model checking

Dörfler, Stephan

Protokollautomat für die Kommunikation zwischen Ladestation und Elektrofahrzeug Abschlussarbeit

Otto-von-Guericke-Universität Magdeburg, 2015.

Links | BibTeX | Schlagwörter:

Lipaczewski, Michael; Prosvirnova, Tatiana; Ortmeier, Frank; Rauzy, Antoine; Struck, Simon

Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica Artikel

Reliability Engineering & System Safety, 2015.

Abstract | Links | BibTeX | Schlagwörter: Altarica, model-based, safety analysis, SAML

Gonschorek, Tim

A Backward Model Checking Approach with Slicing Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2015.

Abstract | BibTeX | Schlagwörter: formal verification, model checking

159 Einträge « 1 von 4 »