Markus Winterholer

According to our database, Markus Winterholer authored at least 8 papers between 2001 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

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

Proceedings of the 14th Latin American Test Workshop, 2013

2011

Embedded software debug and test: Needs and requirements for innovations in debugging.

Markus Winterholer

Proceedings of the Design, Automation and Test in Europe, 2011

2009

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

Proceedings of the Forum on specification and Design Languages, 2009

2007

Coverage Driven Verification applied to Embedded Software.

Djones Lettnin, Markus Winterholer, Axel G. Braun, Joachim Gerlach, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

2006

Design Structure Analysis and Transaction-based Co-Verification.

Markus Winterholer

Proceedings of the Forum on specification and Design Languages, 2006

2004

Object-oriented modeling and synthesis of SystemC specifications.

C. Schulz-Key, Markus Winterholer, Thomas Schweizer, Tommy Kuhn, Wolfgang Rosenstiel

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2001

Object oriented hardware synthesis and verification.

Tommy Kuhn, Tobias Oppold, C. Schulz-Key, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

A Framework for Object Oriented Hardware Specification, Verification, and Synthesis.

Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai

Proceedings of the 38th Design Automation Conference, 2001