DistriNet PhD dissertations

2012

• Christophe Huygens , Supporting heterogeneity of stakeholders in low-resource systems. , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March,2012.
• Bartosz Michalik , Issues in Software Architecture: Online Updates and Architectural Evaluation , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 2012.
• Robrecht Haesevoets , "Macodo: Architecture-Centric Support for Dynamic Service Collaborations" , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 2012.
• Koen Buyens , Analyzing software architectures for least privilege violations , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January, 2012.

2011

• Naeem Muhammad , Level Modelling and Analysis Support for Software Performance: Parallelism Viewpoint and Composite Flows , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 2011.
• Elke Steegmans , Role-based modelling for multi-agent systems , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October, 2011.
• Wouter Horré , Management solutions for distributed software applications in multi-purpose sensor networks , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October, 2011.
• Maarten Bynens , A System of Patterns for the Design of Reusable Aspect Libraries , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October, 2011.
• Dimitri Van Landuyt , On Robust and Reusable Interfaces in Aspect-Oriented Software Architectures , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September, 2011.
• Ansar-Ul-Haque Yasar , Context-based Communication in Large Scale Vehicular Networks , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August, 2011.
• Yves Vanrompay , Efficient Prediction of Future Context for Proactive Smart Systems , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August, 2011.
• Aram Hovsepyan , An Empirical Assessment of the Maintenance Cost in Model-Driven Software Development , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July, 2011.
• Dries Vanoverberghe , New techniques for symbolic execution and state coverage , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 2011.
• Kristof Verslype , Improving Privacy in Applications by Managing the Disclosed Personal Properties. , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March, 2011.
• Tom Goovaerts , Distributed authorization middleware for service-oriented architectures , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, januari, 2011.

2010

• Frans Sanen , Knowledge-driven management of feature interactions in middleware configuration , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 2010.
• Pieter Philippaerts , Security of software on mobile devices. , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November, 2010.
• Bert Vanhooff , Loosely Coupled Transformation Chains , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April, 2010.

2009

• Bert Lagaisse , A Comprehensive Integration of AOSD and CBSD concepts in Middleware , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 2009.
• Thomas Delaet , On Managing Computer Infrastructures , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 2009.
• Nelis Boucké , Relations and Compositions of Architectural Models , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October, 2009.
• Davy Preuveneers , Support for context-driven applications in Ambient Intelligence environments , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July, 2009.
• Jan Smans , Specification and Automatic Verification of Frame Properties for Java-like Programs datum , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 2009.
• Adriaan Moors , Type Constructor Polymorphism for Scala: Theory and Practice , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 2009.

2008

• Yves Younan , Efficient countermeasures for software vulnerabilities due to memory management errors in unsafe programming languages , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 2008, 141 + xvi pages.
• Kris Verlaenen , Middleware for Advanced Service Configuration: a Policy-Based Approach , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March, 2008, 152 + xxvi pages.

2007

• Marko van Dooren , Abstractions for improving, creating, and reusing object-oriented programming languages , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June, 2007, 238 + xxviii pages.
• Alexander Helleboogh , Simulation of distributed control applications in dynamic environments , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 2007, 169 + xxxi pages.
• Tom De Wolf , Analysing and engineering self-organising emergent applications , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 2007, 183 + xxx pages.
• Stefan Van Baelen , A constraint-centric approach for object-oriented conceptual modelling , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 2007, 235 + xvii pages.
• Yves Vandewoude , Dynamically updating component-oriented systems , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March, 2007, 237 + xviii pages.
• Tine Verhanneman , Uniform and modular access control for software applications , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March, 2007, 144 + xxxiv pages.
• Andrew Wils , An architecture-centric approach for developing timing-driven self-adaptive software systems , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March, 2007, 148 + xxix pages.
• Bart Jacobs , A statistically verifiable programming model for concurrent object-oriented programs , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 2007, 135 + vi pages.
• Lieven Desmet , Static and dynamic verification of indirect data sharing in component-based applications , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January, 2007, 119 + xxv pages.

2006

• Nico Janssens , Dynamic software reconfiguration in programmable networks , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 2006, 302 + xxiv pages.
• Koenraad Mertens , An ant-based approach for solving dynamic constraint optimization problems , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 2006, 238+xviii pages.
• Kurt Schelfthout , Supporting coordination in mobile networks: A middleware approach , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November, 2006, 201+viii pages.
• Peter Rigole , Task- and resource-aware component deployment in abient intelligence environments , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November, 2006, 242 + xxviii pages.
• Danny Weyns , An architecture-centric approach for software engineering with situated multiagent systems , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October, 2006, 304+x pages.
• Tom Mahieu , Mobile sessions in heterogeneous networks , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September, 2006, 202 + xxviii pages.
• Chris Vanden Berghe , Pragmatic countermeasures for implementation-related vulnerabilities in Web applications , .
• Vincent Naessens , A methodology for anonymity control in electronic services using credentials , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June, 2006, 207+xii pages.

2004

• Eddy Truyen , Dynamic and context-sensitive composition in distributed systems , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November, 2004, 318+58+xxii pages.
• Els Van Herreweghen , Unidentifiability and accountability in electronic transactions , .
• Gregory Neven , Provably secure identity-based identification schemes and transitive signatures , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 2004, 174 + xvi pages.
• Bart De Win , Engineering application-level security through aspect-oriented software development , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March, 2004, 206+xiv pages.

2003

• Sam Michiels , Component framework technology for adaptable and manageable protocol stacks , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November, 2003, 189 + xxix pages.

1999

• Frank Matthijs , Component framework technology for protocol stacks , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1999, 221+vi pages.
• Bert Robben , Language technology and metalevel architectures for distributed objects , .

1997

• Tom Holvoet , An approach for open concurrent software development , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1997, Pages: 235.
• Dirk Dussart , Topics in program specialization and analysis for statically typed functional languages , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1997.

1996

• Frank Piessens , Semantic data specifications: an analysis based on a categorical formalization , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1996, Pages: 176.
• Wouter Joosen , Load balancing in distributed and parallel systems , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January, 1996, Pages: 266.

1993

• André Mariën , Improving the compilation of Prolog in the framework of the Warren Abstract Machine , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September, 1993, Pages: 270.

1988

• Bart De Decker , Communication in Distributed Systems: The Hermix(co Model) , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1988, Pages:363.

1987

• Yolande Berbers , Design of the Hermix distributed operating system: strutural aspects , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1987, Pages: 201.

1980

• Karel De Vlaminck , Een methodologie in vertalerbouw : concepten en realisatie , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1980, Pages: 191.

1976

• Pierre Verbaeten , Rekursiebetrekkingen voor lineaire hypergeometrische funkties , Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March, 1976, Pages: 239.