Checking temporal properties in SystemC specifications. - Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel (HLDVT, 2002)

Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1. - Axel G. Braun; Thorsten Schubert; Martin Stark; Karsten Haug; Joachim Gerlach; Wolfgang Rosenstiel (FDL, 2003)

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

Automated Conversion of SystemC Fixed-Point Data Types. - Axel G. Braun; Djones Lettnin; Joachim Gerlach; Wolfgang Rosenstiel (VLSI-SoC (Selected Papers), 2003)

Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks. - Djones Lettnin; Axel G. Braun; Martin Bogdan; Joachim Gerlach; Wolfgang Rosenstiel (DATE, 2004)

SystemC-Based Communication and Performance Analysis. - Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel; Axel Siebenborn; Oliver Bringmann 001 (FDL, 2005)

Coverage Driven Verification applied to Embedded Software. - Djones Lettnin; Markus Winterholer; Axel G. Braun; Joachim Gerlach; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (ISVLSI, 2007)

Eine SystemC-basierte Heuristik zur Performanzoptimierung datenflussorientierter Applikationen. - Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel (MBMV, 2007)

Semiformal Verification of Temporal Properties in Embedded Software. - Djones Lettnin; Pradeep Kumar Nalla; Jürgen Ruf; Roland J. Weiss; Axel G. Braun; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2007)

Simulative Analyse und Bewertung des Performanzverhaltens von System-on-Chip-Entwürfen auf der Grundlage von abstrakten SystemC-Modellen. - Axel G. Braun (2008)

Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation. - Matthias Müller 004; Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel; Dennis Nienhüser; Johann Marius Zöllner; Oliver Bringmann 001 (DATE, 2010)

SystemC-based Performance Optimization in Embedded System Design: A Synthetic-Aperture-Radar (SAR) Case Study. - Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel (MBMV, 2011)

Ein template-basierter Ansatz zur automatisierten Generierung von SystemC-Modellen aus IP-XACT-Beschreibungen. - Stefan Müller; Yumin Zhou; Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel (MBMV, 2013)