direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Archive of finished Master, and Diploma Theses

Master Theses

laufend



2019


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


Diploma Theses

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

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions