Thomas Strathmann

According to our database, Thomas Strathmann authored at least 3 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Project Overview for Step-Up!CPS - Process, Methods and Technologies for Updating Safety-critical Cyber-physical Systems.

Thomas Strathmann, Georg Hake, Houssem Guissouma, Carl Philipp Hohl, Yosab Bebawy, Sebastian Vander Maelen, Andrew Koerner

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2016

Verification of Systems in Physical Contexts.

Jens Oehlerking, Thomas Strathmann

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

Verifying Properties of an Electro-Mechanical Braking System.

Thomas Strathmann, Jens Oehlerking

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015