Markus Winterholer
According to our database1,
Markus Winterholer
authored at least 8 papers
between 2001 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007
2006
Proceedings of the Forum on specification and Design Languages, 2006
2004
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004
2001
Proceedings of the 14th International Symposium on Systems Synthesis, 2001
Proceedings of the 38th Design Automation Conference, 2001