Martin Wittiger

According to our database, Martin Wittiger authored at least 8 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Auswahlkriterien für elliptische Kurven in der Industrie.

Martin Wittiger

Softwaretechnik-Trends, 2020

2018

Analyse expliziter Zustandsverwaltung als Mittel der Synchronisation.

Martin Wittiger

PhD thesis, 2018

2016

Migrating Bauhaus from IML to SKilL.

Timm Felden, Martin Wittiger

Softwaretechnik-Trends, 2016

Eliminating Data Race Warnings Using CSP.

Martin Wittiger

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

Recognition of Real-World State-Based Synchronization.

Martin Wittiger, Timm Felden

Softwaretechnik-Trends, 2015

Advancing data race investigation and classification through visualization.

Nikolaos Koutsopoulos, Mandy Northover, Timm Felden, Martin Wittiger

Proceedings of the 3rd IEEE Working Conference on Software Visualization, 2015

2013

Ergebnisbewertung konservativer statischer Data-Race-Analysen.

Sandro Degiorgi, Martin Wittiger

Softwaretechnik-Trends, 2013

2012

Extraktion von Interthread-Kommunikation in eingebetteten Systemen.

Martin Wittiger, Steffen Keul

Proceedings of the Automotive, 2012