Mapping Actor-Oriented Models to TLM Architectures. - Jens Gladigau; Christian Haubelt; Bernhard Niemann; Jürgen Teich (FDL, 2007)

Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. - Jens Gladigau; Christian Haubelt; Jürgen Teich (FDL, 2008)

Symbolic Scheduling of SystemC Dataflow Designs. - Jens Gladigau; Christian Haubelt; Jürgen Teich (FDL (Selected Papers), 2008)

Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. - Jens Gladigau; Frank Blendinger; Christian Haubelt; Jürgen Teich (MBMV, 2008)

Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. - Martin Streubühr; Jens Gladigau; Christian Haubelt; Jürgen Teich (FDL, 2009)

Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. - Jens Gladigau; Christian Haubelt; Martin Streubühr; Jürgen Teich; Axel Schneider; Joachim Knäblein; Michael Lindig (MBMV, 2009)

SystemCoDesigner - an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications. - Joachim Keinert; Martin Streubühr; Thomas Schlichter; Joachim Falk; Jens Gladigau; Christian Haubelt; Jürgen Teich; Michael Meredith (ACM Trans. Design Autom. Electr. Syst., 2009)

A system-level synthesis approach from formal application models to generic bus-based MPSoCs. - Jens Gladigau; Andreas Gerstlauer; Christian Haubelt; Martin Streubühr; Jürgen Teich (ICSAMOS, 2010)

Automatic generation of system-level virtual prototypes from streaming application models. - Philipp Kutzer; Jens Gladigau; Christian Haubelt; Jürgen Teich (International Symposium on Rapid System Prototyping, 2011)

Model-Based Virtual Prototype Acceleration. - Jens Gladigau; Christian Haubelt; Jürgen Teich (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Combining formal model-based system-level design with SystemC transaction level modeling. - Jens Gladigau (2012)

Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making. - Alexander Biewer; Jens Gladigau; Christian Haubelt (ARCS Workshops, 2014)

A novel model for system-level decision making with combined ASP and SMT solving. - Alexander Biewer; Jens Gladigau; Christian Haubelt (DATE, 2014)

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. - Alexander Biewer; Benjamin Andres; Jens Gladigau; Torsten Schaub; Christian Haubelt (DATE, 2015)

On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems. - Alexander Biewer; Peter Munk; Jens Gladigau; Christian Haubelt (MBMV, 2015)