Markus Winterholer

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applications.
Proceedings of the 14th Latin American Test Workshop, 2013

2011
Embedded software debug and test: Needs and requirements for innovations in debugging.
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.
Proceedings of the Forum on specification and Design Languages, 2009

2007
Coverage Driven Verification applied to Embedded Software.
Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

2006
Design Structure Analysis and Transaction-based Co-Verification.
Proceedings of the Forum on specification and Design Languages, 2006

2004
Object-oriented modeling and synthesis of SystemC specifications.
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.
Proceedings of the 14th International Symposium on Systems Synthesis, 2001

A Framework for Object Oriented Hardware Specification, Verification, and Synthesis.
Proceedings of the 38th Design Automation Conference, 2001


  Loading...