Martin Zambaldi
According to our database1,
Martin Zambaldi
authored at least 14 papers
between 2002 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
2002
2004
2006
2008
2010
2012
0
1
2
3
4
5
6
7
8
1
1
1
6
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
Proceedings of the Information and Communication Technologies in Tourism 2013, 2013
2008
Concepts for the development of a generic multi-level testbench covering different areas of application.
PhD thesis, 2008
2004
IEEE Des. Test Comput., 2004
Ein orthogonales Schema für die Klassifikation der Modellierungsabstraktion von digitalen Systemen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004
Proceedings of the Proceedings 2004 International Test Conference (ITC 2004), 2004
Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004
Proceedings of the Forum on specification and Design Languages, 2004
Proceedings of the Forum on specification and Design Languages, 2004
Proceedings of the Forum on specification and Design Languages, 2004
2003
An Enhanced Environment for Multi-Level Simulation.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003
An Approach for Mixed Coarse-Granular and Fine-Granular Re-Configurable Architectures.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of the 40th Design Automation Conference, 2003
2002
Informationstechnik Tech. Inform., 2002