Navigation

Contact

EMail: scare@kr8guolsuk3r.degima

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

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

D-26111 Oldenburg, Germany

olkqtmaderog@informo7skjatik.a+diuni-olde07wenburg.de

COODINATOR

Ira Wempe,

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

D-26111 Oldenburg, Germany

ira.wempe@inm+lformatik.10unzeid0i-oldenburg.kd4lde

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

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

Oliver Theel74 (oliverbkpy.thej77el@utsool.de) (Changed: 2020-07-01)