- Veröffentlichungen der Abteilung

- Dokumente der Abteilung

• Artikel in Tagungsbänden
 

• Studienarbeiten (Archiv)
 

• Bibliographie 2011 BibTeX     ( Download )

• Görg, Torsten: Detection of Intentions in Context-Free Grammars. In: 13. Workshop Software-Reengineering (WSR 2011), Bad Honnef, 2.-4. Mai 2011, Softwaretechnik-Trends, Band 31, Heft 2.
• von Hanxleden, Reinhard; Holsti, Niklas; Lisper, Björn; Plödereder, Erhard; Wilhelm, Reinhard et.al.: WCET Tool Challenge 2011: Report. In: Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis; Porto, Portugal.
• Keul, Steffen: Tuning Static Data Race Analysis for Automotive Control Software. In: Proceedings of the 11th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 25-26 September, Williamsburg, VA, USA, 2011.
• Plödereder, Erhard: Programming Languages Meet Multicore. In: Reliable Software Technologies, Ada-Europe 2011:16th International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24., 2011, Proceedings.
• Prokharau, Mikhail; Gerlach, Daniel; Keul, Steffen: Static Analysis of Predicate-based Synchronisation. In: 13. Workshop Software-Reengineering (WSR 2011), Bad Honnef, 2.-4. Mai 2011, Softwaretechnik-Trends, Band 31, Heft 2.
• Raza, Aoun; Franke, Stefan; Plödereder, Erhard: Detecting High-Level Synchronization Errors in Parallel Programs. In: Reliable Software Technologies, Ada-Europe 2011:16th International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24., 2011, Proceedings.

• Bühler, Stefan: Entwicklung und Implementierung eines nebenläufigen Contraint-Solver für die Points-To-Analyse, Studienarbeit Nr. 2330, 2011.