DistriNet PhD dissertations

2021

  • Ive Weygers (supervisors: Kurt Claeys, Hans Hallez), Inertial sensor-based joint kinematic estimation of the lower limb, Ph.D. Thesis, Doctor of Biomedical Sciences (PhD) (Leuven), KU Leuven, May 26, 2021 3439545bibtex   3439545lirias
  • Stylianos Tsampas (supervisors: Frank Piessens, Dominique Devriese), Formal Reasoning about Equivalences: from Secure Compilation to Categorical Weak Bisimulation, Ph.D. Thesis, Doctor of Engineering Science (PhD) (Leuven), KU Leuven, May 11, 2021 download0 3431528bibtex   3431528lirias
  • Emekcan Aras (supervisor: Daniel Hughes), Security and Reliability for Emerging IoT Networks, Ph.D. Thesis, Doctor of Engineering Science (PhD) (Leuven), KU Leuven, February 10, 2021 download0 3362849bibtex   3362849lirias
  • Mahmoud Ammar (supervisor: Bruno Crispo), Software-based Trusted Computing Architecture for Resource-constrained Internet of Things Devices, Ph.D. Thesis, Doctor of Engineering Science (PhD) (Leuven), KU Leuven, January 8, 2021 3344174bibtex   3344174lirias

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

  • Naeem Muhammad (supervisor: Yolande Berbers), Architecture Level Performance Modelling and Analysis Support: Parallelism Viewpoint & Composite Flow (Modelleren en analyseren van performantie op architecturaal niveau: Parrallelisme viewpoint en samengestelde flows), Ph.D. Thesis, Doctor in de ingenieurswetenschappen, KU Leuven, November 25, 2011 1655639bibtex   1655639lirias
  • Elke Steegmans (supervisors: Yolande Berbers, Tom Holvoet), Role-Based Modeling for Multi-Agent Systems (Rollen gebaseerd modelleren van Multi-Agent systemen), Ph.D. Thesis, Doctor of Engineering Science (PhD) (Leuven), KU Leuven, October 31, 2011 1655237bibtex   1655237lirias
  • Wouter Horré (supervisor: Wouter Joosen), Management Solutions for Distributed Software Applications in Multi-Purpose Sensor Networks (Beheersoplossingen voor gedistribueerde softwaretoepassingen in sensornetwerken voor meerdere doeleinden), Ph.D. Thesis, Doctor in de ingenieurswetenschappen, KU Leuven, October 26, 2011 1655716bibtex   1655716lirias
  • Maarten Bynens (supervisors: Wouter Joosen, Eddy Truyen), A System of Patterns for the Design of Reusable Aspect Libraries (Een syteem van patronen voor het ontwerp van herbruikbare bibliotheken van aspecten), Ph.D. Thesis, 140 pages, Doctor in de ingenieurswetenschappen, KU Leuven, October 5, 2011 download0 1655646bibtex   1655646lirias
  • Dimitri Van Landuyt (supervisor: Wouter Joosen), On Robust and Reusable Interfaces in Aspect-Oriented Software Architectures (Robuuste en herbruikbare interfaces in aspectgeoriënteerde architecturen), Ph.D. Thesis, 222 pages, Doctor in de ingenieurswetenschappen, KU Leuven, September 9, 2011 1655696bibtex   1655696lirias
  • Ansar-Ul-Haque Yasar (supervisor: Yolande Berbers), Context-Based Communication in Large Scale Vehicular Networks (Context-gebaseerde communicatie in grootschalige voertuigennetwerken), Ph.D. Thesis, 180 pages, Doctor in de ingenieurswetenschappen, KU Leuven, August 26, 2011 1655643bibtex   1655643lirias
  • Yves Vanrompay (supervisor: Yolande Berbers), Efficient Prediction of Future Context for Proactive Smart Systems (Efficiënte voorspelling van toekomstige context voor proactieve intelligente systemen), Ph.D. Thesis, 146 pages, Doctor in de ingenieurswetenschappen, KU Leuven, August 18, 2011 1655661bibtex   1655661lirias
  • Aram Hovsepyan (supervisors: Wouter Joosen, Yolande Berbers), An Empirical Assessment of the Maintenance Cost in Model-Driven Software Development (Een empirische beoordeling van de onderhoudskosten in modelgedreven software ontwikkeling), Ph.D. Thesis, 147 pages, Doctor in de ingenieurswetenschappen, KU Leuven, July 13, 2011 1655562bibtex   1655562lirias
  • Dries Vanoverberghe (supervisors: Frank Piessens, Wouter Joosen), New Techniques for Symbolic Execution and State Coverage (Nieuwe technieken voor symbolische uitvoering en toestandsbedekking), Ph.D. Thesis, Doctor in de ingenieurswetenschappen, KU Leuven, May 24, 2011 1655647bibtex   1655647lirias
  • Jose Proenca (supervisors: Farhad Arbab, Dave Clarke, Erik de Vink), Synchronous Coordination of Distributed Components, Ph.D. Thesis, 250 pages, May 11, 2011 download0 1911720bibtex   1911720lirias
  • Kristof Verslype (supervisor: Bart De Decker), Improving Privacy in Applications by Managing the Disclosed Personal Properties (Het verbeteren van privacy in toepassingen door het beheer van prijsgegeven persoonlijke eigenschappen), Ph.D. Thesis, 229 pages, Doctor in de ingenieurswetenschappen, KU Leuven, March 1, 2011 download0 1655596bibtex   1655596lirias
  • Tom Goovaerts (supervisor: Wouter Joosen), Distributed Authorization Middleware for Service-Oriented Architectures (Gedistribueerde autorisatiemiddleware voor service-georiënteerde architecturen), Ph.D. Thesis, Doctor in de ingenieurswetenschappen, KU Leuven, January 19, 2011 download0 1655556bibtex   1655556lirias

2010

  • Franciscus Sanen (supervisors: Wouter Joosen, Eddy Truyen), Knowledge-Driven Management of Feature Interactions in Middleware Configuration (Kennisgebaseerd beheer van interactie problemen in middleware configuratie), Ph.D. Thesis, Doctor in de ingenieurswetenschappen, KU Leuven, December 7, 2010 1655491bibtex   1655491lirias
  • Pieter Philippaerts (supervisors: Frank Piessens, Wouter Joosen), Security of Software on Mobile Devices (Beveiliging van software op mobiele toestellen), Ph.D. Thesis, 134 pages, Doctor in de ingenieurswetenschappen, KU Leuven, October 20, 2010 download0 1655490bibtex   1655490lirias
  • Bert Vanhooff (supervisor: Yolande Berbers), Loosely Coupled Transformation Chains. How to Enable Transformation Reuse with Traceability Information (Los gekoppelde transformatiekettingen. Transformatiehergebruik met behulp van traceerbaarheidsinformatie), Ph.D. Thesis, 196 pages, Doctor in de ingenieurswetenschappen, KU Leuven, April 26, 2010 1653180bibtex   1653180lirias

2009

  • Thomas Delaet (supervisor: Wouter Joosen), Improving Software and Data Management in Contemporary IT Systems (Het verbeteren van software- en gegevens-beheer in hedendaagse IT systemen), Ph.D. Thesis, 168 pages, Doctor in de ingenieurswetenschappen, KU Leuven, December 15, 2009 1652716bibtex   1652716lirias
  • Bert Lagaisse (supervisors: Wouter Joosen, Pierre Verbaeten), A Comprehensive Integration of AOSD and CBSD Concepts in Middleware (Een extensieve integratie van AOSD en CBSD concepten in middleware), Ph.D. Thesis, Doctor in de ingenieurswetenschappen, KU Leuven, December 10, 2009 1653126bibtex   1653126lirias
  • Nelis Boucké (supervisor: Tom Holvoet), Composition and Relations of Architectural Models Supported by an Architectural Description Language (Compositie en relaties voor architecturale modellen ondersteund door een architecturale beschrijvingstaal), Ph.D. Thesis, Doctor in de ingenieurswetenschappen, KU Leuven, October 23, 2009 1652517bibtex   1652517lirias
  • Davy Preuveneers (supervisor: Yolande Berbers), Support for Context-Driven Applications in Ambient Intelligence Environments (Ondersteuning voor contextgedreven applicaties in Ambient Intelligence omgevingen), Ph.D. Thesis, 260 pages, Doctor in de ingenieurswetenschappen, KU Leuven, July 1, 2009 1655238bibtex   1655238lirias
  • Jan Smans (supervisors: Frank Piessens, Dave Clarke), Specification and Automatic Verification of Frame Properties for Java-like Programs (Specificatie en automatische verificatie van frame eigenschappen voor Java-achtige programma's), Ph.D. Thesis, 144 pages, Doctor of Engineering Science (PhD) (Leuven), KU Leuven, May 26, 2009 1653193bibtex   1653193lirias
  • Adriaan Moors (supervisors: Wouter Joosen, Frank Piessens), Type Constructor Polymorphism for Scala: Theory and Practice (Type constructor polymorfisme voor Scala: theorie en praktijk), Ph.D. Thesis, Doctor in de ingenieurswetenschappen, KU Leuven, May 11, 2009 download0 1652685bibtex   1652685lirias

2008

2007

2006

2004

  • Eddy Truyen (supervisors: Wouter Joosen, Pierre Verbaeten), Dynamic and context-sensitive composition in distributed systems, Ph.D. Thesis, 318+58+xxii pages, KU Leuven, November, 2004 download0 1653267bibtex   1653267lirias
  • Elsie Van Herreweghen (supervisor: Bart De Decker), Unidentifiability and Accountability in Electronic Transactions (Niet-identificeerbaarheid en aansprakelijkheid in elektronische transacties), Ph.D. Thesis, KU Leuven, October 1, 2004 1653179bibtex   1653179lirias
  • Gregory Neven (supervisors: Frank Piessens, Bart De Decker), Provably secure identity-based identification schemes and transitive signatures, Ph.D. Thesis, 174 + xvi pages, KU Leuven, May, 2004 1652753bibtex   1652753lirias
  • Bart De Win (supervisors: Wouter Joosen, Pierre Verbaeten), Engineering application-level security through aspect-oriented software development, Ph.D. Thesis, 206+xiv pages, KU Leuven, March, 2004 1653272bibtex   1653272lirias

2003

2001

1999

  • Frank Matthijs (supervisors: Yolande Berbers, Pierre Verbaeten), Component framework technology for protocol stacks, Ph.D. Thesis, 221+vi pages, KU Leuven, December, 1999 1654915bibtex   1654915lirias
  • Bert Robben (supervisors: Pierre Verbaeten, Wouter Joosen), Language technology and metalevel architectures for distributed objects, Ph.D. Thesis, 186+vi pages, KU Leuven, May, 1999 1654916bibtex   1654916lirias

1997

  • Tom Holvoet (supervisors: Pierre Verbaeten, Marc Gobin), An approach for open concurrent software development, Ph.D. Thesis, KU Leuven, December, 1997 1653327bibtex   1653327lirias
  • Dirk Dussart (supervisors: Karel De Vlaminck, Maurice Bruynooghe, Marc Gobin), Topics in program specialization and analysis for statically typed functional languages, Ph.D. Thesis, KU Leuven, May, 1997 1654936bibtex   1654936lirias

1996

  • Frank Piessens (supervisors: Pierre Verbaeten, Eric Steegmans), Semantic data specifications: an analysis based on a categorical formalization, Ph.D. Thesis, KU Leuven, February, 1996 1653333bibtex   1653333lirias
  • Wouter Joosen (supervisor: Pierre Verbaeten), Load balancing in distributed and parallel systems, Ph.D. Thesis, KU Leuven, January, 1996 1653325bibtex   1653325lirias

1994

  • Philip Vanneste (supervisor: Bart De Decker), The Use of Reverse Engineering in Novice Program Analysis, Ph.D. Thesis, KU Leuven, June, 1994 1654926bibtex   1654926lirias

1993

  • Yu Weiha (supervisor: Pierre Verbaeten), Constructing fault-tolerant distributed applications using object-oriented techniques, Ph.D. Thesis, KU Leuven, December, 1993 1654921bibtex   1654921lirias
  • André Mariën (supervisors: Yves Willems, Bart Demoen), Improving the compilation of Prolog in the framework of the Warren Abstract Machine, Ph.D. Thesis, KU Leuven, September, 1993 1653315bibtex   1653315lirias
  • Tom Tollenaere (supervisors: Guy Orban, Bart De Decker, Dirk Roose), The simulation of entropy driven artificial neural networks on message-passing multiprocessors, Ph.D. Thesis, KU Leuven, March, 1993 1652811bibtex   1652811lirias
  • Eddy Bevers (supervisors: Joannes Lewi, Karel De Vlaminck), Automated reasoning in conditional algebraic specfications: termination and proof by consistence, Ph.D. Thesis, KU Leuven, March, 1993 1654940bibtex   1654940lirias
  • Anne De Niel (supervisor: Karel De Vlaminck), Self-applicable partial evaluation of polymorphically typed functional languages, Ph.D. Thesis, KU Leuven, January, 1993 1654938bibtex   1654938lirias

1988

  • Bart De Decker (supervisor: Pierre Verbaeten), Communication in Distributed Systems: The Hermix(co Model, Ph.D. Thesis, KU Leuven, May, 1988 1653336bibtex   1653336lirias

1987

  • Yolande Berbers (supervisor: Pierre Verbaeten), Design of the Hermix distributed operating system: strutural aspects, Ph.D. Thesis, KU Leuven, December, 1987 1653342bibtex   1653342lirias

1980

  • Karel De Vlaminck (supervisor: Joannes Lewi), Een methodologie in vertalerbouw : concepten en realisatie, Ph.D. Thesis, KU Leuven, May, 1980 1653334bibtex   1653334lirias

1976

  • Pierre Verbaeten (supervisor: Ludo Buyst), Rekursiebetrekkingen voor lineaire hypergeometrische funkties, Ph.D. Thesis, KU Leuven, March, 1976 1653316bibtex   1653316lirias