Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Static Analysis of Predicate-based Synchronisation., , and . Softwaretechnik-Trends, (2011)RaceVis: Ein Werkzeug zur Visualisierung von Data Races., , , , and . Softwaretechnik-Trends, (2010)Extraktion von Interthread-Kommunikation in eingebetteten Systemen., and . Automotive - Safety & Security, volume P-210 of LNI, page 55-67. GI, (2012)Static Versioning of Global State for Race Condition Detection.. Ada-Europe, volume 6106 of Lecture Notes in Computer Science, page 111-124. Springer, (2010)Entwurfsmuster-Erkennung mit Bauhaus., , , and . Workshop Software Reengineering, volume P-126 of LNI, page 181-185. GI, (2008)Tuning Static Data Race Analysis for Automotive Control Software.. SCAM, page 45-54. IEEE Computer Society, (2011)Interprocedural Static Single Assignment Form., , , and . WCRE, page 1-10. IEEE Computer Society, (2007)