TIS news Paper accepted at POPL’24Ostrich wins at SMT-COMP’23Paper accepted at ICCV’23Three papers accepted at ATVA’23Paper accepted at CONCUR’23Paper accepted in I&CPaper accepted in JSSPaper accepted at TACAS’23Paper accepted in IPLPaper accepted at VSTTE’221234>>