Andreas Veneris

Fault diagnosis and logic debugging using Boolean satisfiability

Alexander Smith, Andreas Veneris, Moayad Fahim Ali et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 267 citations

Fault Diagnosis, Engineering, Verification +21

Astraea: A Decentralized Blockchain Oracle

John R. Adler, Ryan Berryhill, Andreas Veneris et al. · 2018 · 172 citations

Blockchain Consensus Protocol, Engineering, Information Security +19

Design error diagnosis and correction via test vector simulation

Andreas Veneris, I.N. Hajj · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1999 · 116 citations

Engineering, Implicit Enumeration, Verification +18

Automated Design Debugging With Maximum Satisfiability

Yibin Chen, Sean Safarpour, João Marques‐Silva et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2010 · 82 citations

Engineering, Design Debugging, Debugging Problem +20

Debugging sequential circuits using Boolean satisfiability

Moayad Fahim Ali, Andreas Veneris, Alexander Smith et al. · 2005 · 68 citations

Engineering, Verification, Computer-aided Verification +16