Extraktion von Interthread-Kommunikation in eingebetteten Systemen. - Martin Wittiger; Steffen Keul (Automotive - Safety & Security, 2012)

Ergebnisbewertung konservativer statischer Data-Race-Analysen. - Sandro Degiorgi; Martin Wittiger (Softwaretechnik-Trends, 2013)

Advancing data race investigation and classification through visualization. - Nikolaos Koutsopoulos; Mandy Northover; Timm Felden; Martin Wittiger (VISSOFT, 2015)

Recognition of Real-World State-Based Synchronization. - Martin Wittiger; Timm Felden (Softwaretechnik-Trends, 2015)

Eliminating Data Race Warnings Using CSP. - Martin Wittiger (Ada-Europe, 2016)

Migrating Bauhaus from IML to SKilL. - Timm Felden; Martin Wittiger (Softwaretechnik-Trends, 2016)

Analyse expliziter Zustandsverwaltung als Mittel der Synchronisation. - Martin Wittiger (2018)

Auswahlkriterien für elliptische Kurven in der Industrie. - Martin Wittiger (Softwaretechnik-Trends, 2020)