DOI,IST REx ID,Research Group,Title of publication
10.1109/TCAD.2020.3012803,8788,KrCh,Precedence-aware automated competitive analysis of real-time scheduling
10.1109/TCAD.2020.3012859,8790,ToHe,Reachability analysis of linear hybrid systems via block decomposition