Synthesis of reversible circuits with minimal lines for large functions. - Mathias Soeken; Robert Wille; Christoph Hilken; Nils Przigoda; Rolf Drechsler (ASP-DAC, 2012)

Verifying consistency between activity diagrams and their corresponding OCL contracts. - Christoph Hilken; Julia Seiter 002; Robert Wille; Ulrich Kühne; Rolf Drechsler (FDL, 2014)

Checking concurrent behavior in UML/OCL models. - Nils Przigoda; Christoph Hilken; Robert Wille; Jan Peleska 001; Rolf Drechsler (MoDELS, 2015)

A Unified Formulation of Behavioral Semantics for SysML Models. - Christoph Hilken; Jan Peleska 001; Robert Wille (MODELSWARD, 2015)

Model-Based Testing Against Complex SysML Models. - Christoph Hilken; Jan Peleska 001 (SyDe Summer School, 2015)