A

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

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

B

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

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

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2020)
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages, 2018, 2 (ICFP)
doi: 10.25534/tuprints-00014556
Article, Secondary publication, Publisher's Version

C

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

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

D

Dinkelaker, Tom (2011)
Reflective Embedding of Domain-Specific Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Dinkelaker, Tom ; Wende, Christian ; Lochmann, Henrik (2009)
Implementing and Composing MDSD-Typical DSLs.
Report, Primary publication

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

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

Drechsler, Joscha ; Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2020)
Thread-Safe Reactive Programming.
In: Proceedings of the ACM on Programming Languages, 2018, 2 (OOPSLA)
doi: 10.25534/tuprints-00014555
Article, Secondary publication, Publisher's Version

E

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2020)
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, 2006, 164 (2)
doi: 10.25534/tuprints-00014558
Article, Secondary publication, Publisher's Version

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

G

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

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

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

H

Hedtke, Moritz (2024)
Optimizing Collaborative Plain Text Editing Algorithms for Decentralized Non-Realtime Text Editing.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00027834
Bachelor Thesis, Primary publication, Publisher's Version

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

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

Holst, Lukas (2021)
Dynamic Placement of Continuous Data Processing with Real Time Sensory Readout on IOT Devices.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00020200
Bachelor Thesis, Primary publication, Publisher's Version

K

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

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

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

L

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

M

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

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

Mogk, Ragnar ; Drechsler, Joscha ; Salvaneschi, Guido ; Mezini, Mira (2020)
A Fault-Tolerant Programming Model for Distributed Interactive Applications.
In: Proceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA)
doi: 10.25534/tuprints-00014554
Article, Secondary publication, Publisher's Version

P

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

R

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

S

Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2020)
Language-Integrated Privacy-Aware Distributed Queries.
In: Proceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA)
doi: 10.25534/tuprints-00014553
Article, Secondary publication, Publisher's Version

Sarimbekov, Aibek ; Moret, Philippe ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira (2020)
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.
In: Electronic Notes in Theoretical Computer Science, 2020, 279 (1)
doi: 10.25534/tuprints-00014564
Article, Secondary publication, Publisher's Version

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

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

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

V

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

W

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

Wolski, André (2024)
Local-First Enterprise Applications.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00027006
Master Thesis, Primary publication, Publisher's Version