direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dr.-Ing. Thomas Göthel

Veröffentlichungen

2018

Mikulcak, M., Herber, P., Göthel, T. and Glesner, S. (2018). Information Flow Analysis of Combined Simulink/Stateflow Models. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018, to appear). IEEE Computer Society.


Schlesinger, S., Herber, P., Göthel, T. and Glesner, S. (2018). Equivalence Checking for Hybrid Control Systems modelled in Simulink. IEEE International Workshop on Model-based Verification and validation (MVV 2018, to appear). IEEE.


Klös, V., Göthel, T. and Glesner, S. (2018). Comprehensible and Dependable Self-Learning Self-Adaptive Systems. Journal of Systems Architecture. Elsevier, 28–42.


Fellmuth, J., Göthel, T. and Glesner, S. (2018). Instruction Caches in Static WCET Analysis of Artificially Diversified Software. 30th Euromicro Conference on Real-Time Systems (ECRTS). Leibniz Center for Informatics, accepted for publication.


Klös, V., Göthel, T. and Glesner, S. (2018). Comprehensible Decisions in Complex Self-Adaptive Systems. Software Engineering 2018, Fachtagung des GI-Fachbereichs Softwaretechnik. Gesellschaft für Informatik, 215–216.


Klös, V., Göthel, T. and Glesner, S. (2018). Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, to appear.


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). IEEE, 226–233.


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

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). IEEE, 13–18.


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, 157–173.


Mikulcak, M., Herber, P., Göthel, T. and Glesner, S. (2017). Timed Path Conditions in MATLAB/Simulink. System Level Design from HW/SW to Memory for Embedded Systems. Springer.


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), 1495–1508.


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

Studienabschlussarbeiten

2007


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe