TU Berlin

Software and Embedded Systems EngineeringVeröffentlichungen

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Timm Liebrenz, M. Sc.

Veröffentlichungen

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 zur Originalpublikation

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

Link zur Originalpublikation

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 zur Originalpublikation

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 zur Originalpublikation

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 zur Originalpublikation

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 zur Originalpublikation

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe