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