Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Welcome to SOAMED

 

Liebrenz, Timm.jpg   M.Sc. Timm Liebrenz

Contact


Address:

Technische Universität Berlin
Fachgebiet Programmierung eingebetteter Systeme
Ernst-Reuter-Platz 7

10587 Berlin

Raum: TEL 1002

Phone:

+49-30-314-29858
Fax: +49-30-314-78866
Homepage: timm_liebrenz

E-Mail:

liebrenz(at)soamed.de

Education


Member at SOAMED: September 01, 2015
2013-2015

Master of Science in "Technische Informatik" at Technische Universität Berlin

Title of Master`s Thesis:

"Automatic Slicing and Abstraction of HW/SW Co-Designs to enable Compositional Verification"

2009 - 2013

Bachelor of Science in "Technische Informatik" at Technische Universität Berlin

Title of Bachelor`s Thesis:

"Automatische Transformation von hierarchischen SytemC Modellen in Timed Automata"

2009

University-Entrance Diploma in Berlin, Barnim - Oberschule

Publications


2018 Liebrenz, T., Herber, P. and Glesner, S. (2018). Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X. Proceedings of the 20th International Conference on Formal Engineering Methods (ICFEM 2018). Springer.
2018 Liebrenz, T. (2018). Service-Oriented Design and Verification of Hybrid Control Systems. Proceedings of the 20th International Conference on Formal Engineering Methods (ICFEM 2018). Springer.
2017

Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner (2017): Towards Service-oriented Design of Hybrid Systems modeled in Simulink. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017, to appear). IEEE.

2016

Liebrenz, T., Klös, V., and Herber, P. :

Automatic Analysis and Abstraction for Model Checking HW/SW CO-Designs modeled in SystemC.

Proceeding of the 2016 ACM SIGAda annual conference on High integrity language technology (HILT 2016). ACM