Dr. Thomas Pramsohler

Kontakt

Dr. rer. nat. Thomas Pramsohler

Informatik 13 - Professur für Vernetzte Rechensysteme - (Prof. Baumgarten)

Dissertation

  • Pramsohler, Thomas: Modellbasierte Adaptierung von Softwarekomponenten am Beispiel Automotive Infotainment. Dissertation, 2016 mehr…

Publikationen

  • Pramsohler, Thomas; Kafkas, Mahmut; Paulić, Annette; Zeller, Marc; Baumgarten, Uwe: 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…
  • Pramsohler, Thomas; Baumgarten, Uwe: Adaptation of Automotive Infotainment Interfaces using Static and Dynamic Adapters. Proceedings INFORMATIK 2013, 201311. Workshop Automotive Software Engineering mehr…
  • Christian, Drabek; Thomas, Pramsohler; Marc, Zeller, Gereon, Weiss: 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…
  • Pramsohler, Thomas; Schenk, Simon; Baumgarten, Uwe: Towards an Optimized Software Architecture for Component Adaptation at Middleware Level. In: Software Architecture. Springer-Verlag Berlin Heidelberg, 2013 mehr…
  • Pramsohler, Thomas; Kaule, Dirk; Paulić, Annette; Zeller, Marc; Weiß, Gereon: Modellbasierte Erkennung von Fehlverhalten: Automatisierte Generierung von Verifikationsmodellen zur Absicherung von Funktionsschnittstellen im Bereich Infotainment. Elektronik automotive (8-9/2012), 2012, 12 - 17 mehr…
  • Pramsohler, Thomas; Pantförder, Dorothea; Vogel-Heuser, Birgit: 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…
  • Kormann, Benjamin; Pramsohler, Thomas; Welter, Jürgen: 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…