Dipl.-Inform. Thomas Strathmann Wissenschaftlicher Mitarbeiter

Dipl.-Inform. Thomas Strathmann
Kontaktdaten
Tätigkeiten

Position im OFFIS

Wissenschaftlicher Mitarbeiter

Forschungsbereiche

Verkehr / Safety & Security Oriented Analysis

Competence Center

Dependable Systems

Biografie
Thomas Strathmann studierte in Oldenburg Informatik mit Schwerpunkt Eingebettete Systeme und Mikrorobotik.

Nach seinem Abschluss arbeitete er als wissenschaftlicher Mitarbeiter in der Abteilung "Parallele Systeme" der Universität Oldenburg. Dort forschte er an Security-Analysen für Informationsflüsse in nebenläufigen Systemen und unterstützte die Lehre im Bereich Theoretische Informatik.

Seit 2014 ist er am OFFIS tätig und forscht in der Gruppe S2A an Methoden für die Analyse sicherheitskritischer Systeme an der Schnittstelle zwischen Safety und Security.
News

+49 441 9722-487

+49 441 9722-278

thomas.strathmann(at)offis.de

Schuler EG 03

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von Dipl.-Inform. Thomas Strathmann

2017

Towards a Model-Based Safety and Security Analysis

Thomas Strathmann and Sibylle Fröschle; Model-Based Development of Embedded Systems (MBEES); 2017

2016

Verification of Systems in Physical Contexts

Oehlerking, Jens AND Strathmann, Thomas; Advanced Model-Based Engineering of Embedded Systems; 2016

2015

Verifying Properties of an Electro-Mechanical Braking System

Thomas Strathmann and Jens Oehlerking; 2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015); 4 / 2015