Jens Gladigau

According to our database, Jens Gladigau authored at least 15 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

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

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

A novel model for system-level decision making with combined ASP and SMT solving.

Alexander Biewer, Jens Gladigau, Christian Haubelt

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making.

Alexander Biewer, Jens Gladigau, Christian Haubelt

Proceedings of the ARCS 2014, 2014

2012

Combining formal model-based system-level design with SystemC transaction level modeling.

Jens Gladigau

PhD thesis, 2012

Model-Based Virtual Prototype Acceleration.

Jens Gladigau, Christian Haubelt, Jürgen Teich

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

2011

Automatic generation of system-level virtual prototypes from streaming application models.

Philipp Kutzer, Jens Gladigau, Christian Haubelt, Jürgen Teich

Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011

2010

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

Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, 2010

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

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Efficient approximately-timed performance modeling for architectural exploration of MPSoCs.

Martin Streubühr, Jens Gladigau, Christian Haubelt, Jürgen Teich

Proceedings of the Forum on specification and Design Languages, 2009

2008

Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen.

Jens Gladigau, Frank Blendinger, Christian Haubelt, Jürgen Teich

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

Symbolic Scheduling of SystemC Dataflow Designs.

Jens Gladigau, Christian Haubelt, Jürgen Teich

Proceedings of the Languages for Embedded Systems and their Applications, 2008

Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models.

Jens Gladigau, Christian Haubelt, Jürgen Teich

Proceedings of the Forum on specification and Design Languages, 2008

2007

Mapping Actor-Oriented Models to TLM Architectures.

Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich

Proceedings of the Forum on specification and Design Languages, 2007