Dissertations
Software Languages Lab PhD dissertations
- Incremental Static Program Analysis through Reified Computational Dependencies
Jens Van der Plas, 2024 Download - Static Analysis for Quality Assurance of Ansible Infrastructure-as-Code Artefacts
Ruben Opdebeeck, 2024 Download - Flexible CRDTs for a Demanding World
Jim Bauwens, 2024 Download - Data Flow and Control Flow Analysis of Problematic Commits
Ward Muylaert, 2024 Download - Extracting Library Features from Incomplete Code on Stack Overflow.
Camilo Velázquez-Rodríguez, 2024 Download - DisCoPar-Kilimo: A Low-Code Development Environment Geared Towards Smart Agriculture Applications.
Isaac Nyabisa Oteyo, 2024 Download - Inter-process Concolic Testing of Full-stack JavaScript Web Applications.
Maarten Vandercammen, 2023 Download - When Sequential Code Meets Replicated Data: Programming Language Support to Simplify the Development of Correct Replicated Data Types.
Kevin De Porre, 2022 Download - A Meta-Level Architecture for Stream-Based Programming Languages and its Applications in Cyber-Physical Systems
Christophe De Troyer, 2022 Download - On the Coexistence of Reactive Code and Imperative Code in Distributed Applications: A Language Design Approach
Sam Van den Vonder, 2022 Download - A Live Debugging Approach for Big Data Processing Applications
Matteo Marra, 2022 Download - Orchestration of Actor-based Languages for Cyber-physical Systems
Humberto Rodriguez Avila, 2021 Download - Advanced Debugging Techniques to Handle Concurrency Bugs in Actor-based Applications
Carmen Torres Lopez, 2021 Download - Language-Based Security for Web Applications
Angel Luis Scull Pupo, 2021 Download - An Automated Delta-Debugging Approach to Resilience Testing of Actor Systems through Fault Injection
Jonas De Bleser, 2020. Download - Triumvirate: A Programming Language Design for Distributed Rich Internet Applications
Florian Myter, 2019 Download - Statically Checking Inter-property Constraints and its Applications in Web APIs
Nathalie Oostvogels, 2019 Download - A Distributed Logic Reactive Programming Model and its Application to Monitoring Security
Thierry Renaux, 2019 Download - A Multi-Paradigm Concurrent Programming Model
Janwillem Swalens, 2018 Download - DISCOPAR: A Visual Reactive Flow-Based Domain-Specific Language for Constructing Participatory Sensing Platforms
Jesse Zaman, 2018 Download - Reentrancy & Scoping in Rule Engines for Cloud-based Applications
Kennedy Kambona, 2018 Download - Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading
Quentin Stiévenart, 2018 Download - Using multiple Feature Models of Domains and Regulations to develop Configuration Systems
Jaime Chavarriaga, 2017 Download - A Declarative Foundation for Querying the History of Software Projects
Reinout Stevens, 2017 Download - Purity Analysis for Higher-Order Imperative Languages: An Abstract Machine Approach
Jens Nicolay, 2016 Download - Just-in-Time Data Structures: A Language Design Approach to Promote the Shift from Choosing a Single Data Structure to Choosing a Set of Data Representations
Mattias De Wael, 2016 Download - Blame Prediction: Early Detection of Type Errors in Dynamically Typed Programming Languages
Dries Harnie, 2015 Download -
A Declarative Approach for Engineering Multimodal Interaction
Lode Hoste, 2015 Download -
Domains: Language Abstractions for Controlling Shared Mutable State in Actor Systems
Joeri De Koster, 2015 Download -
Identification and Management of Inconsistencies in Dynamically Adaptive Software Systems
Nicolás Cardozo, 2013 Download -
Uniform Modularization of Workflow Concerns using Unify
Niels Joncheere, 2013 Download -
Ambient Contracts
Christophe Scholliers, 2013 Download -
Workflow Abstractions for Orchestrating Services in Nomadic Networks
Eline Philips, 2013 Download -
Supporting Concurrency Abstractions in High-level Language Virtual Machines
Stefan Marr, 2013 Download -
Reactive Method Dispatch for Context-Oriented Programming
Engineer Bainomugisha, 2012 Download -
A foundation for quantum programming and its highly-parallel virtual execution
Yves Vandriessche, 2012 Download -
Handling Partial Failures in Mobile Ad hoc Network Applications: From Programming Language Design to Tool Support
Elisa Gonzalez Boix, 2012 Download -
Supporting Integration Activities in Object-Oriented Applications
Veronica Uquillas Gomez, 2012 Download -
Ambient-Oriented Dataflow Programming for Mobile RFID-Enabled Applications
Andoni Lombide Carreton, 2011 Download -
Quantum Aspects of Cryptography: From Qutrit Symmetric Informationally Complete Projective Operator Valued Measure Key Encryption to Randomness Quality Control
Frederik Vandenberghe, 2011 -
Modularising Context Dependency and Group Behaviour in Ambient-oriented Programming
Jorge Vallejos, 2011 Download -
A non-invasive approach for evolving Model Transformation Chains
Andrés Yie, 2011 Download -
Executable Models for Extensible Workflow Engines
Mario Sánchez, 2011 Download -
Dynamic Parallelization of Recursive Code - An exploration using interpreters
Charlotte Herzeel, 2010 -
Monitoring and Analysis of Workflow Applications: A Domain-specific Language Approach
Oscar González, 2010 Download -
A Logic Meta Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs
Coen De Roover, 2009 Download -
A bottom-up approach to program variation
Peter Ebraert, 2009 Download
PROG PhD dissertations
-
On the Separation of User Interface Concerns - A Programmer's Perspective on the Modularisation of User Interface Code
Sofie Goderis, 2008
Download -
Co-Evolution of Source Code and the Build System: Impact on the Introduction of AOSD in Legacy Systems
Bram Adams, 2008
Download -
A Goal-Driven Approach for Documenting and Verifying Design Invariants
Isabel Michiels, 2007
Download -
Aspect oriented revitalisation of legacy software through logic meta-programming
Kris De Schutter, 2006
Download -
Advanced Round-Trip Engineering: An Agile Analysis-driven Approach for Dynamic Languages
Ellen Van Paesschen, 2006
Download -
A Concept-Centric Environment for Software Evolution in an Agile Context
Dirk Deridder, 2006
Download -
Move Considered Harmful: A Language Design Approach to Mobility and Distribution for Open Networks
Wolfgang De Meuter, 2004
Download -
Creation of an Intelligent Concurrency Adaptor in order to mediate the Differences between Conflicting Concurrency Interfaces
Werner Van Belle, 2003
Download -
A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation
Roel Wuyts, 2001
Download -
Automating Architectural Conformance Checking by means of Logic Meta Programming
Kim Mens, 2000
Download -
A Novel Approach to Architectural Recovery in Evolving Object-Oriented Systems
Koen De Hondt, 1998
Download -
ZYPHER - Tailorability as a Link from Object-Oriented Software Engineering to Open Hypermedia
Serge Demeyer, 1996
Download -
Open Design of Object-Oriented Languages, A Foundation for Specialisable Reflective Language Frameworks
Patrick Steyaert, 1994
Download
SSEL PhD dissertations
-
Bruno De Fraine (2009)
Language Facilities for the Deployment of Reusable Aspects.
Promoters: Prof. Dr. Viviane Jonckers and Dr. Wim Vanderperren.
Download text in pdf
-
Dennis Wagelaar (2008)
Platform Ontologies for the Model Driven Architecture.
Promoters: Prof. Dr. Viviane Jonckers and Dr. Ragnhild Van Der Straeten.
Download text in pdf
-
María Agustina Cibrán (2007)
Connecting High-Level Business Rules with Object-Oriented Applications: An approach using Aspect-Oriented Programming and Model-Drive Engineering.
Promotors: V. Jonckers and Maja D'Hondt
Download text in pdf
-
Bart Verheecke (2006)
Dynamic Integration, Composition, Selection and Management of Web Services in Service-Oriented Applications : An approach using Aspect-Oriented Programming.
Promotor: V. Jonckers
Download text in pdf
-
Ragnhild Van Der Straeten (2005)
Inconsistency Management in Model-Driven Engineering: An Approach using Description Logics.
Promotor: V. Jonckers
Download text in pdf
-
Wim Vanderperren (2004)
Combining Aspect-Oriented and Component-Based Software Engineering.
Promotor: V. Jonckers.
Download text in pdf
-
Maja D'Hondt (2004)
Hybrid Aspects for Integrating Rule-Based Knowledge and Object-Oriented Functionality.
Promotor: V. Jonckers.
Download text in pdf
-
Bart Wydaeghe (2001)
Component Composition using Composition Patterns and Scenarios.
Promotor: V. Jonckers.
Download text in pdf
-
Kurt Verschaeve (2001)
UML – SDL Round-trip Engineering through Incremental Translation of Changes.
Promotor: V. Jonckers.
Download text in pdf
-
Kamreddine Ouliddren (1998)
An Approach to Incermental Fuzzy Modelling of Dependencies in Complex Physical Systems.
Promotor: V. Jonckers, Co-Promotor: A. Nowé.
-
Ann Nowé (1994)
The synthesis of “safe” fuzzy controllers based on reinforcement learning.
Promotor: V. Jonckers.
-
Ludo Cuypers (1993)
From Specification to Implementation.
Promotor: V. Jonckers.