direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dr.-Ing. Thomas Göthel

Veröffentlichungen

2017

Klös, V., Göthel, T., Lohr, A. and Glesner, S. (2017). Runtime Management and Quantitative Evaluation of Changing System Goals. 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), to appear. IEEE.


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, to appear). IEEE.


Klös, V., Göthel, T. and Glesner, S. (2017). Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W), to appear. IEEE.


Göthel, T., Jähnig, N. and Seif, S. (2017). Refinement-Based Modelling and Verification of Design Patterns for Self-Adaptive Systems. Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM). Springer, to appear.


2016

Mikulcak, M., Göthel, T., Herber, P. and Glesner, S. (2016). Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. INFORMATIK 2016. Gesellschaft für Informatik (GI).


Schlesinger, S., Herber, P., Göthel, T. and Glesner, S. (2016). Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. Cyber Physical Systems. Design, Modeling, and Evaluation. Springer, 71-86.

Link zur Originalpublikation

Schlesinger, S., Herber, P., Göthel, T. and Glesner, S. (2016). Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models. ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications. IARIA XPS Press, 45-50.

Link zur Originalpublikation

Jähnig, N., Göthel, T. and Glesner, S. (2016). Refinement-Based Verification of Communicating Unstructured Code. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Springer, 61–75.

Link zur Originalpublikation

Klös, V., Göthel, T. and Glesner, S. (2016). Formal models for analysing dynamic adaptation behaviour in real-time systems. 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, 106-111.


2015

Klös, V., Göthel, T. and Glesner, S. (2015). Adaptive Knowledge Bases in Self-Adaptive System Design. 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 472 - 478.

Link zur Originalpublikation

Jähnig, N., Göthel, T. and Glesner, S. (2015). A Denotational Semantics for Communicating Unstructured Code. Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., 9–21.

Link zur Publikation Link zur Originalpublikation

Schlesinger, S., Herber, P., Göthel, T. and Glesner, S. (2015). Towards the Verification of Refactorings of Hybrid Simulink Models. Proceedings of the Third International Workshop on Verification and Program Transformation (VPT 2015), 69.

Link zur Originalpublikation

Göthel, T. and Bartels, B. (2015). Modular Design and Verification of Distributed Adaptive Real-Time Systems. Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014), 3–12.

Link zur Originalpublikation

Göthel, T., Klös, V. and Bartels, B. (2015). Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. EAI Endorsed Transactions on Self-Adaptive Systems


Mikulcak, M., Herber, P., Göthel, T. and Glesner, S. (2015). Timed Path Conditions in MATLAB/Simulink. International Embedded Systems Symposium (IESS'2015, to appear). Springer.


Studienabschlussarbeiten

2007


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe