See also TUBIBLIO ULB
2025
- David Richter. Functional DSL Compilers with Leightweight Proofs
2024
- Anna-Katharina Wickert. Mitigating Security Risks by Understanding Security-related API-misuses and Advancing Detection of Misuses
2023
- Dominik Helm. Modular Collaborative Program Analysis
2022
- Matthias Eichholz. Type-Safe Data Plane Programming
2021
- Michael Reif. Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software
- Ragnar Mogk. A Programming Paradigm for Reliable Applications in a Decentralized Setting
2020
- Edlira Kuci. Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking
- Ervina Cergani. Machine Learning as a Mean to Uncover Latent Knowledge from Source Code
- Leonid Glanz. Automatic Identification and Recovery of Obfuscated Android Apps
2019
- Joscha Drechsler. Concurrency and Distribution in Reactive Programming
- Oliver Bracevac. Event Correlation with Algebraic Effects - Theory, Design and Implementation
- Sylvia Grewe. Automating Type Soundness Proofs for Domain-Specific-Languages
2018
- Sven Amann. A Systematic Approach to Benchmark and Improve Automated Static Detection of Java-API Misuses
2017
- Sebastian Proksch. Enriched Event Streams: A General Platform For Empirical Studies On In-IDE Activities Of Software Developers
2016
- Ben Hermann. Full-Stack Static Security Analysis for the Java Platform
- Johannes Lerch. On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform
2015
- Jurgen Van Ham. Seamless Concurrent Programming of Objects, Aspects and Events
2014
- Mohamed_Aly. An Extension Interface Concept for Multilayered Applications
- Ralf Mitschke. Scalable Automated Incrementalization for Real-Time Static Analyses
2013
- Benjamin Schmeling. Composing Non-Functional Concerns in Web Services
- Andreas Sewe. Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine
2012
2011
- Tom Dinkelaker. Reflective Embedding of Domain-Specific Languages
- Slim Kallel. Specifying and Monitoring Non-functional Properties
2010
2009
- Christoph Bockisch. An Efficient and Flexible Implementation of Aspect-Oriented Languages
- Sven Kloppenburg. Incrementalization of Analyses for Next Generation IDEs
2008
- Michael Eichberg. Open Integrated Development and Analysis Environments
2007
2006
2005
- Vasian Cepa. Product-Line development for mobile device applications with attribute supported containers
2003
- Klaus Ostermann. Modules for Hierarchical and Crosscutting Models