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]

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2018):
Versatile Event Correlation with Algebraic Effects. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 2 (ICFP), pp. 1-31. ACM, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014556,
[Article]

C

Cergani, Ervina (2020):
Machine Learning as a Mean to Uncover Latent Knowledge from Source Code.
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00011658,
[Ph.D. Thesis]

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 ; Wende, Christian ; Lochmann, Henrik (2009):
Implementing and Composing MDSD-Typical DSLs.
Technische Universität Darmstadt, [Report]

Dinser, Moritz (2021):
An Empirical Study on Reactive Programming. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt, DOI: 10.26083/tuprints-00019901,
[Bachelor Thesis]

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

Drechsler, Joscha ; Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2018):
Thread-Safe Reactive Programming. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA), pp. 1-30. ACM, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014555,
[Article]

E

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006):
Incremental Confined Types Analysis. (Publisher's Version)
In: Electronic Notes in Theoretical Computer Science, 164 (2), pp. 81-96. Elsevier, ISSN 1571-0661,
DOI: 10.25534/tuprints-00014558,
[Article]

Eichholz, Matthias (2022):
Type-Safe Data Plane Programming. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt,
DOI: 10.26083/tuprints-00022873,
[Ph.D. Thesis]

G

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

Glanz, Leonid (2020):
Automatic Identification and Recovery of Obfuscated Android Apps. (Publisher's Version)
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00014647,
[Ph.D. Thesis]

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

H

Helm, Dominik (2023):
Modular Collaborative Program Analysis. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt,
DOI: 10.26083/tuprints-00023220,
[Ph.D. Thesis]

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

Holst, Lukas (2021):
Dynamic Placement of Continuous Data Processing with Real Time Sensory Readout on IOT Devices. (Publisher's Version)
Darmstadt, Technische Universität, DOI: 10.26083/tuprints-00020200,
[Bachelor 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]

Mogk, Ragnar (2021):
A Programming Paradigm for Reliable Applications in a Decentralized Setting. (Publisher's Version)
Darmstadt, Technische Universität,
DOI: 10.26083/tuprints-00019403,
[Ph.D. Thesis]

Mogk, Ragnar ; Drechsler, Joscha ; Salvaneschi, Guido ; Mezini, Mira (2019):
A Fault-Tolerant Programming Model for Distributed Interactive Applications. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA), pp. 1-29. Association for Computing Machinery, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014554,
[Article]

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]

R

Reif, Michael (2021):
Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software. (Publisher's Version)
Darmstadt, Technische Universität,
DOI: 10.26083/tuprints-00019286,
[Ph.D. Thesis]

S

Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2019):
Language-Integrated Privacy-Aware Distributed Queries. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA), pp. 1-30. Association for Computing Machinery, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014553,
[Article]

Sarimbekov, Aibek ; Moret, Philippe ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira (2011):
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. (Publisher's Version)
In: Electronic Notes in Theoretical Computer Science, 279 (1), pp. 61-74. Elsevier, ISSN 1571-0661,
DOI: 10.25534/tuprints-00014564,
[Article]

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]

Stollenwerk, Vincent (2021):
Integrating Complex Event Processing and Transactional Dataflow. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt, DOI: 10.26083/tuprints-00019914,
[Bachelor Thesis]

V

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

W

Weisenburger, Pascal (2020):
A Programming Language for Distributed Systems.
Darmstadt, Technische Universität Darmstadt,
DOI: 10.25534/tuprints-00013500,
[Ph.D. Thesis]