Software Languages Lab
Published on Software Languages Lab (http://soft.vub.ac.be/soft)

Home > Research > Dissertations

Dissertations

Software Languages Lab PhD dissertations

  • Incremental Static Program Analysis through Reified Computational Dependencies
    [1]Jens Van der Plas, 2024 Download [2]
  • Static Analysis for Quality Assurance of Ansible Infrastructure-as-Code Artefacts
    Ruben Opdebeeck, 2024 Download [3]
  • Flexible CRDTs for a Demanding World
    Jim Bauwens, 2024 Download [4]
  • Data Flow and Control Flow Analysis of Problematic Commits
    Ward Muylaert, 2024 Download [5]
  • Extracting Library Features from Incomplete Code on Stack Overflow.
    Camilo Velázquez-Rodríguez, 2024 
    Download [6]
  • DisCoPar-Kilimo: A Low-Code Development Environment Geared Towards Smart Agriculture Applications.
    Isaac Nyabisa Oteyo, 2024 Download [7]
  • Inter-process Concolic Testing of Full-stack JavaScript Web Applications.
    Maarten Vandercammen, 2023 Download [8]
  • When Sequential Code Meets Replicated Data: Programming Language Support to Simplify the Development of Correct Replicated Data Types.
    Kevin De Porre, 2022 Download [9]
  • A Meta-Level Architecture for Stream-Based Programming Languages and its Applications in Cyber-Physical Systems
    Christophe De Troyer, 2022 Download [10]
  • On the Coexistence of Reactive Code and Imperative Code in Distributed Applications: A Language Design Approach
    Sam Van den Vonder, 2022 Download [11]
  • A Live Debugging Approach for Big Data Processing Applications
    Matteo Marra, 2022 Download [12]
  • Orchestration of Actor-based Languages for Cyber-physical Systems
    Humberto Rodriguez Avila, 2021 Download [13]
  • Advanced Debugging Techniques to Handle Concurrency Bugs in Actor-based Applications
    Carmen Torres Lopez, 2021 Download [14]
  • Language-Based Security for Web Applications
    Angel Luis Scull Pupo, 2021 
    Download [15]
  • An Automated Delta-Debugging Approach to Resilience Testing of Actor Systems through Fault Injection
    Jonas De Bleser, 2020. Download [16]
  • Triumvirate: A Programming Language Design for Distributed Rich Internet Applications
    Florian Myter, 2019 Download [17]
  • Statically Checking Inter-property Constraints and its Applications in Web APIs
    Nathalie Oostvogels, 2019 Download [18] [18]
  • A Distributed Logic Reactive Programming Model and its Application to Monitoring Security
    Thierry Renaux, 2019 Download [19]
  • A Multi-Paradigm Concurrent Programming Model
    Janwillem Swalens, 2018 Download [20]
  • DISCOPAR: A Visual Reactive Flow-Based Domain-Specific Language for Constructing Participatory Sensing Platforms
    Jesse Zaman, 2018 Download [21]
  • Reentrancy & Scoping in Rule Engines for Cloud-based Applications
    Kennedy Kambona, 2018 Download [22]
  • Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading
    Quentin Stiévenart, 2018 Download [23]
  • Using multiple Feature Models of Domains and Regulations to develop Configuration Systems
    Jaime Chavarriaga, 2017 Download [24]
  • A Declarative Foundation for Querying the History of Software Projects
    Reinout Stevens, 2017 Download [25]
  • Purity Analysis for Higher-Order Imperative Languages: An Abstract Machine Approach
    Jens Nicolay, 2016 Download [26]
  • 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 [27]
  • Blame Prediction: Early Detection of Type Errors in Dynamically Typed Programming Languages
    Dries Harnie, 2015 Download [28]
  • A Declarative Approach for Engineering Multimodal Interaction
    Lode Hoste, 2015 Download [29]
  • Domains: Language Abstractions for Controlling Shared Mutable State in Actor Systems
    Joeri De Koster, 2015 Download [30]
  • Identification and Management of Inconsistencies in Dynamically Adaptive Software Systems
    Nicolás Cardozo, 2013 Download [31]
  • Uniform Modularization of Workflow Concerns using Unify
    Niels Joncheere, 2013 Download [32]
  • Ambient Contracts
    Christophe Scholliers, 2013 Download [33]
  • Workflow Abstractions for Orchestrating Services in Nomadic Networks
    Eline Philips, 2013 Download [34]
  • Supporting Concurrency Abstractions in High-level Language Virtual Machines
    Stefan Marr, 2013 Download [35]
  • Reactive Method Dispatch for Context-Oriented Programming
    Engineer Bainomugisha, 2012 Download [36]
  • A foundation for quantum programming and its highly-parallel virtual execution
    Yves Vandriessche, 2012 Download [37]
  • Handling Partial Failures in Mobile Ad hoc Network Applications: From Programming Language Design to Tool Support
    Elisa Gonzalez Boix, 2012 Download [38]
  • Supporting Integration Activities in Object-Oriented Applications
    Veronica Uquillas Gomez, 2012 Download [39]
  • Community memories for sustainable societies: The case of environmental noise
    Matthias Stevens (BrusSense [40]), 2012 Download [41] | More info [42]
  • Ambient-Oriented Dataflow Programming for Mobile RFID-Enabled Applications
    Andoni Lombide Carreton, 2011 Download [43]
  • 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 [44]
  • A non-invasive approach for evolving Model Transformation Chains
    Andrés Yie, 2011 Download [45]
  • Executable Models for Extensible Workflow Engines
    Mario Sánchez, 2011 Download [46]
  • 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 [47]
  • A Logic Meta Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs
    Coen De Roover, 2009 Download [48]
  • A bottom-up approach to program variation
    Peter Ebraert, 2009 Download [49]
 

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 [50]
  • Ambient References: Object Designation in Mobile Ad hoc Networks
    Tom Van Cutsem, 2008
    Download [51]
  • Co-Evolution of Source Code and the Build System: Impact on the Introduction of AOSD in Legacy Systems
    Bram Adams, 2008
    Download [52]
  • A Goal-Driven Approach for Documenting and Verifying Design Invariants
    Isabel Michiels, 2007
    Download [53]
  • Modularizing Language Constructs: A Reflective Approach
    Thomas Cleenewerck, 2007
    Download [54]
  • Maintaining Causality between Design Regularities and Source Code
    Andy Kellens, 2007
    Download [55]
  • Aspect oriented revitalisation of legacy software through logic meta-programming
    Kris De Schutter, 2006
    Download [56]
  • Advanced Round-Trip Engineering: An Agile Analysis-driven Approach for Dynamic Languages
    Ellen Van Paesschen, 2006
    Download [57]
  • A Concept-Centric Environment for Software Evolution in an Agile Context
    Dirk Deridder, 2006
    Download [58]
  • Ambient-Oriented Programming
    Jessie Dedecker, 2006
    Download [59]
  • Modularizing Advanced Transaction Management
    Johan Fabry, 2005
    Download [60]
  • Integrative Composition of Program Generators
    Johan Brichau, 2005
    Download [61]
  • Move Considered Harmful: A Language Design Approach to Mobility and Distribution for Open Networks
    Wolfgang De Meuter, 2004
    Download [62]
  • Progressive Mobility
    Luk Stoops, 2004
    Download [63]
  • Creation of an Intelligent Concurrency Adaptor in order to mediate the Differences between Conflicting Concurrency Interfaces
    Werner Van Belle, 2003
    Download [64]
  • Automated Support For Framework-Based Software Evolution
    Tom Tourwé, 2002
    Download [65]
  • A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation
    Roel Wuyts, 2001
    Download [66]
  • Automating Architectural Conformance Checking by means of Logic Meta Programming
    Kim Mens, 2000
    Download [67]
  • Multi-Paradigm Design
    James O. Coplien, 2000
    Download [68]
  • A Formal Foundation for Object-Oriented Software Evolution
    Tom Mens, 1999
    Download [69]
  • A Novel Approach to Architectural Recovery in Evolving Object-Oriented Systems
    Koen De Hondt, 1998
    Download [70]
  • Type-Oriented Logic Meta Programming
    Kris De Volder, 1998
    Download [71]
  • Documenting Reuse and Evolution with Reuse Contracts
    Carine Lucas, 1997
    Download [72]
  • ZYPHER - Tailorability as a Link from Object-Oriented Software Engineering to Open Hypermedia
    Serge Demeyer, 1996
    Download [73]
  • Open Design of Object-Oriented Languages, A Foundation for Specialisable Reflective Language Frameworks
    Patrick Steyaert, 1994
    Download [74]
 

SSEL PhD dissertations

  • Bruno De Fraine (2009)
    Language Facilities for the Deployment of Reusable Aspects.
    Promoters: Prof. Dr. Viviane Jonckers [75] and Dr. Wim Vanderperren [76].
    Download text in pdf [77]
  • Dennis Wagelaar (2008)
    Platform Ontologies for the Model Driven Architecture.
    Promoters: Prof. Dr. Viviane Jonckers [75] and Dr. Ragnhild Van Der Straeten [78].
    Download text in pdf [79]
  • 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 [80]
  • 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 [81]
  • Ragnhild Van Der Straeten (2005)
    Inconsistency Management in Model-Driven Engineering: An Approach using Description Logics.
    Promotor: V. Jonckers
    Download text in pdf [82]
  • Wim Vanderperren (2004)
    Combining Aspect-Oriented and Component-Based Software Engineering.
    Promotor: V. Jonckers.
    Download text in pdf [83]
  • 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 [84]
  • Kurt Verschaeve (2001)
    UML – SDL Round-trip Engineering through Incremental Translation of Changes.
    Promotor: V. Jonckers.
    Download text in pdf [85]
  • 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.

Source URL: http://soft.vub.ac.be/soft/dissertations

Links
[1] https://scholar.google.com/citations?view_op=view_citation&hl=nl&user=KDOO1T8AAAAJ&sortby=pubdate&citation_for_view=KDOO1T8AAAAJ:YsMSGLbcyi4C
[2] https://soft.vub.ac.be/Publications/2024/vub-soft-phd-20241104-Jens%20Van%20der%20Plas.pdf
[3] https://soft.vub.ac.be/Publications/2024/vub-soft-phd-25102024-rubenopdebeeck.pdf
[4] https://soft.vub.ac.be/Publications/2024/vub-soft-phd-24-08-23-Bauwens-Jim.pdf
[5] https://soft.vub.ac.be/Publications/2024/vub-soft-phd-20240422.muylaert.pdf
[6] https://soft.vub.ac.be/Publications/2024/vub-soft-phd-29-03.pdf
[7] https://soft.vub.ac.be/Publications/2024/vub-soft-phd-26-01.pdf
[8] https://soft.vub.ac.be/Publications/2023/vub-soft-phd-13-10.pdf
[9] https://soft.vub.ac.be/Publications/2022/vub-soft-phd-19-12.pdf
[10] https://soft.vub.ac.be/Publications/2022/vub-soft-phd-27-06.pdf
[11] https://soft.vub.ac.be/Publications/2022/vub-soft-phd-21-06.pdf
[12] https://soft.vub.ac.be/Publications/2022/vub-soft-phd-03-05.pdf
[13] http://soft.vub.ac.be/Publications/2021/vub-soft-phd-21-08.pdf
[14] http://soft.vub.ac.be/Publications/2021/vub-soft-phd-28-06-2021.pdf
[15] http://soft.vub.ac.be/Publications/2021/vub-soft-phd-21-06.pdf
[16] http://soft.vub.ac.be/Publications/2020/vub-soft-phd-20-01.pdf
[17] http://soft.vub.ac.be/Publications/2019/vub-soft-phd-19-03.pdf
[18] http://soft.vub.ac.be/Publications/2019/vub-soft-phd-19-02.pdf
[19] http://soft.vub.ac.be/Publications/2019/vub-soft-phd-19-01.pdf
[20] http://soft.vub.ac.be/Publications/2018/vub-soft-phd-18-04.pdf
[21] http://soft.vub.ac.be/Publications/2018/vub-soft-phd-18-03.pdf
[22] http://soft.vub.ac.be/Publications/2018/vub-soft-phd-18-02.pdf
[23] http://soft.vub.ac.be/Publications/2018/vub-soft-phd-18-01.pdf
[24] http://soft.vub.ac.be/Publications/2017/vub-soft-phd-17-02.pdf
[25] http://soft.vub.ac.be/Publications/2017/vub-soft-phd-17-01.pdf
[26] http://soft.vub.ac.be/Publications/2016/vub-soft-phd-16-02.pdf
[27] http://soft.vub.ac.be/Publications/2016/vub-soft-phd-16-01.pdf
[28] http://soft.vub.ac.be/Publications/2015/vub-soft-phd-15-03.pdf
[29] http://soft.vub.ac.be/Publications/2015/vub-soft-phd-15-02.pdf
[30] http://soft.vub.ac.be/Publications/2015/vub-soft-phd-15-01.pdf
[31] http://soft.vub.ac.be/Publications/2013/vub-soft-phd-13-05.pdf
[32] http://soft.vub.ac.be/Publications/2013/vub-soft-phd-13-04.pdf
[33] http://soft.vub.ac.be/Publications/2013/vub-soft-phd-13-03.pdf
[34] http://soft.vub.ac.be/Publications/2013/vub-soft-phd-13-02.pdf
[35] http://soft.vub.ac.be/Publications/2013/vub-soft-phd-13-01.pdf
[36] http://soft.vub.ac.be/Publications/2012/vub-soft-phd-12-04.pdf
[37] http://soft.vub.ac.be/Publications/2012/vub-soft-phd-12-05.pdf
[38] http://soft.vub.ac.be/Publications/2012/vub-soft-phd-12-03.pdf
[39] http://soft.vub.ac.be/Publications/2012/vub-soft-phd-12-02.pdf
[40] http://brussense.be
[41] http://soft.vub.ac.be/Publications/2012/vub-soft-phd-12-01.pdf
[42] http://brussense.be/phd-matthias
[43] http://soft.vub.ac.be/Publications/2011/vub-soft-phd-11-05.pdf
[44] http://soft.vub.ac.be/Publications/2011/vub-soft-phd-11-03.pdf
[45] http://soft.vub.ac.be/Publications/2011/vub-soft-phd-11-02.pdf
[46] http://soft.vub.ac.be/Publications/2011/vub-soft-phd-11-01.pdf
[47] http://soft.vub.ac.be/Publications/2010/vub-soft-phd-10-01.pdf
[48] http://soft.vub.ac.be/Publications/2009/vub-soft-phd-09-01.pdf
[49] http://soft.vub.ac.be/Publications/2009/vub-soft-phd-09-00.pdf
[50] http://prog.vub.ac.be/Publications/2008/vub-prog-phd-08-02.pdf
[51] http://prog.vub.ac.be/Publications/2008/vub-prog-phd-08-01.pdf
[52] http://users.ugent.be/%7Ebadams/publications/2008/PhD.pdf
[53] http://prog.vub.ac.be/Publications/2007/vub-prog-phd-07-03.pdf
[54] http://prog.vub.ac.be/Publications/2007/vub-prog-phd-07-02.pdf
[55] http://prog.vub.ac.be/Publications/2007/vub-prog-phd-07-01.pdf
[56] http://prog.vub.ac.be/Publications/2006/vub-prog-phd-06-04.pdf
[57] http://prog.vub.ac.be/Publications/2006/vub-prog-phd-06-03.pdf
[58] http://prog.vub.ac.be/Publications/2006/vub-prog-phd-06-02.pdf
[59] http://prog.vub.ac.be/Publications/2006/vub-prog-phd-06-01.pdf
[60] http://prog.vub.ac.be/Publications/2005/vub-prog-phd-05-02.pdf
[61] http://prog.vub.ac.be/Publications/2005/vub-prog-phd-05-01.pdf
[62] http://prog.vub.ac.be/Publications/2004/vub-prog-phd-04-02.pdf
[63] http://prog.vub.ac.be/Publications/2004/vub-prog-phd-04-01.pdf
[64] http://prog.vub.ac.be/Publications/2003/vub-prog-phd-03-01.pdf
[65] http://prog.vub.ac.be/Publications/2002/vub-prog-phd-02-01.pdf
[66] http://prog.vub.ac.be/Publications/2001/vub-prog-phd-01-01.pdf
[67] http://prog.vub.ac.be/Publications/2000/vub-prog-phd-00-02.pdf
[68] http://prog.vub.ac.be/Publications/2000/vub-prog-phd-00-01.pdf
[69] http://prog.vub.ac.be/Publications/1999/vub-prog-phd-99-01.pdf
[70] http://prog.vub.ac.be/Publications/1998/vub-prog-phd-98-02.pdf
[71] http://prog.vub.ac.be/Publications/1998/vub-prog-phd-98-01.pdf
[72] http://prog.vub.ac.be/Publications/1997/vub-prog-phd-97-01/
[73] http://prog.vub.ac.be/Publications/1996/vub-prog-phd-96-01/
[74] http://prog.vub.ac.be/Publications/1994/vub-prog-phd-94-01/
[75] https://soft.vub.ac.be/soft/members/vivianejonckers
[76] https://soft.vub.ac.be/soft/members/wimvanderperren
[77] http://ssel.vub.ac.be/research/PhD/defrainephdthesis.pdf
[78] https://soft.vub.ac.be/soft/members/ragnhildvanderstraeten
[79] http://ssel.vub.ac.be/research/PhD/wagelaarphdthesis.pdf
[80] http://ssel.vub.ac.be/Members/MariaAgustinaCibran/PhDThesis/Cibran_PhDThesis.pdf
[81] http://ssel.vub.ac.be/Members/BartVerheecke/PhDThesis/PhDVerheeckeBart.pdf
[82] http://ssel.vub.ac.be/Members/RagnhildVDS/PhDThesis/thesis.pdf
[83] http://ssel.vub.ac.be/Members/wvdperre/thesiswim.pdf
[84] http://ssel.vub.ac.be/research/PhD/PhdAcrobat.pdf
[85] http://ssel.vub.ac.be/research/PhD/uml_sdl_roundtrip.pdf