Automated Conversion of SystemC Fixed-Point Data Types for Hardware Synthesis. - Axel G. Braun; Jan B. Freuer; Joachim Gerlach; Wolfgang Rosenstiel (VLSI-SOC, 2003)

On the Verification of High-Order Constraint Compliance in IC Design. - Jan B. Freuer; Göran Jerke; Joachim Gerlach; Wolfgang Nebel (DATE, 2008)

Automatic Transformation of System Models in Automotive Electronics. - Ralph Görgen; Jan-Hendrik Oetjens; Jan B. Freuer; Wolfgang Nebel (IESS, 2009)