« Personen
Sie verwenden einen sehr veralteten Browser und können Funktionen dieser Seite nur sehr eingeschränkt nutzen. Bitte aktualisieren Sie Ihren Browser. http://www.browser-update.org/de/update.html

Universitätsplatz 2

39106

Magdeburg

Tel.:+49 391 6751899

thomas.thuem@uni-ulm.de

Zur Homepage

Prof. Dr. Thomas Thüm

Eine Herausforderung in der Softwaretechnik ist die Korrektheit von Software sicherzustellen. Die Verifikation von Software ist zunehmend von Bedeutung, da Software immer mehr in eingebetteten Systemen eingesetzt wird. Beispielsweise können Fehlfunktionen in Fahrzeugen oder Produktionsanalagen katastrophale Auswirkungen haben. Seit etwa 60 Jahren werden Methoden zur Softwareverifikation entwickelt, jedoch betrachten diese meist nur ein Softwaresystem. Doch oft gibt es von einer Software mehrere Varianten, die auf bestimmte Anforderungen maßgeschneidert sind (z.B. verschiedene Modelle eines Fahrzeugs). Die Varianten einer Software werden auch als Softwareproduktlinie bezeichnet. Ziel meiner Doktorarbeit ist die Entwicklung von Methoden zur effizienten Verifikation von Softwareproduktlinien. In mehreren Fallstudien konnte bereits gezeigt werden, dass eine effiziente Spezifikation und Verifikation von Softwareproduktlinien möglich ist.

Profil • Service

Vita

2008 Bachelor in Informatik
2010 Diplom in Informatik mit Auszeichnung

Expertenprofil

.

Serviceangebot

.

Forschung

Projekte

Die Daten werden geladen ...

Publikationen

Top-5 Publikationen

Die Daten werden geladen ...

Publikationsliste

2023
Die Daten werden geladen ...
2022
Die Daten werden geladen ...
2018
Die Daten werden geladen ...
2017
Die Daten werden geladen ...
2016
Die Daten werden geladen ...
ältere
2015
Die Daten werden geladen ...
2014
Die Daten werden geladen ...
2013
Die Daten werden geladen ...
2012
Die Daten werden geladen ...
2011
Die Daten werden geladen ...
2009
Die Daten werden geladen ...