DEMOS: a tool for declarative executable modeling of object-based systems. - Christian Glodt; Pierre Kelsen (OOPSLA Companion, 2006)

DEMOCLES: a tool for executable modeling of platform-independent systems. - Christian Glodt; Pierre Kelsen; Elke Pulvermüller (OOPSLA Companion, 2007)

Specifying Executable Platform-Independent Models using OCL. - Pierre Kelsen; Elke Pulvermüller; Christian Glodt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

From platform-independent to platform-specific models using democles. - Christian Glodt; Pierre Kelsen; Nuno Amálio; Qin Ma 002 (OOPSLA Companion, 2009)

Using VCL as an Aspect-Oriented Approach to Requirements Modelling. - Nuno Amálio; Pierre Kelsen; Qin Ma 002; Christian Glodt (LNCS Trans. Aspect Oriented Softw. Dev., 2010)

Models within Models: Taming Model Complexity Using the Sub-model Lattice. - Pierre Kelsen; Qin Ma 002; Christian Glodt (FASE, 2011)

Building VCL Models and Automatically Generating Z Specifications from Them. - Nuno Amálio; Christian Glodt; Pierre Kelsen (FM, 2011)

Platform-Variant Applications from Platform-Independent Models via Templates. - Nuno Amálio; Christian Glodt; Frederico Pinto; Pierre Kelsen (WGT@ETAPS, 2011)

Combining Models with Code: A Tale of Two Languages. - Qin Ma 002; Sam Schmit; Christian Glodt; Pierre Kelsen (ICGSE Workshops, 2014)

Designing languages using lightning. - Loïc Gammaitoni; Pierre Kelsen; Christian Glodt (SLE, 2015)

A tool for visual and formal modelling of software designs. - Nuno Amálio; Christian Glodt (Sci. Comput. Program., 2015)

A generic model decomposition technique and its application to the Eclipse modeling framework. - Qin Ma 002; Pierre Kelsen; Christian Glodt (Softw. Syst. Model., 2015)

A Lightweight Modeling Approach Based on Functional Decomposition. - Pierre Kelsen; Qin Ma 002; Christian Glodt (J. Object Technol., 2020)