Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse
In: Signal + Draht: SD - Hamburg: DVV Media Group, 6, 2017; https://eurailpress-archiv.de/SingleView.aspx?show=29206

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; http://dx.doi.org/10.1515/cdbme-2017-0089

Towards high accuracy robot-assisted surgery
In: IFAC-PapersOnLine - Frankfurt: Elsevier, Bd. 50.2017, S. 5666-5671; http://dx.doi.org/10.1016/j.ifacol.2017.08.1116 ; [Special issue: 20th IFAC World Congress, Toulouse, France, 9-14 July 2017]

Building models we can rely on - requirements traceability for model-based verification techniques
In: Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings - Cham: Springer International Publishing, S. 3-18 - (Lecture Notes in Computer Science; 10437); http://dx.doi.org/10.1007/978-3-319-64119-5_1 ; [Symposium: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017]

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; http://wscg.zcu.cz/WSCG2017/!!_CSRN-2702.pdf ; [Konferenz: 25th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017, Plzen, Czech Republic, May 29 - June 2, 2017]

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 ; [Konferenz: Computing in Cardiology Conference 2017, Cinc 2017, Rennes, France, 24-27 September 2017]

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; https://www.researchgate.net/publication/320558092_A_Verification_Environment_for_Critical_Systems_Integrating_Formal_Methods_into_the_Safety_Development_Life-cycle ; [Symposium: 5th International Symposium on Model-Based Safety and Assessment, IMBSA2017, Trento, 11-13 September 2017]

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; http://dx.doi.org/10.1145/3127041.3127057 ; [Konferenz: 5th ACM/IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria, September 29 - October 02, 2017]

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, S. 237-241; http://dx.doi.org/10.1145/3106195.3106217 ; [Konferenz: 21th International Software Product Line Conference, SPLC 2017, Sevilla, Spain,September 25 - 29, 2017]

Multi-sensor tracking with SPRT in an autonomous vehicle
In: 2016 IEEE Intelligent Vehicles Symposium (IV): 19-22 June 2016, [Piscataway, NJ], IEEE, http://dx.doi.org/10.1109/IVS.2016.7535394 ; [Kongress: 2016 IEEE Intelligent Vehicles Symposium (IV), 19. - 22. June 2016, Gothenburg, Sweden]

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: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings - Cham: Springer International Publishing, S. 106-122 - (Lecture Notes in Computer Science; 9707); http://dx.doi.org/10.1007/978-3-319-33951-1_8 ; [Kongress: 1st International Conference, RSSRail 2016, Paris, France, June 28-30, 2016]

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; http://dx.doi.org/10.1007/s10846-015-0190-6

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; http://dx.doi.org/10.1016/j.ress.2015.03.038

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 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; http://www.easychair.org/smart-program/VSL2014/VeriSure-2014-07-23.html#talk:3203 ; Kongress: VeriSure (Vienna, Austria : 2014.07.23)

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

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

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 ; IMBSA 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), ISBN 978-3-319-12214-4 ; Kongress: IMBSA; 4 (Munich) : 2014.10.27-29 ; International Symposium on Model-Based Safety and Assessment; 4 (Munich) : 2014.10.27-29 ; [Literaturangaben]

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. - Bonn : Gesellschaft für Informatik, S. 199-212 - (GI-Edition) ; 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

On modeling probabilistic aspects of failure modes efficiently
In: 2012

Unifying Probabilistic and Traditional Formal Model-Based Analysis
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)