dblp.uni-trier.dewww.uni-trier.de

Markus Winterholer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EEDjones Lettnin, Markus Winterholer, Axel G. Braun, Joachim Gerlach, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Coverage Driven Verification applied to Embedded Software. ISVLSI 2007: 159-164
2006
4EEMarkus Winterholer: Design Structure Analysis and Transaction-based Co-Verification. FDL 2006: 215-222
2004
3EEC. Schulz-Key, Markus Winterholer, Thomas Schweizer, Tommy Kuhn, Wolfgang Rosenstiel: Object-oriented modeling and synthesis of SystemC specifications. ASP-DAC 2004: 238-243
2001
2EETommy Kuhn, Tobias Oppold, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai: A Framework for Object Oriented Hardware Specification, Verification, and Synthesis. DAC 2001: 413-418
1 Tommy Kuhn, Tobias Oppold, C. Schulz-Key, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai: Object oriented hardware synthesis and verification. ISSS 2001: 189-194

Coauthor Index

1Axel G. Braun [5]
2Mark Edwards [1] [2]
3Joachim Gerlach [5]
4Yaron Kashai [1] [2]
5Thomas Kropf [5]
6Tommy Kuhn [1] [2] [3]
7Djones Lettnin [5]
8Tobias Oppold [1] [2]
9Wolfgang Rosenstiel [1] [2] [3] [5]
10Jürgen Ruf [5]
11C. Schulz-Key [1] [3]
12Thomas Schweizer [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)