Markus Winterholer

Publication Activity (10 Years)

Years Active: 2001-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

Publications

Wesley Silva, Eduardo Augusto Bezerra, Markus Winterholer, Djones Lettnin
Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applications. LATW (2013)
Markus Winterholer
Embedded software debug and test: Needs and requirements for innovations in debugging. DATE (2011)
Markus Winterholer, Florian Schäfer
Reuse of a HW/SW coverification environment during the refinement process of a functional C model down to an executable HW/SW specification. FDL (2009)
Djones Lettnin, Markus Winterholer, Axel G. Braun, Joachim Gerlach, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Coverage Driven Verification applied to Embedded Software. ISVLSI (2007)
Markus Winterholer
Design Structure Analysis and Transaction-based Co-Verification. FDL (2006)
C. Schulz-Key, Markus Winterholer, Thomas Schweizer, Tommy Kuhn, Wolfgang Rosenstiel
Object-oriented modeling and synthesis of SystemC specifications. ASP-DAC (2004)
Tommy Kuhn, Tobias Oppold, C. Schulz-Key, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai
Object oriented hardware synthesis and verification. ISSS (2001)
Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai
A Framework for Object Oriented Hardware Specification, Verification, and Synthesis. DAC (2001)