Martin Zambaldi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2003–2013
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ENTER | Time-of-Arrival Estimation in Mobile Tour Guides. | Arthur Pitman, Josef Bernhart, Christian Posch, Martin Zambaldi, Markus Zanker |
| 2004 | FDL | SystemVerilog: Interface Based Design. | Peter Jensen, Wolfgang Ecker, Thomas Kruse, Martin Zambaldi |
| 2004 | FDL | Extending the RASSP model for Verification. | Martin Zambaldi, Wolfgang Ecker |
| 2004 | FDL | The Formal Simulation Semantics of SystemVerilog. | Martin Zambaldi, Wolfgang Ecker, Thomas Kruse, Wolfgang Mller |
| 2004 | ISORC | Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking. | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi |
| 2004 | ITC | How to Bridge the Gap Between Simulationand Test. | Martin Zambaldi, Wolfgang Ecker |
| 2003 | DAC | Re-use-centric architecture for a fully accelerated testbench environment. | Renate Henftling, Andreas Zinn, Matthias Bauer, Martin Zambaldi, Wolfgang Ecker |
| 2003 | DATE | Platform-Based Testbench Generation. | Renate Henftling, Andreas Zinn, Matthias Bauer, Wolfgang Ecker, Martin Zambaldi |