Articolul „A Metamodel Residual-based Stopping Criterion for Adaptive Verification of Integrated Circuits”, autori Ingrid Lupou Kovacs, Marina Țopa, Monica Ene, Andi Buzo, Georg Pelz, a fost prezentat la conferința IEEE SIITME 2020 și a fost inclus în publicațiile conferinței

Ingrid Lupou Kovacs, Marina Țopa, Monica Ene, Andi Buzo, Georg Pelz – „A Metamodel Residual-based Stopping Criterion for Adaptive Verification of Integrated Circuits”, prezentat la conferința IEEE SIITME 2020 (http://siitme.ro/) și a fost inclus în publicațiile conferinței