Current and Completed PhD Projects
Contact
Director
Prof. Dr. Ernst-Rüdiger Olderog
Coordinator
Ira Wempe
Current and Completed PhD Projects
Current and Completed PhD Projects
In the following we list current and completed PhD projects of SCARE.
Safe and secure transportation systems
Heinrich Ody: Monitoring Traffic Manoeuvres with Imprecise Information
Supervisors: Prof. Dr. Ernst-Rüdiger Olderog, Prof. Dr. Martin Fränzle
PhD defense: May 2020
Maike Schwammberger: Distributed Controllers for Provably Safe, Live and Fair
Autonomous Car Manoevres in Urban Traffic
Supervisors: Prof. Dr. Ernst-Rüdiger Olderog, Prof. Dr. Martin Fränzle
PhD defense: March 2020
Saifullah Khan: Geometry-Predicting Communication Protocols for Car2X Applications
Supervisors: Prof. Dr. Martin Fränzle, Prof. Dr. Oliver Theel
PhD defense: May 2017
Md Habibur Rahman: Secure Hazard Warning Car2Car Communications
Supervisors: Prof. Dr. Werner Damm, PD Dr. Sibylle Fröschle, Prof. Dr.-Ing. Wolfgang Nebel
Thomas Strathmann: Integrated Model-based Safety and Security Analysis
Supervisors: PD Dr. Sibylle Fröschle, Prof. Dr. Martin Fränzle
Jithin Zacharias: Host based Misbehavior Detection System in Vehicular Adhoc Networks
Supervisor: PD Dr. Sibylle Fröschle
Christopher Bischopink: Synthesising Monitors for Autonomous Traffic
Supervisor: Prof. Dr. Ernst-Rüdiger Olderog
Analysis of hybrid and stochastic systems
Yang Gao: Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
Supervisors: Prof. Dr. Martin Fränzle, Prof. Dr. Ernst-Rüdiger Olderog
PhD defense: April 2017
Peter Nazier Mosaad: Handling Delay Differential Equations in Automatic Verification
Supervisors: Prof. Dr. Martin Fränzle, Prof. Dr. Werner Damm
PhD defense: October 2019
Paul Kröger: Reconciling Formal Methods with Metrology
Supervisor: Prof. Dr. Martin Fränzle, Prof. Dr. Werner Damm
Erzana Berani: Delay-Differential Equations
Supervisor: Prof. Dr. Martin Fränzle
Farzaneh Moradkhani: Functional Verification of Cyber-Physical Systems Containing Machine-Learning
Component
Supervisor: Prof. Dr. Martin Fränzle
Quality of environmental sensing
Mohamed Abdelaal: Enabling Energy-Efficient Wireless Sensing with Improved Service Quality
Supervisors: Prof. Dr. Oliver Theel, Prof. Dr. Daniela Nicklas
PhD defense: November 2016
Peilin Zhang: Improving End-to-end Quality of Services in Low-power Wireless Sensor Networks
Supervisors: Prof. Dr. Oliver Theel, Prof. Dr. Oliver Kramer
PhD defense: June 2020
Christian Kuka: Quality-aware Multi-sensor Data Stream Processing for Dynamic Context Models
Supervisors: Prof. Dr. Daniela Nicklas, Prof. Dr. Martin Fränzle
PhD defense: March 2015
Construction and analysis of resilient systems
Awais Usman: Semantic Data Replication
Supervisors: Prof. Dr. Oliver Theel, Prof. Dr. Oliver Kramer
Stephan Adolf: Learning an Abstraction of NBTI Aging Models
Supervisors: Prof. Dr.-Ing. Wolfgang Nebel, Prof. Dr. Oliver Kramer
Syed Mohtashim Abbas Bokhari: Scenario-Based Application-optimized Data Replication Strategies through Genetic Programming
Supervisors: Prof. Dr. Oliver Theel, Prof. Dr. Oliver Kramer
PhD defense: August 2021
Mehrdad Poorhosseini: A hybrid RISC-V architecture supporting mixed timing-critical and high performance workloads
Supervisor: Prof. Dr.-Ing. Wolfgang Nebel
System synthesis based on Petri nets
Evgeny Erofeev: Characterisation of a Class of Petri Net Solvable Transition Systems
Supervisors: Prof. Dr. Eike Best, Prof. Dr. Ernst-Rüdiger Olderog
PhD defense: April 2018
Uli Schlachter: Petri Net Synthesis from Modal Transition Systems
Supervisors: Prof. Dr. Eike Best, Prof. Dr. Ernst-Rüdiger Olderog
PhD defense: Nomvember 2018
Manuel Gieseking: Symbolic Synthesis of Distributed Systems with Petri Games
Supervisor: Prof. Dr. Ernst-Rüdiger Olderog
Nick Würdemann: Distributed Synthesis in Symmetric Scenarios
Supervisor: Prof. Dr. Ernst-Rüdiger Olderog
Correctness of graph programs
Nils-Erik Flick: Proving Correctness of Graph Programs Relative to Recursively Nested Conditions
Supervisors: Prof. Dr. Annegret Habel, Prof. Dr. Ernst-Rüdiger Olderog
PhD defense: October 2016
Christoph Peuser: Graph Transformation Games for Modeling Adverse Conditions
Supervisors: Prof. Dr. Annegret Habel, Prof. Dr. Martin Fränzle
Hendrik Radke: A Theory of HR* Graph Conditions and Their Application to Meta-Modeling
Supervisors: Prof. Dr. Annegret Habel, Prof. Dr. Ernst-Rüdiger Olderog
PhD defense: March 2016
Okan Özkan: Verification of Infinite-state Graph Transformation Systems under Adverse Conditions
Supervisors: Prof. Dr. Annegret Habel, Prof. Dr. Ernst-Rüdiger Olderog
Verification of programs and systems
Björn Engelmann: Techniques for the Verification of Dynamically Typed Programs
Supervisors: Prof. Dr. Ernst-Rüdiger Olderog, Prof. Dr. Martin Fränzle
PhD defense: October 2016
Gregor Nitsche: Structural Contracts to verify Extra-Functional Properties
Supervisor: Prof. Dr.-Ing. Wolfgang Nebel, Prof. Dr. Werner Damm
Applications of Machine Learning
Almuth Meier: Prediction-based Nature-inspired Dynamic Optimization
Supervisors: Prof. Dr. Oliver Kramer, Prof. Dr. Oliver Theel
PhD defense: April 2020
Nils Worzyk: Adversarials-1: Detecting Adversarial Inputs with Internal Attacks
Supervisors: Prof. Dr. Oliver Kramer, Prof. Dr. Martin Fränzle
PhD defense: May 2020
Philip Mirbach: Using Fourier Transformation to improve training of modern convolutional neural networks
Supervisors: Prof. Dr. Oliver Kramer
Tim Cofala: Improving Cartesian Genetic Programming for Atari Games
Supervisors: Prof. Dr. Oliver Kramer
Lars Elend: Self-Organizing Maps with Convolutional Layers
Supervisors: Prof. Dr. Oliver Kramer