Dr. Thomas Pramsohler
Kontakt
Dr. rer. nat. Thomas Pramsohler
Informatik 13 - Professur für Vernetzte Rechensysteme - (Prof. Baumgarten)
Forschung und Projekte
Dissertation
- Modellbasierte Adaptierung von Softwarekomponenten am Beispiel Automotive Infotainment. Dissertation, 2016 mehr…
Publikationen
- Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior. SAE International Journal of Passenger Cars– Electronic and Electrical Systems 6, 2013 mehr…
- Adaptation of Automotive Infotainment Interfaces using Static and Dynamic Adapters. Proceedings INFORMATIK 2013, 201311. Workshop Automotive Software Engineering mehr…
- Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment. Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2013co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013) mehr…
- Towards an Optimized Software Architecture for Component Adaptation at Middleware Level. In: Software Architecture. Springer-Verlag Berlin Heidelberg, 2013 mehr…
- Modellbasierte Erkennung von Fehlverhalten: Automatisierte Generierung von Verifikationsmodellen zur Absicherung von Funktionsschnittstellen im Bereich Infotainment. Elektronik automotive (8-9/2012), 2012, 12 - 17 mehr…
- Analyse von Prozess- und Meldungsdaten durch die kombinierte Darstellung von 3D Diagrammen und Strukturplänen von Maschinen und Anlagen. In: VDI/VDE-Berichte 2099. VDI-Verlag, 2010, 247 - 264 mehr…
- Praxisgerechtes Konzept für das Monitoring von Industrial Ethernet. SPS/IPC/Drives Kongress, Nürnberg, 24.-26.11.2009, VDE Verlag GmbH, 2009, 63 - 71 mehr…