Thomas Steininger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2004–2010
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | DATE | TLM+ modeling of embedded HW/SW systems. | Wolfgang Ecker, Volkan Esen, Robert Schwencker, Thomas Steininger, Michael Velten |
| 2007 | DATE | Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance. | Wolfgang Ecker, Volkan Esen, Lars Schnberg, Thomas Steininger, Michael Velten, Michael Hull |
| 2007 | DATE | Interactive presentation: Implementation of a transaction level assertion framework in SystemC. | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull |
| 2006 | FDL | Case Study on Transaction Level Modeling. | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten |
| 2006 | FDL | IP Library For Temporal SystemC Assertions. | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit |
| 2006 | ICCD | Requirements and Concepts for Transaction Level Assertions. | Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten |
| 2004 | ISORC | Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking. | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi |
| 2004 | VLSID | Rapid Prototyping for Configurable System-on-a-Chip Platforms: A Simulation Based Approach. | Jens Bieger, Sorin A. Huss, Michael Jung, Stephan Klaus, Thomas Steininger |