Multiple clock domain synchronization in a QBF-based verification environment. - Djordje Maksimovic; Bao Le; Andreas G. Veneris (ICCAD, 2014)

FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction. - Andrew Becker; Djordje Maksimovic; David Novo; Mohsen Ewaida; Andreas G. Veneris; Barbara Jobstmann; Paolo Ienne (Haifa Verification Conference, 2015)

Clustering-based revision debug in regression verification. - Djordje Maksimovic; Andreas G. Veneris; Zissis Poulos (ICCD, 2015)

Constructing stability-based clock gating with hierarchical clustering. - Bao Le; Djordje Maksimovic; Dipanjan Sengupta; Erhan Ergin; Ryan Berryhill; Andreas G. Veneris (PATMOS, 2015)

Root-cause analysis for memory-locked errors. - John Adler; Djordje Maksimovic; Andreas G. Veneris (DATE, 2016)

Compute Substrate for Software 2.0. - Jasmina Vasiljevic; Ljubisa Bajic; Davor Capalija; Stanislav Sokorac; Dragoljub Ignjatovic; Lejla Bajic; Milos Trajkovic; Ivan Hamer; Ivan Matosevic; Aleksandar Cejkov; Utku Aydonat; Tony Zhou; et al. (IEEE Micro, 2021)