The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jens Gladigau" ( http://dblp.L3S.de/Authors/Jens_Gladigau )

  Author page on DBLP  Author page in RDF  Community of Jens Gladigau in ASPL-2

Publication years (Num. hits)
2007-2015 (15)
Publication types (Num. hits)
article(2) inproceedings(12) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Alexander Biewer, Peter Munk, Jens Gladigau, Christian Haubelt On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Alexander Biewer, Jens Gladigau, Christian Haubelt A novel model for system-level decision making with combined ASP and SMT solving. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Biewer, Jens Gladigau, Christian Haubelt Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making. Search on Bibsonomy ARCS Workshops The full citation details ... 2014 DBLP  BibTeX  RDF
1Jens Gladigau, Christian Haubelt, Jürgen Teich Model-Based Virtual Prototype Acceleration. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jens Gladigau Combining formal model-based system-level design with SystemC transaction level modeling. Search on Bibsonomy 2012   RDF
1Philipp Kutzer, Jens Gladigau, Christian Haubelt, Jürgen Teich Automatic generation of system-level virtual prototypes from streaming application models. Search on Bibsonomy International Symposium on Rapid System Prototyping The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jens 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. Search on Bibsonomy ICSAMOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joachim 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. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF System design, hardware/software codesign
1Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein, Michael Lindig Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
1Martin Streubühr, Jens Gladigau, Christian Haubelt, Jürgen Teich Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. Search on Bibsonomy FDL The full citation details ... 2009 DBLP  BibTeX  RDF
1Jens Gladigau, Frank Blendinger, Christian Haubelt, Jürgen Teich Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. Search on Bibsonomy MBMV The full citation details ... 2008 DBLP  BibTeX  RDF
1Jens Gladigau, Christian Haubelt, Jürgen Teich Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. Search on Bibsonomy FDL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jens Gladigau, Christian Haubelt, Jürgen Teich Symbolic Scheduling of SystemC Dataflow Designs. Search on Bibsonomy FDL (Selected Papers) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jens Gladigau, Christian Haubelt, Bernhard Niemann, Jürgen Teich Mapping Actor-Oriented Models to TLM Architectures. Search on Bibsonomy FDL The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license