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.

177 Einträge « 1 von 4 »

2020

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

Publish or Perish, but do not Forget your Software Artifacts Artikel Forthcoming

Empirical Software Engineering, Forthcoming, (Preprint).

Abstract | Links | BibTeX

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

Learning References with Gaussian Processes in Model Predictive Control Applied to Robot Assisted Surgery Inproceedings Forthcoming

IFAC, (Hrsg.): Forthcoming.

BibTeX

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

Cooperative API Misuse Detection Using Correction Rules Inproceedings Forthcoming

ACM, (Hrsg.): Proccedings of the 42nd IEEE/ACM International Conference on Software Engineering - New Ideas and Emerging Results Track, ICSE-NIER, ACM, Forthcoming.

Links | BibTeX

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

Using API-Embedding for API-Misuse Repair Inproceedings Forthcoming

ACM, (Hrsg.): Proceedings of the 1st International Workshop on Automated Program Repair (APR 2020) in conjunction with 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, Forthcoming.

Links | BibTeX

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

How Can I Contribute? A Qualitative Analysis of Community Websites of 25 Unix-Like Distributions Inproceedings

ACM, (Hrsg.): Proceedings of the 24th International Conference on Evaluation and Assessment in Software Engineering, (EASE) - Short Papers Track, S. 324–329, Trondheim, Norway, 2020, ISBN: 9781450377317.

Links | BibTeX

Fritzsche, Holger; Ataide, Elmer Jeto Gomes; Bi, Afshan; Kalva, Rohit; Tripathi, Sandeep; Boese, Axel; Friebe, Michael; Gonschorek, Tim

Innovative Hospital Management: Tracking of Radiological Protection Equipment Artikel

International Journal of Biomedical and Clinical Engineering (IJBCE), 9 (1), S. 33–47, 2020.

Abstract | Links | BibTeX

Ataide, Elmer; Fritzsche, Holger; Filax, Marco; Chittamuri, Dinesh; Potluri, Lakshmi; Friebe, Michael

ENT Endoscopic Surgery and Mixed Reality: Application Development and Integration Buchkapitel mit eigenem Titel

Biomedical and Clinical Engineering for Healthcare Advancement, S. 17-29, IGI Global, 2020.

Links | BibTeX

2019

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Independent Analysis of Decelerations and Resting Periods through CEEMDAN and Spectral-Based Feature Extraction Improves Cardiotocographic Assessment Artikel

Applied Sciences, 9 (24), S. 5421, 2019, ISSN: 2076-3417.

Abstract | Links | BibTeX

Kirchheim, Konstantin

Self-Assessment of Visual Recognition Systems based on Attribution Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2019.

Links | BibTeX

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

A Study on the Classification Performance of Cardiotocographic Data vs Class Formation Criteria Inproceedings Forthcoming

Forthcoming.

Abstract | BibTeX

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Cardiotocographic Signal Feature Extraction through CEEMDAN and Time-Varying Autoregressive Spectral-Based Analysis for Fetal Welfare Assessment Artikel

IEEE Access, 7 (1), S. 159754 - 159772, 2019.

Abstract | Links | BibTeX

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Cardiotocograph Data Classification Improvement by Using Empirical Mode Decomposition Inproceedings

2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), S. 5646–5649, IEEE 2019, ISBN: 978-1-5386-1311-5 .

Abstract | Links | BibTeX

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

Foetal heart rate assessment by empirical mode decomposition and spectral analysis Artikel

Current Directions in Biomedical Engineering, 5 (1), S. 381–383, 2019.

Abstract | Links | BibTeX

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

SafeDeML: On Integrating the Safety Design into the System Model Inproceedings

Romanovsky, Alexander; Troubitsyna, Elena; Bitsch, Friedemann (Hrsg.): Computer Safety, Reliability, and Security, S. 271–285, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-26601-1.

Abstract | Links | BibTeX

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

Integrating Safety Design Artifacts into System Development Models Using SafeDeML Inproceedings

Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco (Hrsg.): Model-Based Safety and Assessment, S. 93–106, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-32872-6.

Abstract | Links | BibTeX

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

SpecTackle - A Specification Mining Experimentation Platform Inproceedings

Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),Kallithea, Chalkidiki. Greece, Euromicro 2019.

Abstract | Links | BibTeX

Nielebock, Sebastian; Nykolaichuk, Mykhaylo; Ortmeier, Frank

Leitfaden "Ihre ersten Schritte auf dem Weg zu einem Datenschutzkonzept für Ihr Unternehmen - Das können Sie selbst tun! Sonstige

2019.

Abstract | Links | BibTeX

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

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

Companion Specifications for Smart Factories: From Machine to Process View Inproceedings

Smart SysTech 2019; European Conference on Smart Objects, Systems and Technologies, S. 1–8, VDE 2019.

Abstract | BibTeX

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

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

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

Springer Empirical Software Engineering (EMSE), 24 (3), S. 1418–1457, 2018, ISSN: 1382-3256.

Abstract | Links | BibTeX

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

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

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

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

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

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

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

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

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

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

Springer Empirical Software Engineering (EMSE), 24 (1), S. 103–138, 2018, ISSN: 1382-3256.

Abstract | Links | BibTeX

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

Schott, Kevin Michael

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

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

Abstract | BibTeX

Bedau, Ludwig; Gonschorek, Tim; Ortmeier, Frank

Sicherheitsanalyse eines Bahnhofstellwerkes Konferenzbericht

Horber Schienen Tage 35 , 2018.

Links | BibTeX

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

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

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

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

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

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

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

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

Schillreff, Nadia; Nykolaichuk, Mykhaylo; Ortmeier, Frank

Towards High Accuracy Robot-Assisted Surgery Inproceedings

IFAC-PapersOnLine, (Hrsg.): 2017.

Abstract | Links | BibTeX

Veera, Balaji Satya Pradeep

Multi-Objective Issue Tracking Framework Abschlussarbeit

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

Abstract | BibTeX

Eiserloh, Matthias

Semantische Suche für automatische Fehlerkorrekturen im objektorientierten Paradigma Abschlussarbeit

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

Links | BibTeX

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

Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse Artikel

Signal + Draht, 2017.

Abstract | Links | BibTeX

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

Bedau, Ludwig

Modellbasierte Sicherheitsanalyse eines Bahnhofsstellwerks Abschlussarbeit

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

Abstract | Links | BibTeX

Wehmeier, Leon

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

2017.

BibTeX

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

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

177 Einträge « 1 von 4 »