Search results for: Valeria Bertacco
2017 IEEE AFRICON > 945 - 950
Post-Silicon and Runtime Verification for Modern Processors > Runtime Verification for Modern Microprocessors > 151-188
IEEE Transactions on Computers > 2016 > 65 > 7 > 2241 - 2256
Post-Silicon and Runtime Verification for Modern Processors > Functional Post-Silicon Verification > 75-93