Cardiotocographic signal feature extraction through CEEMDAN and time-varying autoregressive spectral-based analysis for fetal welfare assessment
In: IEEE access - New York, NY: IEEE, 2013 . - 2019

Foetal heart rate assessment by empirical mode decomposition and spectral analysis
In: Current directions in biomedical engineering - Berlin: De Gruyter, 2015, Bd. 5.2019, 1, S. 381-383

Programmers do not favor lambda expressions for concurrent object-oriented code
In: Empirical software engineering: an international journal - Dordrecht [u.a.]: Springer Science + Business Media B.V, 1996, Bd. 24.2019, 1, S. 103-138

Companion specifications for smart factories - from machine to process view
In: Smart SysTech 2019 - Berlin: VDE VERLAG, 2019 . - 2019, S. 61-68 ; [Konferenz: Smart SysTech 2019, 4-5 June 2019, Magdeburg, Germany]

Data for image recognition tasks - an efficient tool for fine-grained annotations
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

Cardiotocograph data classification improvement by using empirical mode decomposition*
In: 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society - [Piscataway, NJ]: IEEE, 2019 . - 2019, S. 5646-5649

Spectral-based analysis of progressive dynamical changes in the fetal heart rate signal during labor by using empirical mode decomposition
In: Computing in Cardiology, September 23-26, 2018, Maastricht, the Netherlands - Piscataway, NJ: IEEE, 2019 . - 2019, S. 1-4

Integrating safety design artifacts into system development models using SafeDeML
In: Model-Based Safety and Assessment - Cham: Springer, 2019; Papadopoulos, Yiannis . - 2019, S. 93-106 - ( Lecture Notes in Computer Science; volume 11842)

SafeDeML: on integrating the safety design into the system model
In: Computer Safety, Reliability, and Security - Cham: Springer, 2019 . - 2019, S. 271-285 - (Programming and Software Engineering; 11698)

SpecTackle - a specification mining experimentation platform
In: SEAA 2019 - Piscataway, NJ: IEEE, 2019; Staron, Miroslaw . - 2019, S. 178-181

A very first glance on the safety analysis of self-learning algorithms for autonomous cars
In: Archive ouverte HAL - Paris: Centre National de la Recherche Scientifique, 2018, Art. hal-01878562, insgesamt 2 S.

Predictive tracking control of a camera - head mounted display system subject to communication Constraints
In: 2018 European Control Conference (ECC): June 12-15, 2018, Limassol, Cyprus - Limassol, Cyprus, S. 1035-1041

VIOL: Viewpoint invariant object localizator viewpoint invariant planar features in man-made environments
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]

Foetal heart rate signal spectral analysis by using time-varying autoregressive modelling
In: Current directions in biomedical engineering- Berlin: De Gruyter, 2015, Bd. 4.2018, 1, S. 579-582

Commenting source code - is it worth it for small programming tasks?
In: Empirical software engineering: an international journal - Dordrecht [u.a.]: Springer Science + Business Media B.V, insges. 40 S., 2018

Progressive fetal distress estimation by characterization of fetal heart rate decelerations response based on signal variability in cardiotocographic recordings
In: Computing in Cardiology Conference 2017: Rennes, France, 24-27 September 2017- IEEE, 2018, insges. 4 S.

Bringing formal methods on the rail - On automatic verifying railroad interlockings from railML models
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

Fault trees vs. component fault trees - an empirical study
In: Computer Safety, Reliability, and Security - Cham: Springer, 2018 . - 2018, S. 239-251 - (Lecture Notes in Computer Science; 11094)

Who plays with whom? ... and how? mining API interaction patterns from source code
In: Proceedings of the 7th International Workshop on Software Mining: Ming - New York, NY: ACM, S. 8-11, 2018

On the similarities of fingerprints and railroad tracks - using minutiae detection algorithms to digitize track plans
In: 13th IAPR International Workshop on Document Analysis Systems: DAS 2018 : Vienna, Austria, 24-27 April 2018 : proceedings - Piscataway, NJ: IEEE, S. 311-316

Commits as a basis for API misuse detection
In: Proceedings of the 7th International Workshop on Software Mining: Ming - New York, NY: ACM, S. 20-23, 2018

Learning-based kinematic calibration using adjoint error model
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

A verification environment for critical systems - integrating formal methods into the safety development life-cycle
In: ResearchGATE: scientific neetwork ; the leading professional network for scientists - Cambridge, Mass.: ResearchGATE Corp., insges. 1 S., 2017

Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse
In: Signal + Draht: SD - Hamburg: DVV Media Group, 6, 2017

Analysis of the foetal heart rate in cardiotocographic recordings through a progressive characterization of decelerations
In: Current directions in biomedical engineering - Berlin: De Gruyter, Bd. 3.2017, 2, S. 423-427

Towards high accuracy robot-assisted surgery
In: IFAC-PapersOnLine - Frankfurt: Elsevier, Bd. 50.2017, S. 5666-5671

Building models we can rely on - requirements traceability for model-based verification techniques
In: Model-Based Safety and Assessment - Cham: Springer, 2017 . - 2017, S. 3-18 - (Lecture Notes in Computer Science; 10437)

QuadSIFT: unwrapping planar quadrilaterals to enhance feature matching
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

Progressive fetal distress estimation by characterization of fetal heart rate decelerations response based on signal variability in cardiotocographic recordings
In: Computing in Cardiology 2017 - [Piscataway, NJ]: IEEE, 2017; Computing in Cardiology (Veranstaltung:44.:2017) . - 2017, S. 1-4

On improving rare event simulation for probabilistic safety analysis
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

Beyond software product lines - variability modeling in cyber-physical systems
In: Proceedings of the 21th International Software Product Line Conference. Volume A: SPLC 2017, Sevilla, Spain,September 25 - 29, 2017 - New York: ACM, 2017; Cohen, Myra . - 2017, S. 237-241

Bringing formal methods on the rail - Modellbasierte Systemanalyse in der Sicherheitsnachweisführung
In: Der Eisenbahningenieur: EI : internationale Fachzeitschrift für Schienenverkehr & Technik - Hamburg: DVV Media Group, S. 24-27, 2016

Correct formalization of requirement specifications - a V-model for building formal models
In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Cham: Springer, S. 106-122, 2016 - (Lecture Notes in Computer Science; 9707)

Multi-sensor tracking with SPRT in an autonomous vehicle
In: 2016 IEEE Intelligent Vehicles Symposium (IV): 19-22 June 2016 - [Piscataway, NJ]: IEEE

Sichere Multi-Faktor-Authentifizierung an Smartphones mithilfe des Tippverhaltens
In: Wiesbaden, Springer, 2016, XXI, 228 Seiten, Illustrationen, 21 cm - (AutoUni-Schriftenreihe; Band 85), ISBN 978-3-658-14048-9 ; [Literaturverzeichnis: Seite [205]-228]

Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing
In: 2015

Robotic task sequencing problem - a survey
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

Comparison of modeling formalisms for Safety Analyses - SAML and AltaRica
In: Reliability engineering & system safety - London [u.a.]: Elsevier Science, Bd. 140.2015, S. 191-199

Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica
In: Reliability Engineering & System Safety, 2015

Coverage Path Re-planning for Processing Faults
In: Vol. 9245, 2015, S. 358-368

Robot trajectory optimization for relaxed effective tasks
In: Magdeburg Univ., Fak. für Informatik, Diss., 2015, XIII, 113 S., Ill., graph. Darst.

Robot trajectory optimization for the relaxed end-effector path
In: INCINCO 2014: abstracts - INSTICC, 2014, Paper Nr. 230

A graphical notation for probabilistic specifications
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 - Vienna

Improving the sequence of robotic tasks with freedom of execution
In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014 : 14 - 18 Sept. 2014, Chicago, Illinois - Piscataway, NJ: IEEE, S. 4503 - 4510

Model-based local path planning for UAVs
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

On traceability of informal specifications for model-based verification
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
In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 63-64

A dataflow Notation for SAML - formal modeling without fearing timing constraints
In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 43-50

Bringing VECS to the World - challenges and accomplishments in teaching of formal model analysis
In: European Conference on Software Engineering Education - ECSEE 2014: 27th and 28th November 2014, Seeon Monastery - Aachen: Shaker, S. 217-228 ; Kongress: ECSEE 2014 27 (Seeon Monastery, Germany : 2014.11.27-28)

On bringing object-oriented software metrics into the model-based world - verifying ISO 26262 compliance in simulink
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 efficiently specifying models for model checking
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)

IMBSA 2014 - short & tutorial proceedings of the 4th international symposium on model based safety assessment
In: Magdeburg, Univ., 2014, 66 S., graph. Darst., ISBN 978-3-944722-19-1 ; Kongress: International Symposium on Model-Based Safety and Assessment 4 (Munich, Germany : 2014.10.27-29)

Model-based safety and assessment - 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings
In: Cham [u.a.], Springer, 2014, Online-Ressource (X, 208 S.) - (Lecture notes in computer science; 8822)

Constricting insertion heuristic for traveling salesman problem with neighborhoods
In: AAAI publications. - Menlo Park, Calif : AAAI Press, 2013

Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods
In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013)

On Optimizing a Sequence of Robotic Tasks
In: Proceeding of th International Conference in Intelligent Robots and Systems (IROS)

Using Crowdsourced Geographic Information from OpenStreetMap for Discrete
In: 2013,

Keystroke Authentication with a Capacitive Display using Different Mobile Devices
In: 10th International Conference on Security and Cryptography (SECRYPT)

Teaching und Training Formal Methods for Safety Critical Systems
In: Proceedings for the 39th Euromicro Conference on Iv Software Engineering and Advanced Applications (SEAA 2013)

Biometric Keystroke Authentication on Smartphones Using a Capacitive Display
In: 2. Doktorandentagung Mgdeburger-Informatik-Tage 2013 (MIT 2013)

Designing an Enterprise Security Strategy for Mobile Intranet Access
In: International Workshop on Trustworthy Computing

Developing a Cloud Computing Based Approach for Forensic Analysis using OCR
In: 7th International Conference on IT Security Incident Management & IT Forensics

Emotion recognition through keystroke dynamics on touchscreen keyboards
In: ICEIS 2013. - INSTICC

Keystroke authentication with a capacitive display using different mobile devices
In: SECRYPT 2013. - Reykjavik

Re-authentication model for mobile devices
In: 8. GI FG SIDAR Graduierten-Workshop über Reaktive Sicherheit, SPRING, S. 9, 2013

Re-Authentication Model for Mobile Devices
In: Proceedings of the Eight GI SIG SIDAR Graduate Workshop on Reactive Security (SPRING)

Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards
In: 15th International Conference on Enterprise Information Systems

A Pragmatic Approach For Debugging Parameter-Driven Software
In: Software Engineering 2013 pages 199-212

Developing a cloud computing based approach for forensic analysis using OCR
In: IMF 2013. - SIDAR, insges. 15 S.

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

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

A pragmatic approach for debugging parameter-driven software
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)

Teaching and training formal methods for safety critical systems
In: SEAA 2013. - Piscataway, NJ : IEEE, S. 408-413

Keystroke authentication on mobile devices with a capacitive display
In: Proceedings of the 2nd International Conference on Pattern Recognition Applications and Methods. - [S.l.] : SCITEPRESS, S. 637-640, 2013

Toward mobile authentication with keystroke dynamics on mobile phones and tablets
In: 27th International Conference on Advanced Information Networking and Applications workshops (WAINA), 2013. - Piscataway, NJ : IEEE, S. 697-702

Biometric keystroke authentication on smartphones using a capacitive display
In: Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 (MIT 2013). - Magdeburg, S. 23-30 ; Kongress: Doktorandentagung Magdeburger-Informatik-Tage (MIT); 2 (Magdeburg) : 2013.07.16

Designing an enterprise security strategy for mobile intranet access
In: 2013 Seventh International Conference on Software Security and Reliability Companion (SERE-C 2013). - Piscataway, NJ : IEEE, S. 8-15

Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 - (MIT 2013) ; 16. Juli 2013
In: Magdeburg, 2013, 4, 30 S., Ill., graph. Darst., ISBN 978-3-940961-96-9 ; Kongress: Magdeburger-Informatik-Tage, Doktorandentagung (MIT) 2 (Magdeburg : 2013.07.16) ; [Literaturangaben]

Trajectory Description Conception for Industrial robots
In: 2012

Unifying Probabilistic and Traditional Formal Model-Based Analysis
In: 2012

On modeling probabilistic aspects of failure modes efficiently
In: 2012

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

Handlungsadaptive Produktionsassistenz
In: 2012

SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support
In: S. 67-72, 2012

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

A Pragmatic Approach For Debugging Parameter-Driven Software
In: 2012

Self-healing data structures
In: 2012

Using model-based analysis in certification of critical software-intensive systems
In: Issue 199, 2012

Multi-Objective Optimization of Formal Specifications
In: 2012

Toward mobile multi-factor authentification
In: 2012

Probabilistic Model-Based Safety Analysis
In: Elsevier Journal of Theoretical Computer Science on Quantitative Aspects of Programming Languages and Systems, 2012

The ForMoSA approach to qualitative and quantitative model-based safety analysis
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
In: 2012

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

Tagungsband der 1. Doktorandentagung Magdeburger-Informatik-Tage 2012 (MIT 2012)
In: Magdeburg: Univ., 2012, [Online-Ausg.]; Online-Ressource

Practical experiences in model-based safety analysis
In: IWDE 2011: proceedings of the 2nd International Workshop on Digital Engineering 2011. - Magdeburg, S. 31-38

Tool supported model-based safety analysis and optimization
In: Proceedings // 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing. - Piscataway, NJ : IEEE, S. 294-295

Towards making dependability visual - combining model-based design and virtual realities
In: Proceedings // 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing. - Piscataway, NJ : IEEE, S. 274-275

Towards model-driven safety analysis
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
In: Pervasive computing and communications design and deployment. - Hershey, Pa. : Information Science Reference, 2011

Qualitative and quantitative formal model-based safety analysis - push the safety button
In: Magdeburg, Univ., Fak. für Informatik, Diss., 2011, 5, VIII, 195 S., graph. Darst.

Model-based multi-objective safety optimization
In: Computer safety, reliability, and security. - Heidelberg [u.a.] : Springer, S. 423-436, 2011 - (Lecture notes in computer science; 6894)

SysML in digital engineering
In: IWDE 2010. - Magdeburg : Univ., S. 1-8 ; Kongress: IWDE 2010; 1 (Magdeburg) : 2010.06.14

ProMoSA - probabilistic models for safety analysis
In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI. - München : fortiss, S. 7-12, 2010

Metadaten-Modell für ein sicheres eingebettetes Datenmanagement
In: D-A-CH Security 2010. - [Klagenfurt] : syssec, S. 359-370 ; Kongress: Arbeitskonferenz D-A-CH Security; (Wien) : 2010.09.21-22

A framework for qualitative and quantitative model-based safety analysis
In: IEEE 12th International Symposium on High Assurance Systems Engineering. - Los Alamitos [u.a] : IEEE Computer Society, insges. 10 S., 2010 ; Kongress: HASE; 12 (San Jose, CA, USA) : 2010.11.03-04

Probabilistic model-based safety analysis
In: Electronic proceedings in theoretical computer science. - Sydney : NICTA, Bd. 28.2010, 8, S. 114-128

Quantitative Model-Based Safety Analysis - a case study
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
In: IEEE International Conference on Automation and Logistics, 2009. - Piscataway, NJ : IEEE, S. 18-23

Hiding real-time - a new approach for the software development of industrial robots
In: IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009. - Piscataway, NJ : IEEE, S. 2108 - 2113

A generic software framework for role-based Organic Computing systems
In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. - Piscataway, NJ : IEEE, S. 96 - 105

Robotik aus Redmond - eine neue Ära?
In: Computer & Automation. - Haar : WEKA-Fachmedien, 4, S. 1-6, 2009

An abstract specification language for static program analysis
In: Electronic notes in theoretical computer science. - Amsterdam [u.a.] : Elsevier Science, Bd. 254.2009, S. 181-197

A universal self-organization mechanism for role-based organic computing systems
In: Autonomic and trusted computing. - Berlin [u.a.] : Springer, S. 17-31, 2009 - (Lecture notes in computer science; 5586)