loader image

Test Solutions for Simulink Models & Production Code

Virtual Validation for ADAS/AD

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

Products

Test Solutions for Simulink Models & Production Code

Virtual Validation for ADAS/AD

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

Dr. Tino Teige holds a Diploma degree in Theoretical Computer Science from University of Rostock since 2005. From 2005 to 2012 he was a research assistent at the University of Oldenburg mainly working on formal methods. He received a doctoral degree in Computer Science in 2012 with a dissertation about verification of probabilistic systems. Since 2012 Dr. Tino Teige is with BTC Embedded Systems AG where he currently acts as Chief Research Engineer and Head of the Innovation & Technology Department, the latter being responsible for the application of formal methods in an industrial setting. In 2013 he was a visiting researcher at the University of Oxford.