Martin Zambaldi

According to our database, Martin Zambaldi authored at least 14 papers between 2002 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Time-of-Arrival Estimation in Mobile Tour Guides.

Arthur Pitman, Josef Bernhart, Christian Posch, Martin Zambaldi, Markus Zanker

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.

Martin Zambaldi

PhD thesis, 2008

2004

A Layered Adaptive Verification Platform for Simulation, Test, and Emulation.

Martin Zambaldi, Wolfgang Ecker, Renate Henftling, Matthias Bauer

IEEE Des. Test Comput., 2004

Ein orthogonales Schema für die Klassifikation der Modellierungsabstraktion von digitalen Systemen.

Martin Zambaldi, Wolfgang Ecker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

How to Bridge the Gap Between Simulationand Test.

Martin Zambaldi, Wolfgang Ecker

Proceedings of the Proceedings 2004 International Test Conference (ITC 2004), 2004

Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking.

Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

The Formal Simulation Semantics of SystemVerilog.

Martin Zambaldi, Wolfgang Ecker, Thomas Kruse, Wolfgang Müller

Proceedings of the Forum on specification and Design Languages, 2004

Extending the RASSP model for Verification.

Martin Zambaldi, Wolfgang Ecker

Proceedings of the Forum on specification and Design Languages, 2004

SystemVerilog: Interface Based Design.

Peter Jensen, Wolfgang Ecker, Thomas Kruse, Martin Zambaldi

Proceedings of the Forum on specification and Design Languages, 2004

2003

An Enhanced Environment for Multi-Level Simulation.

Martin Zambaldi, Matthias Bauer, Wolfgang Ecker, Renate Henftling, Andreas Zinn

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.

Renate Henftling, Wolfgang Ecker, Andreas Zinn, Martin Zambaldi, Matthias Bauer

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Platform-Based Testbench Generation.

Renate Henftling, Andreas Zinn, Matthias Bauer, Wolfgang Ecker, Martin Zambaldi

Proceedings of the 2003 Design, 2003

Re-use-centric architecture for a fully accelerated testbench environment.

Renate Henftling, Andreas Zinn, Matthias Bauer, Martin Zambaldi, Wolfgang Ecker

Proceedings of the 40th Design Automation Conference, 2003

2002

Verifikation und Wiederverwendung (Verification and Re-Use).

Matthias Bauer, Wolfgang Ecker, Renate Henftling, Martin Zambaldi, Andreas Zinn

Informationstechnik Tech. Inform., 2002