direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Timm Liebrenz, M. Sc.

Publications

2019

Liebrenz, T., Herber, P. and Glesner, S. (2019). A Service-oriented Approach for Decomposing and Verifying Hybrid System Models. International Conference on Formal Aspects of Component Software. Springer.


2018

Liebrenz, T., Herber, P. and Glesner, S. (2018). Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X. International Conference on Formal Engineering Methods. Springer.

Link to original publication

Liebrenz, T. (2018). Service-Oriented Design and Verification of Hybrid Control Systems. International Conference on Formal Engineering Methods. Springer.

Link to original publication

2017

Liebrenz, T., Herber, P., Göthel, T. and Glesner, S. (2017). Towards Service-oriented Design of Hybrid Systems modeled in Simulink. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017). IEEE, 469–474.

Link to original publication

Liebrenz, T. (2017). Service-oriented Design and Formal Verification of Hybrid Systems in the Medical Context. Proceedings of the 11th Joint Workshop of the German Research Training Groups in Computer Science, 21.

Link to original publication

2016

Liebrenz, T., Klös, V. and Herber, P. (2016). Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC. ACM SIGAda Ada Letters. ACM, 9–17.

Link to original publication

Liebrenz, T. (2016). Verification of Hybrid Systems in the Medical Context. Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science. Universitätsverlag der Technischen Universität Chemnitz, 30.

Link to original publication

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe