Software and Systems Modeling
A benchmark for OCL engine accuracy, determinateness, and efficiency
A graph grammar-based formal validation of object-process diagrams
Classification and trend analysis of UML books (1997–2009)
Code generation for a family of executable modelling notations
Data warehouse concepts for model artifacts?
Formal foundation of consistent EMF model transformations by algebraic graph transformation
Guest editorial to the special issue on MODELS 2008
MOOGLE: a metamodel-based model search engine
Search-based model transformation by example
Standards harmonization: theory and practice