TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation

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

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe