Contact

EMail:

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

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
Supervisor: Prof. Dr.-Ing. Wolfgang Nebel, Prof. Dr. Oliver Kramer

Syed Mohtashim Abbas Bokhari: Scenario-Based Application-optimized Data Replication Strategies
Supervisor: Prof. Dr. Oliver Theel

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

(Changed: 2021-01-11)