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: Robust Spatio-Temporal Logic for Mobile Agents

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: Asymptotic Security for Connected Cars

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 defence: November 2016

  

Peilin Zhang: Quality of Service Optimisation Strategies in Wireless Sensor Networks 

Supervisors: Prof. Dr. Oliver Theel, Jun.-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, Jun.-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

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

 

 

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: Deep Learning Meta-Models for Evolution Strategies

Supervisor: Prof. Dr. Oliver Kramer


Nils Worczyk: Neural Networks for Verification of Systems

Supervisor: Prof. Dr. Oliver Kramer