Interferences within a certifiable design methodology for high-performance multi-core platforms. - Mohamed Amine Khelassi; Felix Suchert; Abderaouf Amalou; Benjamin Lesage; Anika Christmann; Robin Hapka; Jerónimo Castrillón; Mihail Asavoae; Mathieu Jan; Claire Pagetti; Selma Saidi (CoRR, 2026)