Scalable Computation of Inter-Core Bounds Through Exact Abstractions. - Mohammed Aristide Foughali; Marius Mikucionis; Maryline Zhang (COMPSAC, 2024)