| 2015 | DATE | 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 |
| 2014 | DATE | A novel model for system-level decision making with combined ASP and SMT solving. | Alexander Biewer, Jens Gladigau, Christian Haubelt |
| 2011 | RSP | Automatic generation of system-level virtual prototypes from streaming application models. | Philipp Kutzer, Jens Gladigau, Christian Haubelt, Jrgen Teich |
| 2009 | FDL | Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. | Martin Streubhr, Jens Gladigau, Christian Haubelt, Jrgen Teich |
| 2008 | FDL | Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. | Jens Gladigau, Christian Haubelt, Jrgen Teich |
| 2008 | FDL | Symbolic Scheduling of SystemC Dataflow Designs. | Jens Gladigau, Christian Haubelt, Jrgen Teich |
| 2007 | FDL | Mapping Actor-Oriented Models to TLM Architectures. | Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jrgen Teich |