Dipl.-Inform. Thomas Strathmann Scientific Researcher

Dipl.-Inform. Thomas Strathmann
Contact
Activities

Position at OFFIS

Scientific Researcher

Research and Developement Division

Transportation / Safety & Security Oriented Analysis

Competence Cluster

Safety Relevant Cyber Physical Systems (SRCPS), Cyber Resilient Architectures and Security (CRAS)

News

+49 441 9722-487

+49 441 9722-278

thomas.strathmann(at)offis.de

SEG03

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg
GERMANY

Publications
of 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