Eitan Marcus
According to our database1,
Eitan Marcus
authored at least 10 papers
between 2001 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the Hardware and Software: Verification and Testing, 2014
2010
Ontology-Based Tools in the Service of Hardware Verification.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010
2006
Proceedings of the Proceedings, 2006
2004
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.
IEEE Des. Test Comput., 2004
Proceedings of the 41th Design Automation Conference, 2004
2002
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002
Proceedings of the 39th Design Automation Conference, 2002
2001
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001