Table of Contents
Thesis and Apprenticeship Proposals 2008-2009
Feel free to contact us for more information on the topics below. Note that the topics are not 100% fixed. We are always open for suggestions and are willing to tailor a proposal that matches your particular interests/background.
If you want to get a feeling of the kind of research we are involved in then take a closer look at the websites of PROG and SSEL.
Workflow Languages
- An Extensible BPMN Interpreter (Dirk Deridder - SSEL)
Programming Languages
- Help, mijn bits zijn rot! (Stijn Mostinckx, Elisa Gonzalez Boix , Tom Van Cutsem - PROG)
- Browser, wat is uw reactie daarop? (Thomas Cleenewerk, Stijn Mostinckx - PROG)
- Language Independence in Language Implementations (Thomas Cleenwerck - PROG)
- Experimenting with interactions among language constructs in LTS (Thomas Cleenwerck - PROG)
- Dynamic compilation for reflective languages (Pascal Costanza, Charlotte Herzeel))
- Safe dynamic updates through software transactions (Pascal Costanza, Charlotte Herzeel))
- Virtuele machines voor gewone stervelingen (Stijn Timbermont, Theo D'Hondt - PROG)
Parallel Programming
- Parallel Programmeren voor manycore processoren met AmbientTalk (Tom Van Cutsem - PROG, Roel Wuyts & Maja D'Hondt - IMEC)
- Parallelization of multimedia applications for embedded systems with multi-processor system on chip platforms (Tom Van Cutsem - PROG, Roel Wuyts & Maja D'Hondt - IMEC)
Model-Driven Engineering
- Variability Issues in MetaCASE Tool Development (Dirk Deridder - SSEL)
- Towards Programmable Configuration Languages for Software Product Lines (Thomas Cleenewerck - PROG)
Inconsistency Management
- An Extensible Consistency Validation Framework for Runtime Models (Dirk Deridder - SSEL and Ragnhild Van Der Straeten)
- Generating Inconsistency Resolutions using Alloy A topic suited for students Master in de Toegepaste Informatica. (Ragnhild Van Der Straeten - SSEL)
- Using Verification Algorithms and Techniques for Automated Inconsistency Resolution (Ragnhild Van Der Straeten - SSEL)