Projects

NECSIS

Network for Engineering of Complex Software Intensive Systems for Automotive Applications

2011 - ... | http://www.necsis.ca

MoVES

Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software

2007 - 2011 | http://moves.vub.ac.be

M2SOA

Formal Support for the Transformation of Software Models

2006 - 2010

adapID

advanced applications for electronic IDentity cards in Flanders

2005 - 2009 | https://www.cosic.esat.kuleuven.be/adapid

FWO-MDE

Formal Support for the Transformation of Software Models

2005 - 2009 | http://fots.ua.ac.be/research/fwo-mde.php

SERIOUS

Software Evolution, Refactoring, Improvement of Operational & Usable Systems

2005 - 2008 | http://www.hitech-projects.com/euprojects/serious

CaMpaM

Computer aided Multi-paradigm Modelling

2004 - ...

eBusiness in the pharmaceutical care sector

2004 - 2005

SVM-SCC

Software specification/synthesis using meta-modelling

2004 - ...

DEVS

Discrete EVent System Specification

2003 - ...

GRaM

Games Research at McGill

2003 - ... | http://gram.cs.mcgill.ca

ARRIBA

Architectural Resources for the Restructuring and Integration of Business Application

2002 - 2006 | http://arriba.vub.ac.be

AToM3

A Tool for Multi-formalism and Meta-Modelling

2002 - ... | http://msdl.cs.mcgill.ca/projects/projects/AToM3

FWO-REFAC

Foundations of Software Refactoring

2002 - 2006 | http://win.ua.ac.be/~lore/refactoringProject

SegraVis

Syntactic and Semantic Integration of Visual Modelling Techniques

2002 - 2006 | http://www.segravis.org