4
Publications
83
Citations
4
H-Index
2001
Active since
Affiliations
Markus Winterholer is an author at University of Tübingen specializing in program analysis, computer engineering, and formal verification.
Top concepts
EngineeringFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringComputer ArchitectureVerificationSoftware Design
Publications per year
2001–2007
4
4
A framework for object oriented hardware specification, verification, and synthesis
Tommy Kuhn, Tobias Oppold, Markus Winterholer et al. · 2001 · 28 citations
Coverage Driven Verification applied to Embedded Software
Djones Lettnin, Markus Winterholer, Axel Braun et al. · 2007 · 14 citations
Engineering, Hardware Verification Language, Verification +21
Object oriented hardware synthesis and verification
Tommy Kuhn, Tobias Oppold, C. Schulz-Key et al. · 2001 · 11 citations
Hardware Modeling, Engineering, Hardware Verification Language +22
Rows per page
1–4 of 4