Identifying composite crosscutting concerns through semi-supervised learning.
Drawing non-layered tidy trees in linear time.
Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation.
A visual language-based system for extraction-transformation-loading development.
Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives.
The use of mTags for mandatory security: a case study.