Ingrid Kovacs, Marina Țopa, Monica Ene, Andi Buzo, Georg Pelz – „A Jackknife Variance-based Stopping Criterion for Adaptive Verification of Integrated Circuits”, a fost prezentat la conferința IEEE 43rd International Spring Seminar on Electronics Technology – ISSE (isse2020.fei.tuke.sk)