SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. - Erik Markert; Uwe Proß; Ulrich Heinkel (FDL, 2008)

A Platform for Requirement Based Formal Specification. - Uwe Proß; Erik Markert; Jan Langer; Andreas Richter; Chris Drechsler; Ulrich Heinkel (FDL, 2008)

Modellierung dynamisch partieller Rekonfiguration mit VPRS. - Uwe Proß; Christian Adam; Benjamin Berger; Ulrich Heinkel (MBMV, 2009)

An in-band reconfigurable network node based on a heterogeneous platform. - Erik Markert; Enrico Billich; Claudia Tischendorf; Uwe Proß; Thilo Leibelt; Ulrich Heinkel; Joachim Knäblein; Axel Schneider (DASIP, 2010)

Demonstration of an in-band reconfiguration data distribution and network node reconfiguration. - Uwe Proß; Sebastian Goller; Erik Markert; Michael Jüttner; Jan Langer; Ulrich Heinkel; Joachim Knäblein; Axel Schneider (DATE, 2010)

Abhängigkeitsanalyse und Parameterberechnung auf Spezifikationsebene. - Uwe Proß; Karl Kröber; Ulrich Heinkel (MBMV, 2010)