Jens Gladigau

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