direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Thomas Göthel

Publications

2019

Pfeffer, T., Göthel, T. and Glesner, S. (2019). Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), 318-325.

Link to publication Link to original publication

Pfeffer, T., Göthel, T. and Glesner, S. (2019). Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy. ACM, 197–208.

Link to publication Link to original publication

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). IEEE Computer Society, 223–228.


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). IEEE, 572–579.


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), 21:1–21:23.

Link to original 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, 89–96.


Klös, V., Göthel, T. and Glesner, S. (2018). Runtime Management and Quantitative Evaluation of Changing System Goals in Complex Autonomous Systems. Journal of Systems and Software. Elsevier, 314–327.


Berg, N., Göthel, T., Danziger, A. and Glesner, S. (2018). Preserving liveness guarantees from synchronous communication to asynchronous unstructured low-level languages. 20th International Conference on Formal Engineering Methods (ICFEM). Springer, 303–319.


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 to original publication

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.


Diploma Thesis

2007


Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe