8
Publications
238
Citations
8
H-Index
2004
Active since
Thomas Steininger is an author at Technical University of Darmstadt specializing in computer science, systems engineering, and computer engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringComputer EngineeringComputer ArchitectureFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware Testing
Publications per year
2004–2019
8
8
Requirements and Concepts for Transaction Level Assertions
Wolfgang Ecker, Volkan Esen, Thomas Steininger et al. · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 2006 · 28 citations
Hardware Modeling, Engineering, Hardware Verification Language +24
Rows per page
1–5 of 8