Thomas Steininger

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Wolfgang Ecker, Volkan Esen, Rainer Findenig, Thomas Steininger, Michael Velten
Model reduction techniques for the formal verification of hardware dependent software. HLDVT (2010)
Wolfgang Ecker, Volkan Esen, Robert Schwencker, Thomas Steininger, Michael Velten
TLM+ modeling of embedded HW/SW systems. DATE (2010)
Wolfgang Ecker, Volkan Esen, Lars Schönberg, Thomas Steininger, Michael Velten, Michael Hull
Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance. DATE (2007)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten
Requirements and Concepts for Transaction Level Assertion Refinement. IESS (2007)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull
Interactive presentation: Implementation of a transaction level assertion framework in SystemC. DATE (2007)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit
IP Library For Temporal SystemC Assertions. FDL (2006)
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten
Requirements and Concepts for Transaction Level Assertions. ICCD (2006)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten
Case Study on Transaction Level Modeling. FDL (2006)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull
Specification Language for Transaction Level Assertions. HLDVT (2006)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi
Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking. ISORC (2004)
Jens Bieger, Sorin A. Huss, Michael Jung, Stephan Klaus, Thomas Steininger
Rapid Prototyping for Configurable System-on-a-Chip Platforms: A Simulation Based Approach. VLSI Design (2004)

Thomas Steininger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Thomas Steininger