Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin. DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Design Autom. for Emb. Sys., 22(1-2):141-181, 2018. [doi]
Abstract is missing.