Prof. Ortmeier

Prof. Dr. rer. nat. Frank Ortmeier
AG Software Engineering
Aktuelle Projekte
- Evaluating Anomaly Detection Algorithms
Laufzeit: 01.01.2021 - 31.12.2023 - Fine-Grained Recognition of Retail Products
Laufzeit: 01.01.2014 - 31.12.2022 - VIP+-AuRora Validierung des Innovationspotenzials der automatischen Generierung effizienter Roboterprogramme
Laufzeit: 01.01.2020 - 31.12.2022 - Entwicklung anpassungsfähiger Verifikationsalgorithmen für softwareintensive Systeme in sich ändernden Umgebungen
Laufzeit: 01.01.2017 - 31.12.2022 - Echtzeit Vor-Ort-Aufklärung und Einsatzmonitoring (EVOK) - Teilvorhaben: Konzeption eines echtzeitfähigen Vor-Ort-Aufklärungssystems
Laufzeit: 01.02.2019 - 31.12.2022 - Verbesserung von Methoden zur automatischen Extraktion von API Spezifikationen
Laufzeit: 01.01.2017 - 31.12.2022 - API Specific Automatic Program Repair
Laufzeit: 01.01.2014 - 31.07.2022 - Verbundprojekt Mittelstand 4.0 Kompetenzzentrum Magdeburg, Teilvorhaben Safety und Security in der Digitalisierung von kleineren und mittleren Unternehmen
Laufzeit: 01.08.2017 - 31.07.2022
Abgeschlossene Projekte
- ObViewSly 4.0 - Objektextraktion aus 3D-Massendaten der Geoinformation
Laufzeit: 07.05.2019 - 30.04.2022 - Entwicklung von Technologien für intelligente, kollaborative, interaktive Displays für den Outdoor-Bereich (i-Display)
Laufzeit: 01.01.2019 - 30.04.2022 - Entwicklung eines modularen Verifikationswerkzeugs zur Integration automatisierter Sicherheitsanalysen in den Entwurfsprozess softwareintensiver Systeme
Laufzeit: 09.02.2021 - 30.04.2022 - Multi-Area Coverage Path Planning
Laufzeit: 01.01.2017 - 31.12.2020 - Forschungscampus STIMULATE: Forschungsgruppe Robotik
Laufzeit: 01.01.2015 - 31.12.2019 - A state-based model for fetal distress estimation during labor through a progressive analysis of the cardiotocographic recording
Laufzeit: 01.01.2015 - 30.09.2019 - Validierung des Innovationspotentials modellbasierter Techniken für den Sicherheitsanalyseprozess (VIP-MoBaSA)
Laufzeit: 01.11.2012 - 30.09.2016 - Knowledge 4.0
Laufzeit: 22.09.2014 - 30.09.2015 - ProMoSA - Probabilistic Model for Safety Analysis
Laufzeit: 01.04.2011 - 28.02.2015 - Optimierte Bahnplanung für robotergestütze Angiographieanlagen (Teilprojekt STIMULATE: Bildgebung, OvGU)
Laufzeit: 01.03.2013 - 28.02.2014 - ottomotion - a cyber-phyiscal network for sports
Laufzeit: 01.11.2011 - 31.10.2013 - ViERforES II - TP 2: Entwurf hochzuverlässiger Logistiksysteme
Laufzeit: 01.11.2011 - 30.09.2013 - ViERforES II - TP6: Virtual reality in model-based Safety Analysis
Laufzeit: 01.01.2011 - 30.09.2013 - Trajectory Description Language
Laufzeit: 01.07.2011 - 30.06.2013 - ViERforES - TP2 - Logistik / Teilbereich Informatik
Laufzeit: 01.09.2009 - 31.12.2010
2021
Begutachteter Zeitschriftenartikel
Guided pattern mining for API misuse detection by change-based code analysis
In: Automated software engineering - Dordrecht [u.a.]: Springer Science + Business Media B.V, Bd. 28 (2021), insges. 48 S.
Buchbeitrag
Grocery recognition in the wild - a new mining strategy for metric learning
In: VISAPP/ VISIGRAPP - [Sétubal]: SCITEPRESS - Science and Technology Publications, Lda.; Farinella, Giovanni Maria . - 2021, S. 498-505
On the influence of viewpoint change for metric learning
In: IAPR International Conference on Machine Vision Applications (MVA) - IEEE . - 2021, insges. 4 S.
Exploit those code reviews! - bigger data for deeper learning
In: Konferenz: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE \'21, Athens, Greece, August 23 - 28, 2021, Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering/ Spinellis - New York,NY,United States: Association for Computing Machinery; Spinellis, Diomidis . - 2021, S. 1505-1509
An experimental analysis of graph-distance algorithms for comparing API usages
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
AndroidCompass - a dataset of android compatibility checks in code repositories
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
Dissertation
Guaranteed set-based controller design for hybrid dynamical systems
In: Magdeburg: Universitätsbibliothek, 2021, 1 Online-Ressource (II, 121 Seiten, 7,57 MB), Illustrationen
Nicht begutachteter Zeitschriftenartikel
An experimental analysis of graph-distance algorithms for comparing API usages
In: De.arxiv.org - [S.l.]: Arxiv.org . - 2021, insges. 12 S.
2020
Begutachteter Zeitschriftenartikel
Investigating an optimal signal epoch length for cardiotocographic classification
In: Current directions in biomedical engineering - Berlin: De Gruyter, 2015, Bd. 6.2020, 3, 20203132, S. 514-517
Publish or perish, but do not forget your software artifacts
In: Empirical software engineering - Dordrecht [u.a.]: Springer Science + Business Media B.V, Bd. 25 (2020), S. 4585-4616
Buchbeitrag
Learning references with Gaussian processes in model predictive control applied to robot assisted surgery
In: European Control Conference 2020/ European Control Conference - Piscataway, NJ: IEEE; Pogromsky, Alexander . - 2020, S. 362-367
Cooperative API misuse detection using correction rules
In: 2020 IEEE/ACM 42nd International Conference on Software Engineering: New ideas and emerging results - Piscataway, NJ: IEEE . - 2020, S. 73-76
Using API-embedding for API-misuse repair
In: 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops . - 2020, S. 1-2
Dissertation
Automatic fetal distress assessment during labor based on modal and parametrical analysis of the cardiotocographic recording
In: Magdeburg, 2020, xvi, 135 Seiten, Illustrationen, Diagramme, 30 cm ; [Literaturverzeichnis: Seite 115-135]
2019
Begutachteter Zeitschriftenartikel
Cardiotocographic signal feature extraction through CEEMDAN and time-varying autoregressive spectral-based analysis for fetal welfare assessment
In: IEEE access/ Institute of Electrical and Electronics Engineers - New York, NY: IEEE, Bd. 7 (2019), S. 159754-159772
Foetal heart rate assessment by empirical mode decomposition and spectral analysis
In: Current directions in biomedical engineering - Berlin: De Gruyter, 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
Buchbeitrag
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
2018
Abstract
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/ European Control Conference - Limassol, Cyprus, 2018; European Control Conference (17.:2018) . - 2018, S. 1035-1041
Artikel in Kongressband
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]
Begutachteter Zeitschriftenartikel
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 - Dordrecht [u.a.]: Springer Science + Business Media B.V . - 2018, insges. 40 S.
Buchbeitrag
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 . - 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
2017
Artikel in Kongressband
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
Begutachteter Zeitschriftenartikel
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
Buchbeitrag
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 - New York: ACM; Cohen, Myra . - 2017, S. 237-241
2016
Begutachteter Zeitschriftenartikel
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
Buchbeitrag
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
Dissertation
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]
2015
Artikel in Kongressband
Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing
In: 2015
Begutachteter Zeitschriftenartikel
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
Buchbeitrag
Coverage Path Re-planning for Processing Faults
In: Vol. 9245, 2015, S. 358-368
Dissertation
Robot trajectory optimization for relaxed effective tasks
In: Magdeburg, Univ., Fak. für Informatik, Diss., 2015, XIII, 113 S., Ill., graph. Darst.
2014
Abstract
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
Artikel in Kongressband
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
Begutachteter Zeitschriftenartikel
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
Buchbeitrag
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)
Herausgeberschaft
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)
2013
Abstract
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
Artikel in Kongressband
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.
Begutachteter Zeitschriftenartikel
Efficient optimization of large probabilistic models
In: The journal of systems and software. - Amsterdam [u.a.] : Elsevier, Bd. 86.2013, 10, S. 2488-2501
Buchbeitrag
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
Herausgeberschaft
Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 - (MIT 2013) ; 16. Juli 2013
In: Magdeburg, 2013, 4, 30 Seiten, Ill., graph. Darst., 21 cm ; Kongress: Magdeburger-Informatik-Tage, Doktorandentagung (MIT) 2 (Magdeburg : 2013.07.16)
2012
Artikel in Kongressband
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
Begutachteter Zeitschriftenartikel
Probabilistic Model-Based Safety Analysis
In: Elsevier Journal of Theoretical Computer Science on Quantitative Aspects of Programming Languages and Systems, 2012
Buchbeitrag
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
Herausgeberschaft
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
2011
Artikel in Kongressband
Practical experiences in model-based safety analysis
In: IWDE 2011: proceedings of the 2nd International Workshop on Digital Engineering 2011. - Magdeburg, S. 31-38
Buchbeitrag
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
Dissertation
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.
Originalartikel in begutachteter zeitschriftenartiger Reihe
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)
2010
Artikel in Kongressband
SysML in digital engineering
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-8 ; Kongress: IWDE 2010 - proceedings of the 1st International Workshop on Digital Engineering ; Otto-von-Guericke-Universität Magdeburg 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
Buchbeitrag
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
Originalartikel in begutachteter internationaler Zeitschrift
Probabilistic model-based safety analysis
In: Electronic proceedings in theoretical computer science. - Sydney : NICTA, Bd. 28.2010, 8, S. 114-128
Originalartikel in begutachteter zeitschriftenartiger Reihe
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
2009
Buchbeitrag
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
Nicht begutachteter Zeitschriftenartikel
Robotik aus Redmond - eine neue Ära?
In: Computer & Automation. - Haar : WEKA-Fachmedien, 4, S. 1-6, 2009
Originalartikel in begutachteter internationaler Zeitschrift
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
Originalartikel in begutachteter zeitschriftenartiger Reihe
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)
- Stadt Magdeburg
- Eisenbahn-Bundesamt, Berlin
- 4S-SISTEMI SICURI E SOSTENIBILI SRL - 4S SRL (Italien)
- METOP GmbH, Magdeburg, Prof. Dr. Thomas Leich
- IPSEN GmbH
2009-2013 | Junior-Professor für "Computer Systems in Engineering", Otto-von Guericke-Universität Magdeburg |
2006-2009 | Akademischer Rat am Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg |
2005-2006 | "Studienreferendar" am Holbein-Gymnasium Augsburg |
Seit 2002 | Mitgründer und stellvertretender Geschäftsführer der Kreativagentur 2Dsein |
2001-2005 | Wissenschaftlicher Mitarbeiter am Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg |
2000 | Diplomand bei der Cosyma GmbH, Friedberg |
1999 | Werkstudent bei der Opencom GmbH, Augsburg |