Marcelo Skaba
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2004–2007
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FMCAD | Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. | Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili |
| 2006 | FMCAD | Post-reboot Equivalence and Compositional Verification of Hardware. | Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna |
| 2004 | ICCAD | Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints. | Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna |