TU Darmstadt / ULB / TUprints

Items where Division is "20 Department of Computer Science > Software Technology" and Year is [pin missing: value2]

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: A | B | C | D | G | H | K | L | M | P | S | V
Number of items at this level: 20.

A

Aly, Mohamed Abdulazim Mohamed (2014):
An Extension Interface Concept for Multilayered Applications.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Amann, Sven (2018):
A Systematic Approach to Benchmark and Improve Automated Static Detection of Java-API Misuses.
Darmstadt, Technische Universität, [Ph.D. Thesis]

B

Bockisch, Christoph-Matthias (2009):
An Efficient and Flexible Implementation of Aspect-Oriented Languages.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Bračevac, Oliver (2019):
Event Correlation with Algebraic Effects - Theory, Design and Implementation.
Darmstadt, Technische Universität, [Ph.D. Thesis]

C

Cichos, Harald (2013):
Modellbasierte Generierung und Reduktion von Testsuiten für Software-Produktlinien.
Darmstadt, Technische Universität, [Ph.D. Thesis]

D

Dinkelaker, Tom (2011):
Reflective Embedding of Domain-Specific Languages.
Darmstadt, TU-Prints, Technische Universität, [Ph.D. Thesis]

Dinkelaker, Tom and Wende, Christian and Lochmann, Henrik (2009):
Implementing and Composing MDSD-Typical DSLs.
Technische Universität Darmstadt, [Report]

Drechsler, Joscha (2019):
Concurrency and Distribution in Reactive Programming.
Darmstadt, Technische Universität Darmstadt, [Ph.D. Thesis]

G

Gasiūnas, Vaidas (2010):
Advanced Object-Oriented Language Mechanisms for Variability Management.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Grewe, Sylvia (2019):
Automating Type Soundness Proofs for Domain-Specific Languages.
Darmstadt, Technische Universität, [Ph.D. Thesis]

H

Hermann, Ben (2016):
Full-Stack Static Security Analysis for the Java Platform.
Darmstadt, Technische Universität Darmstadt, [Ph.D. Thesis]

K

Kallel, Slim (2011):
Specifying and Monitoring Non-functional Properties.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Kloppenburg, Sven (2009):
Incrementalization of Analyses for Next Generation IDEs.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Kuci, Edlira (2020):
Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking.
Darmstadt, Technische Universität, DOI: 10.25534/tuprints-00011419,
[Ph.D. Thesis]

L

Lerch, Johannes (2016):
On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform.
Darmstadt, Technische Universität Darmstadt, [Ph.D. Thesis]

M

Mitschke, Ralf (2014):
Scalable Automated Incrementalization for Real-Time Static Analyses.
Darmstadt, Technische Universität, [Ph.D. Thesis]

P

Proksch, Sebastian (2017):
Enriched Event Streams: A General Platform For Empirical Studies On In-IDE Activities Of Software Developers.
Darmstadt, Technische Universität, [Ph.D. Thesis]

S

Schmeling, Benjamin (2013):
Composing Non-Functional Concerns in Web Services.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Sewe, Andreas (2012):
Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine.
Darmstadt, Technische Universität, [Ph.D. Thesis]

V

Van Ham, Jurgen Michael (2015):
Seamless Concurrent Programming of Objects, Aspects and Events.
Darmstadt, Technische Universität, [Ph.D. Thesis]

This list was generated on Fri Apr 10 11:58:21 2020 CEST.