direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Archiv von Diplom- und Masterarbeiten

Masterarbeiten

laufend



2018


2017





2016


2015



Tobias Pfeffer (2015). Using Dynamic Symbolic Execution for Anomaly Detection. TU Berlin


Dennie Kabul (2015). Subnetzerkennung bei algebraischen Petrinetzen. TU Berlin


Ronny Hapke (2015). Deadlock Freedom of Data-Dependent Services. TU Berlin



2014





2013

Joachim Kuhnert (2013). Bounded Model Checking für Timed CSP Prozesse. TU Berlin





2012



2011

Abdenebi Baaddi (2011). Intelligentes dynamisches Scheduling von MPI-Prozessen. TU Berlin


2010




1994


Diplomarbeiten

2017


2013



2011



2010


Carolina Fernandes Lemos Bonin (2010). Automated Input Selection based on Communication Coverage Criteria. TU Berlin Diploma Thesis



2009






2008

Joachim Fellmuth (2008). Automatische Übersetzung von SystemC Modellen in Timed Automata. Diploma Thesis



Nadezhda Levitan (2008). Verifikation von Codegenerierungsregeln für Typkonvertierungen. Diploma Thesis


2007



Jonas Heese (2007). Lernen von Speicherabhängigkeiten. Diploma Thesis


Jan Oppor (2007). Speculative Alias Analysis. Diploma Thesis



2006




2004


1996


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe