Research Training Group SCARE

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

Maike Schwammberger: Properties of Communicating Controllers for Safe Traffic Manoeuvres
Supervisors: Prof. Dr. Ernst-Rüdiger Olderog, Prof. Dr. Martin Fränzle

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: Misbehavior Detection System in Vehicular Adhoc Networks based on Traffic Density
Supervisor: PD Dr. Sibylle Fröschle

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 of Hybrid Systems
Supervisors: Prof. Dr. Martin Fränzle, Prof. Dr. Werner Damm

Paul Kröger: Reconciling Formal Methods with Metrology
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: Quality of Service Optimisation Strategies in Wireless Sensor Networks
Supervisors: Prof. Dr. Oliver Theel, Prof. Dr. Oliver Kramer

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

Dilshod Rahmatov: Design and Analysis of Highly Reliable Region-Adherent Distributed Algorithms in Faulty Environments
Supervisors: Prof. Dr. Oliver Theel, Prof. Dr. Ernst-Rüdiger Olderog

Stephan Adolf: Design Space Exploration for Components of Robust ICT-Systems
Supervisor: Prof. Dr.-Ing. Wolfgang Nebel

Syed Mohtashim Abbas Bokhari: Identification of Application-optimized Data Replication Schemes
Supervisor: Prof. Dr. Oliver Theel

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

Manuel Gieseking: Symbolic Synthesis of Distributed Systems with Petri Games
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

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

Applications of Machine Learning

Almuth Meier: Prediction-based Dynamic Evolutionary Optimization
Supervisors: Prof. Dr. Oliver Kramer, Prof. Dr. Oliver Theel

Nils Worzyk: Defending against Adversarial Images
Supervisors: Prof. Dr. Oliver Kramer