A Framework for Object Oriented Hardware Specification, Verification, and Synthesis. - Tommy Kuhn; Tobias Oppold; Markus Winterholer; Wolfgang Rosenstiel; Mark Edwards; Yaron Kashai (DAC, 2001)

Object oriented hardware synthesis and verification. - Tommy Kuhn; Tobias Oppold; C. Schulz-Key; Markus Winterholer; Wolfgang Rosenstiel; Mark Edwards; Yaron Kashai (ISSS, 2001)

Object-oriented modeling and synthesis of SystemC specifications. - C. Schulz-Key; Markus Winterholer; Thomas Schweizer; Tommy Kuhn; Wolfgang Rosenstiel (ASP-DAC, 2004)

Design Structure Analysis and Transaction-based Co-Verification. - Markus Winterholer (FDL, 2006)

Coverage Driven Verification applied to Embedded Software. - Djones Lettnin; Markus Winterholer; Axel G. Braun; Joachim Gerlach; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (ISVLSI, 2007)

Reuse of a HW/SW coverification environment during the refinement process of a functional C model down to an executable HW/SW specification. - Markus Winterholer; Florian Schäfer 001 (FDL, 2009)

Embedded software debug and test: Needs and requirements for innovations in debugging. - Markus Winterholer (DATE, 2011)

Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applications. - Wesley Silva; Eduardo Augusto Bezerra; Markus Winterholer; Djones Lettnin (LATW, 2013)