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
Marcel Bruch. IDE 2.0: Leveraging the Wisdom of the Software Engineering Crowds
2011
Tom Dinkelaker. Reflective Embedding of Domain-Specific Languages
Slim Kallel. Specifying and Monitoring Non-functional Properties
2010
Vaidas Gasiunas. Advanced Object-Oriented Language Mechanisms for Variability Management
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
Anis Charfi. Aspect-Oriented Workflow Languages: AO4BPEL and Applications
2006
Michael Haupt. Virtual Machine Support for Aspect-Oriented Programming Languages
2005
Vasian Cepa. Product-Line development for mobile device applications with attribute supported containers
2003
Klaus Ostermann. Modules for Hierarchical and Crosscutting Models