Startseite > Fachgruppen > Softwaretechnik > Lehre > Bachelor- / Masterarbeiten > Ausgeschriebene Arbeiten

Ausgeschriebene Arbeiten

Automatically Detecting Possible Control-Flow Attacks in Ethereum Smart Contracts

Automatically Finding Illicit Dataflow in Ethereum Smart Contracts

Automatische Bewertung der Produktqualität während des Produkttests

Component-Based Specification of Information Flow Policies

Features for Automated Benchmarking

Indexing Open-Source C/C++ Repositories

Metastudy on Static Program Analysis Evaluation Design

Modeling Java Web Systems Architectures for Call Graph Construction

Ontologie für Zustandsüberwachung // Ontology for Condition Monitoring

Requirements Traceability for CC Evaluation

Scalable Graphs for Static Analysis

Security-by-design for Component-based Systems.

Specification of Information Flow Policies in Model-Based Systems Engineering

Ursachenanalyse für Fehler innerhalb der Produktion durch Data-Mining

Vulnerabilities in Java 9 Modules

Informationen zu laufenden Bachelor- / Masterarbeiten.

Informationen zu bereits abgeschlossenen Bachelor-, Master-, Studien-, und Diplomarbeiten.