Jens Gladigau

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 0

Top Venues

DATE

ARCS Workshops

MBMV

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

University of Erlangen-Nuremberg (PHD)

Education History

University of Erlangen-Nuremberg

PHD

Publications

Alexander Biewer, Peter Munk, Jens Gladigau, Christian Haubelt
On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems. MBMV (2015)
Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. DATE (2015)
Alexander Biewer, Jens Gladigau, Christian Haubelt
Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making. ARCS Workshops (2014)
Alexander Biewer, Jens Gladigau, Christian Haubelt
A novel model for system-level decision making with combined ASP and SMT solving. DATE (2014)
Jens Gladigau, Christian Haubelt, Jürgen Teich
Model-Based Virtual Prototype Acceleration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (10) (2012)
Philipp Kutzer, Jens Gladigau, Christian Haubelt, Jürgen Teich
Automatic generation of system-level virtual prototypes from streaming application models. International Symposium on Rapid System Prototyping (2011)
Jens Gladigau, Andreas Gerstlauer, Christian Haubelt, Martin Streubühr, Jürgen Teich
A system-level synthesis approach from formal application models to generic bus-based MPSoCs. ICSAMOS (2010)
Joachim Keinert, Martin Streubühr, Thomas Schlichter, Joachim Falk, Jens Gladigau, Christian Haubelt, Jürgen Teich, Michael Meredith
SystemCoDesigner - an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications. ACM Trans. Design Autom. Electr. Syst. 14 (1) (2009)
Martin Streubühr, Jens Gladigau, Christian Haubelt, Jürgen Teich
Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. FDL (2009)
Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein, Michael Lindig
Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. MBMV (2009)
Jens Gladigau, Christian Haubelt, Jürgen Teich
Symbolic Scheduling of SystemC Dataflow Designs. FDL (Selected Papers) (2008)
Jens Gladigau, Christian Haubelt, Jürgen Teich
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. FDL (2008)
Jens Gladigau, Frank Blendinger, Christian Haubelt, Jürgen Teich
Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. MBMV (2008)
Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich
Mapping Actor-Oriented Models to TLM Architectures. FDL (2007)

Jens Gladigau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jens Gladigau