ISPASS 2010, ICSE NIER 2010, NFM 2010

ICST 2009, ICDCS 2009, FASE 2009, ICDCN 2009, SPIN 2009, NFM 2009, DEFECTS 2009, SAVCBS 2009

CAV 2008, ASE 2008, APLAS 2008, QEST 2008, SPIN 2008, AFM 2008, STEP 2008, YR-CONCUR 2008, ICST Student Track 2008.

CAV 2007, OOPSLA 2007, RT 2007, SAS II 2007